Guest: Dr. Cedric Fournet

Cédric Fournet, Ph.D. from Microsoft Research visited Prof. Dr. Heiko Mantel (MAIS) on November 24-25, 2011. He gave a lecture on "Modular Code-Based Cryptographic Verification" in the CASED Distinguished Lectures Series on November 24 and a talk about "CFLOW" on November 25.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang