Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

22-26 September 2008, Logic and Information Security

Date: 22-26 September 2008
Location: Lorentz Center, Leiden

The interdisciplinary workshop 'Logic and information security' focuses on the logical analysis of protocols for secure communication, including additional communicative aspects susceptible to attack. Disciplines and subdisciplines involved are: modal logic, combinatorial mathematics, information science, computer science, cryptography, computer security, philosophy, cognitive science, linguistics. Areas of interest are combinatorial mathematics for bit exchange, information-based analysis with or without modal logic, zero-knowledge protocols and oblivious transfer (and in particular epistemic logical analyses of such phenomena), and model checking protocols - both temporal epistemic and dynamic epistemic model checking as more real-time protocol verification (often with first-order logics and systems based on term or equational rewriting).

For more information, see http://www.lorentzcenter.nl/lc/web/2008/302/info.php3?wsid=302

Please note that this newsitem has been archived, and may contain outdated information or links.