ResearchTrend.AI
Knowledge and Security

Knowledge and Security

Riccardo Pucella
ArXivPDFHTML

Papers citing "Knowledge and Security"

3 / 3 papers shown
Title
The Inductive Approach to Verifying Cryptographic Protocols
The Inductive Approach to Verifying Cryptographic Protocols
Lawrence Charles Paulson
46
1,018
0
13 May 2021
Epistemic Temporal Logic for Information Flow Security
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
An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols
Ralf Küsters
Tomasz Truderung
85
65
0
04 Mar 2009

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.