Automatic Detection and Removal of Control-Flow Side Channel Attacks David...  Home/Search
Context
Related
| berkeley.edu/~daw/...pcmodelicisc05.ps 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: berkeley.edu/~daw/papers/index (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)
Active bibliography (related documents): More All
3.5: The Program Counter Security Model: Automatic.. - Molnar.. (2005) (Correct)
3.5: The Program Counter Security Model: Automatic Detection and - Removal Of Control-Flow (Correct)
0.7: A Note On Side-Channels Resulting From - Dynamic Compilation Page (2006) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ and-program,
author = "Automatic Detection And",
title = "The Program Counter Security Model:",
url = "citeseer.ist.psu.edu/756528.html" }
Citations (may not include all citations):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
59 Transforming Out Timing Leaks - Agat - 2000
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
19 Securing the AES Finalists Against Power Analysis Attacks (context) - Messerges - 2000
18 A timing attack on RC - Handschuh, Heys - 1999
18 CIL: Intermediate Language and Tools for Analysis and Transf.. - Necula, McPeak et al. - 2002
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
6 Side-Channel Attacks on Symmetric Encryption Schemes: The Ca.. - Black, Urtubia - 2002
5 Protecting Smart Cards from Passive Power Analysis with Deta.. (context) - Shamir - 2000
4 A Novel Architecture for Power Maskable Arithmetic Units (context) - Benini, Macii et al. - 2003
3 Energy-aware Design Techniques for Di#erential Power Analysi.. (context) - Benini, Macii et al. - 2003
3 Attacking RSA based session SSLTL - Ondrej, Tomas et al. - 2003
3 Provably secure masking of AES - Blomer, Merchan et al. - 2004
3 Secure Contactless Smartcard ASIC with DPA Protection (context) - Rakers, Connell et al. - 2000
3 Side channel attacks on CBC encrypted messages in the PKCS #.. (context) - Klima, Rosa - 2003
3 Security CBC ciphersuite SSLTL Problem and countermeasure (context) - Security, ciphersuites et al. - 2004
2 The program counter security model: Automatic detection and .. - Molnar, Piotrowski et al. - 2005
1 simonetsoft flowcaml (context) - Flowcaml, inria et al. - 2005
Documents on the same site (http://www.cs.berkeley.edu/~daw/papers/index.html): More
Building PRFs from PRPs - Hall, Wagner, Kelsey, Schneier (1998) (Correct)
Cryptanalysis of TWOPRIME - Coppersmith, Wagner, Schneier, Kelsey (1998) (Correct)
Cryptanalysis of Some Recently-Proposed Multiple Modes of Operation - Wagner (1998) (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