DigiCosme Spring School 2013: Program Analysis and Verification

• Index

Modular Code-Based Cryptographic Verification by Typing

Cédric Fournet, Microsoft Research, Cambridge, UK.

• external link to lecture material