AIST > RCIS > Events > Computational and Symbolic Proofs of Security

Computational and Symbolic Proofs of Security

Scientific program

The program and slides of presentations are available.

Students report

A report on the workshop, written by 5 students

More information

Location

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

Organizer

• Research Center for Information Security, AIST
• Nippon Telegraph and Telephone Corporation

Sponsors

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

Special Thanks to

• The Japan Society for Industrial and Applied Mathematics

Topics

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

Invited speakers

• Martin Abadi (Univ. California at Santa Cruz and Microsoft Research)
• Michael Backes (Saarland Univ. and Max Planck Institute for Software Systems)
• Bruno Blanchet (ENS Paris)
• Ralf Kuesters (Univ. Trier)
• John C. Mitchell (Stanford Univ.)
• Kazuo Ohta (UEC Tokyo)
• Olivier Pereira (Univ. Catholique de Louvain)
• David Pointcheval (ENS Paris)
• Roberto Segala (Univ. Verona)
• Bogdan Warinschi (Univ. Bristol)

Organizing Committee

See this page for details.