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
AIST > RCIS > Events > Computational and Symbolic Proofs of Security

Computational and Symbolic Proofs of Security

Spring School and French-Japanese collaboration workshop
Apr. 6th - Apr. 9th, 2009

Scientific program

The program and slides of presentations are available.

Students report

A report on the workshop, written by 5 students

More information


Atagawa Heights Highashi Izu Peninsula, Japan.
This is a natural hot springs location (onsen), facing the Pacific ocean, 2 hours away from Tokyo.



  • French-Japanese collaboration project on Computational Soundness
    Centre National de la Recherche Scientifique,
    Japan Science and Technology agency

Special Thanks to


Proofs of security, from various perspectives. See also a more detailed presentation.

Invited speakers

Organizing Committee

See this page for details.