3115 search results - page 73 / 623 » Synthesizing Secure Protocols |
JAR
2006
13 years 10 months ago
2006
Automated tools for finding attacks on flawed security protocols often fail to quately with group protocols. This is because the abstractions made to improve performance on fixed ...
CRYPTOLOGIA
2010
13 years 7 months ago
2010
This paper presents an improved protocol for Internet voting that allows recasting of ballots to eliminate voting errors, encourages early voting and provides an opportunity for c...
SECON
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract—In this work we identify vulnerabilities of ondemand multicast routing protocols for multi-hop wireless networks and discuss the challenges encountered in designing mech...
EUROCRYPT
2003
Springer
14 years 3 months ago
2003
Springer
Abstract Benny Pinkas HP Labs Abstract. We demonstrate a transformation of Yao’s protocol for secure two-party computation to a fair protocol in which neither party gains any sub...
JCST
2008
13 years 10 months ago
2008
In most of the used auction systems the values of bids are known to the auctioneer. This allows him to manipulate the outcome of the auction. Hence, one is interested in hiding th...