David Molnar, Matt Piotrowski, David Schultz, David Wagner  Home/Search
Context Related
| iacr.org/2005/368.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iacr.org/complete/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We introduce new methods for detecting control-flow side channel attacks, transforming C source code to eliminate such attacks, and checking that the transformed code is free of control-flow side channels. (Update)
Cited by: More
A Note On Side-Channels Resulting From - Dynamic Compilation Page (2006) (Correct)
The Program Counter Security Model: - Automatic Detection And (Correct)
Active bibliography (related documents): More All
4.8: The Program Counter Security Model: Automatic Detection and - Removal Of Control-Flow (Correct)
0.4: Cache Attacks and Countermeasures: the Case of AES - Dag Arne Osvik (2005) (Correct)
0.4: Private Circuits II: Keeping Secrets In Tamperable.. - Ishai, Prabhakaran.. (2006) (Correct)
Similar documents based on text:
5.0: Unknown - (Correct)
Related documents from co-citation: More All
2: Cache-timing attacks on AES (context) - Bernstein - 2005
2: Timing attacks on implementations of Die-Hellman (context) - Kocher - 1996
2: Physically Observable Cryptography - Micali, Reyzin - 2003
BibTeX entry: (Update)
David Molnar, Matt Piotrowski, David Schultz, and David Wagner. The program counter security model: Automatic detection and removal of control-flow side channel attacks (Full Version), 2005. IACR eprint archive report 2005/368. http://citeseer.ist.psu.edu/molnar05program.html More
@misc{ molnar05program,
author = "D. Molnar and M. Piotrowski and D. Schultz and D. Wagner",
title = "The program counter security model: Automatic detection and removal of
control-flow side channel attacks",
text = "David Molnar, Matt Piotrowski, David Schultz, and David Wagner. The program
counter security model: Automatic detection and removal of control-flow
side channel attacks (Full Version), 2005. IACR eprint archive report 2005/368.",
year = "2005",
url = "citeseer.ist.psu.edu/molnar05program.html" }
Citations (may not include all citations):233 Natural semantics (context) - Kahn - 1987
161 Timing Attacks on Implementations of Di#e-Hellman (context) - Kocher - 1996
153 A Note on the Confinement Problem - Lampson - 1973
145 erential Power Analysis (context) - Kocher, Ja et al. - 1999
119 Chosen ciphertext attacks against protocols based on RSA enc.. - Bleichenbacher - 1998
95 Language-Based Information-Flow Security - Sabelfeld, Myers - 2003
74 Resistance against di#erential power analysis for elliptic c.. (context) - Coron - 1999
61 Towards sound approaches to counteract power-analysis attack.. (context) - Chari, Jutla et al. - 1999
59 Transforming Out Timing Leaks - Agat - 2000
57 Software protection and simulation on oblivious RAM - Goldreich, Ostrovsky - 1996
52 The Semantics of Programming Languages: an Elementary Introd.. (context) - Hennessy - 1990
43 A chosen ciphertext attack on RSA optimal asymmetric encrypt.. (context) - Manger - 2001
40 Power Analysis Attacks of Modular Exponentiation in Smartcar.. (context) - Messerges, Dabbish et al. - 1999
38 A Cautionary Note Regarding Evaluation of AES Candidates on .. - Chari, Jutla et al. - 1999
33 Side Channel Cryptanalysis of Product Ciphers - Kelsey, Schneier et al. - 2000
31 Investigations of Power Analysis Attacks on Smartcards - Messerges, Dabbish et al. - 1999
23 Universal exponentiation algorithm: A first step towards pro.. - Clavier, Joye - 2001
19 Securing the AES Finalists Against Power Analysis Attacks (context) - Messerges - 2000
18 CIL: Intermediate Language and Tools for Analysis and Transf.. - Necula, McPeak et al. - 2002
18 A timing attack on RC - Handschuh, Heys - 1999
15 La cryptographie militaire (context) - Kerckho
13 Remote Timing Attacks Are Practical - Boneh, Brumley - 2003
12 On Boolean and Arithmetic Masking Against Di#erential Power .. (context) - Coron, Goubin - 2000
11 Security flaws induced by CBC padding - applications to SSL (context) - Vaudenay - 2002
10 Type Based Techniques for Covert Channel Elimination and Reg.. (context) - Agat - 2001
9 Cache-timing attacks on AES (context) - Bernstein - 2005
7 Physically observable cryptography - Micali, Reyzin - 2004
7 Theoretical use of cache memory as a cryptanalytic side-chan.. - Page - 2002
6 Side-Channel Attacks on Symmetric Encryption Schemes: The Ca.. - Black, Urtubia - 2002
6 Understanding data lifetime via whole system simulation - Chow, Pfa et al. - 2004
6 A timing attack against Rijndael - Koeune, Quisquater - 1999
5 Fault based cryptanalysis of the advanced encryption standar.. (context) - Blomer, Seifert - 2003
5 Private circuits: Securing hardware against probing attacks - Ishai, Sahai et al. - 2003
5 Protecting Smart Cards from Passive Power Analysis with Deta.. (context) - Shamir - 2000
5 Performance evaluation of AES finalists on the high-end smar.. - Sano, Koike et al. - 2000
4 A Novel Architecture for Power Maskable Arithmetic Units (context) - Benini, Macii et al. - 2003
3 Attacking RSA based session SSLTL - Ondrej, Tomas et al. - 2003
3 Secure Contactless Smartcard ASIC with DPA Protection (context) - Rakers, Connell et al. - 2000
3 Security CBC ciphersuite SSLTL Problem and countermeasure (context) - Security, ciphersuites et al. - 2004
3 Provably secure masking of AES - Blomer, Merchan et al. - 2004
3 Energy-aware Design Techniques for Di#erential Power Analysi.. (context) - Benini, Macii et al. - 2003
3 Side channel attacks on CBC encrypted messages in the PKCS #.. (context) - Klima, Rosa - 2003
Documents on the same site (http://eprint.iacr.org/complete/): More
A Tool for Obtaining Tighter Security Analyses of.. - Bellare, Impagliazzo (1999) (Correct)
Chameleon Hashing and Signatures - Krawczyk, Rabin (1997) (Correct)
Verifiable Encryption and Applications to Group.. - Camenisch, Damgård (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