319 search results - page 7 / 64 » Cryptographic Assumptions: A Position Paper |
CCS
2009
ACM
14 years 5 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
ICRA
2007
IEEE
14 years 5 months ago
2007
IEEE
— This paper presents a probabilistic framework where uncertainties can be considered in the mosaic building process. It is shown how can be used as an environment representation...
AFRICACRYPT
2008
Springer
14 years 5 months ago
2008
Springer
Public-key encryption schemes are a useful and interesting field of cryptographic study. The ultimate goal for the cryptographer in the field of public-key encryption would be th...
ICICS
2010
Springer
13 years 8 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...
IDTRUST
2009
ACM
14 years 5 months ago
2009
ACM
Public key cryptography is widely used to secure transactions over the Internet. However, advances in quantum computers threaten to undermine the security assumptions upon which c...