Knowledge and Security

4 May 2013

Papers citing "Knowledge and Security"

3 / 3 papers shown

Title
The Inductive Approach to Verifying Cryptographic Protocols Lawrence Charles Paulson 46 1,018 0 13 May 2021
Epistemic Temporal Logic for Information Flow Security Musard Balliu M. Dam Gurvan Le Guernic 158 63 0 30 Aug 2012
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols Ralf Küsters Tomasz Truderung 85 65 0 04 Mar 2009