[Back]
Cedric Fournet
Microsoft Research