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


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)