Notice: RCIS was reformed into RISEC on April 1, 2012.
It has been further merged into new Information Technology Research Institute on April 1, 2015.

Event Information

Talk Schedule

CoSyProofs2009_album.jpg

Monday, April 6th

Tuesday, April 7th

Wednesday, April 8th

  • 15:30-16:00: C. Fournet: Computational Soundness for cryptographic typechecking
  • 16:00-16:30: P. Adao, C. Fournet, N. Guts, F. Zappa-Nardelli: High-Level Programming for E-cash

Thursday, April 9th

  • 10:30-12:00: R. Segala: On the Use of Probabilistic Automata for Security Proofs (cnt'd)