See this document in CiteSeerX!

Satisfiability-based Framework for Enabling Side-channel  (Make Corrections)  
Attacks on Cryptographic Software Nachiketh R. Potlapally, Anand Raghunathan ...



  Home/Search   Context   Related

 
View or download:
princeton.edu/PALM...satisfiability.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  princeton.edu/publications (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Many electronic systems contain implementations of cryptographic algorithms in order to provide security. It is well known that cryptographic algorithms, irrespective of their theoretical strength, can be broken through weaknesses in their implementation. In particular, side-channel attacks, which exploit unintended information leakage from the implementation, have been established as a powerful way of attacking cryptographic systems. All side-channel attacks can be viewed as consisting of two... (Update)

Active bibliography (related documents):   More   All
0.7:   Security as a New Dimension in Embedded System Design - Kocher, Lee, McGraw.. (2004)   (Correct)
0.5:   Trace-Driven Cache Attacks on AES - Aciçmez, Koç (2006)   (Correct)
0.4:   The Program Counter Security Model: Automatic Detection and - Removal Of Control-Flow   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ cryptographic-satisfiabilitybased,
  author = "Attacks On Cryptographic",
  title = "Satisfiability-based Framework for Enabling Side-channel",
  url = "citeseer.ist.psu.edu/748532.html" }
Citations (may not include all citations):
288   Linear cryptanalysis method for DES cipher (context) - Matsui - 1994
276   Applied Cryptography: Protocols (context) - Schneier - 1996
185   Tamper resistance - A cautionary note - Anderson, Kuhn - 1996
135   the importance of checking cryptographic protocols for fault.. - Boneh, Demillo et al. - 1997
83   Federal Information Processing Standard (context) - of, Technology - 1999
56   Differential power analysis - Kocher, Jaffe et al. - 1999
33   Side channel cryptanalysis of product ciphers - Kelsey, Schneier et al. - 2000
32   Timing attacks on implementations of Diffie-Hellman, RSA, DS.. - Kocher - 1996
17   Electromagnetic radiation from video display units: An eaves.. - van Eck - 1985
16   Differential cryptanalysis of the full 16-round DES (context) - Biham, Shamir - 1992
12   The quest for efficient Boolean satisfiability solvers (context) - Zhang, Malik - 2002
9   Scrash: A system for generating secure crash information - Broadwell, Harren et al. - 2003
7   Examining smartcard security under the threat of power analy.. (context) - Messerges, Dabbish et al. - 2002
7   Securing encryption algorithms against DPA at the logic leve.. (context) - Tiri, Verbauwhede - 2003
6   Understanding data lifetime via whole system simulation - Chow, Pfaff et al. - 2004
5   Tensilica Inc (context) - Specific, Solutions et al. - 2001
4   Masking the energy behavior of DES encryption - Saputra, Vijaykrishnan et al. - 2003
4   The Coroner's Toolkit (context) - Farmer, Venema - 2005
4   A novel architecture for power maskable arithmetic units (context) - Benini, Macii et al. - 2003
3   An extensible SAT solver (context) - Een, Sorenson - 2003
3   Logical cryptanalysis as a SAT problem (context) - Massacci, Marraro - 2000
2   Cache Missing for Fun and Profit (context) - Percival - 2005
1   Statistics and information leakage (context) - Coron, Naccache et al. - 2004
1   Remembrance of data passed (context) - Garfinkel, Shelat - 2003
1   Protecting Sensitive Data in Memory (context) - Viega - 2001
1   Why secure applications are difficult to write (context) - Whittaker - 2003
1   Cryptanalysis of the data encryption standard by the method .. (context) - Schaumuller-Bichl - 1982
1   Security bugs exposed: A systematic approach to uncovering s.. (context) - Whittaker, Thompson - 2003
1   Better Hardware Security Modules Through Better Design (context) - Inc - 2002
1   The Role of Hardware in Exposing Security Breaches (context) - Paretsky - 2005

Documents on the same site (http://palms.ee.princeton.edu/publications.html):   More
Fast Subword Permutation Instructions Using Omega and Flip.. - Yang, Lee (2000)   (Correct)
Subword Permutation Instructions for Two-Dimensional Multimedia.. - Lee (2000)   (Correct)
Efficiency of microSIMD architectures and index-mapped data for.. - Lee (1999)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC