< Logic for information security


Tuesday, 19 January 2010
15:45–16:30 Hans van Ditmarsch
Security protocols using card deals
16:30–17:15 R Ramanujam
Logics underlying the Dolev-Yao model
Wednesday, 20 January 2010
15:45–16:45 Simon Kramer
A General Definition of Malware
16:45–17:15 K R Raghavendra
Information Flow based Security for Programs
Thursday, 21 January 2010
15:45–16:45 Valentin Goranko
A framework for modelling, logical specification and reasoning about information security in multi-agent systems
16:45–17:15 A Baskar
A Dolev-Yao model for zero knowledge
Friday, 22 January 2010
15:45–16:30 Sanjiva Prasad
Process calculi for security protocols
16:30–17:15 K Gopinath
Information-theoretic secure Verifiable Secret Redistribution Protocol