7 search results - page 2 / 2 » Analysis of a Receipt-Free Auction Protocol in the Applied P... |
JLP
2008
13 years 4 months ago
2008
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
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...