< Logic for information security

Logic for information security
19–22 January 2010
University of Hyderabad, Gachibowli, India

The workshop Logic for information security is part of ISLA 2010, the third Indian School on Logic and its Applications. The workshop focuses on logical analysis of protocols for secure communication, with a variety of topics, including process calculi for modelling and analysis of protocols, aspects of system security, modal logics for analysis of protocols, combinatorial mathematics for bit exchange, and zero knowledge protocols.

The workshop happens in the first week of ISLA 2010, from 19 January till 22 January, 2010. The following speakers will enthrall the audience.


Hans van Ditmarsch (University of Seville)
S P Suresh (Chennai Mathematical Institute)