263 search results - page 1 / 53 » A Computationally Sound Mechanized Prover for Security Proto... |
SP
2006
IEEE
13 years 10 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
CSFW
2007
IEEE
13 years 10 months ago
2007
IEEE
We present a new mechanized prover for showing correspondence assertions for cryptographic protocols in the computational model. Correspondence assertions are useful in particular...
FSTTCS
2010
Springer
13 years 2 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
CCS
2006
ACM
13 years 8 months ago
2006
ACM
CCS
2008
ACM
13 years 6 months ago
2008
ACM