On the Importance of Checking Cryptographic Protocols for Faults (Extended Abstract)

References

• DIGITALIZED SIGNATURES AND PUBLIC-KEY FUNCTIONS AS INTRACTABLE AS FACTORIZATIONM. O. Rabin — 1979
• Memo on RSA signature generation in the presence of faultsArjen K. Lenstra — 1996
• Tamper resistance: a cautionary noteRoss Anderson, Markus Kühn — 1996
• Program result-checking: a theory of testing meets a test of theoryManuel Blum, Hal Wasserman — 1994
• Witness-based cryptographic program checking and robust function sharingYair Frankel, Peter Gemmell, Moti Yung — 1996
• Breaking Public Key Cryptosystems on Tamper Resistant Devices in the Presence of Transient FaultsF. Bao, Robert H. Deng, Yiliang Han — 1997
• Low Cost Attacks on Tamper Resistant DevicesRoss Anderson, Markus Kühn — 1997
• Differential Fault Analysis of Secret Key CryptosystemsEli Biham, Adi Shamir — 1997
• The Exact Security of Digital Signatures - HOw to Sign with RSA and RabinM. Bellare, P. Rogaway — 1996
• Attacks on systems using Chinese remainderingM. Joye, J. Quisquater — 1996
• Timing Attacks on Implementations of Di(cid:14)e-Hellman, RSA, DSS, and Other SystemsP. Kocher — 1996
• A Practical Zero-Knowledge Protocol Fitted to Security Microprocessor Minimizing Both Transmission and MemoryL. Guillou, J. Quisquater — 1988

Cited by

• Evaluation of Security Level of Cryptography: The Revised Version of EPOC-2Alfred Menezes — 2001
• A compact ASIC implementation of the advanced encryption standard with concurrent error detectionNamin Yu, Howard M. Heys — 2007
• Evaluation of Security Level of Cryptography: RSA-OAEP, RSA-PSS, RSA SignatureAlfred Menezes — 2001
• Contemporary Cryptology Provable Security for Public Key SchemesDavid Pointcheval — 2005
• SoCs security: a war against side-channelsSylvain Guilley, Renaud Pacalet — 2004
• Implémentation matérielle de coprocesseurs haute performance pour la cryptographie asymétrique. (Coprocessors architectures for high performance computations of asymmetric cryptography)Nicolas Guillermin — 2012
• A Round Reduction Attack on Triple DES Using Fault InjectionDoo-Sik Choi, Doo-Hwan Oh, KiSeok Bae — 2011
• Key Recovery from Decayed Memory Images and Obfuscation of Cryptographic AlgorithmsRoger Zahno — 2012
• A new digital signature scheme secure against fault attacksTaewon Kim, Tae-Hyun Kim, Seokhie Hong — 2012
• Combinational Logic Design for AES SubByte Transformation on Masked DataElena Trichina — 2003
• Evaluation of Security Level of Cryptography: MY-ELLTY Signature SchemeAlfred Menezes, Minghua Qu, D. R. Stinson — 2001
• Serpent: A Proposal for the Advanced Encryption StandardRoss Anderson, Eli Biham, Lars R. Knudsen — 1998
• New RSA vulnerabilities using lattice reduction methodsAlexander May — 2003
• Differential Fault AnalysisEltayeb Salih Abuelyaman, Balasubramanian Devadoss — 2005
• Breaking Up Is Hard To Do: Modeling Security Threats for Smart CardsBruce Schneier, Adam Shostack — 1999
• The Design and Analysis of Cryptographic Application Programming Interfaces for Security DevicesJolyon Clulow, Jolyon Clulow — 2003
• An Improved Round Reduction Attack on Triple DES Using Fault Injection in Loop StatementDoo-Sik Choi, Doo-Hwan Oh, Jeong‐Soo Park — 2012
• Algebraic attacks on certain stream ciphersFrederik Armknecht — 2006
• Étude théorique et implantation matérielle d'unités de calcul en représentation modulaire des nombres pour la cryptographie sur courbes elliptiques. (Theoretical study and hardware implementation of arithmetical units in Residue Number System (RNS) for Elliptic Curve Cryptography (ECC))Karim Bigou — 2014
• How to Encrypt Properly with RSADavid Pointcheval — 2002

Related papers

No related papers recorded.