155 search results - page 7 / 31 » Transducer-based analysis of cryptographic protocols |
123
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we identify that protocol verification using invariants have significant limitations such as inapplicability to some protocols, non-standard attacker inferences a...
127
Voted
STOC
2005
ACM
16 years 4 months ago
2005
ACM
We present a new constant round protocol for non-malleable zero-knowledge. Using this protocol as a subroutine, we obtain a new constant-round protocol for non-malleable commitmen...
114
click to vote
FCT
2003
Springer
15 years 9 months ago
2003
Springer
We develop new proof techniques, based on non-interference, for the analysis of safety and liveness properties of cryptographic protocols expressed as terms of the process algebra ...
122
Voted
ICICS
2010
Springer
15 years 1 months ago
2010
Springer
By now, many voting protocols have been proposed that, among others, are designed to achieve coercion-resistance, i.e., resistance to vote buying and voter coercion. Scantegrity II...
126
click to vote
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Web services are an important series of industry standards for adding semantics to web-based and XML-based communication, in particular among enterprises. Like the entire...