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.