Detecting Fault Injection Attacks with Runtime Verification-Reference-Cited by-同舟云学术

Detecting Fault Injection Attacks with Runtime Verification

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 3rd ACM Workshop on Software Protection - SPRO'19
language:
Short-container-title:

Author:

Kassem Ali¹,Falcone Yliès¹

Affiliation:

1. Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, Grenoble, France

Funder

ANR

Publisher

ACM Press

Reference53 articles.

1. Martín Abadi, Mihai Budiu, Ú lfar Erlingsson, and Jay Ligatti. 2009. Control-flow integrity principles, implementations, and applications. ACM Trans. Inf. Syst. Secur., Vol. 13, 1 (2009), 4:1--4:40. https://doi.org/10.1145/1609956.1609960

2. William Arthur, Ben Mehne, Reetuparna Das, and Todd M. Austin. 2015. Getting in control of your control flow with control-data isolation. In Proceedings of the 13th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO 2015, San Francisco, CA, USA, February 07-11, 2015,, Kunle Olukotun, Aaron Smith, Robert Hundt, and Jason Mars (Eds.). IEEE Computer Society, 79--90. https://doi.org/10.1109/CGO.2015.7054189

3. Christian Aumü ller, Peter Bier, Wieland Fischer, Peter Hofreiter, and Jean-Pierre Seifert. 2002. Fault Attacks on RSA with CRT: Concrete Results and Practical Countermeasures. In Cryptographic Hardware and Embedded Systems - CHES 2002, Redwood Shores, USA, 2002, Revised Papers. 260--275.

4. Josep Balasch, Benedikt Gierlichs, and Ingrid Verbauwhede. 2011. An In-depth and Black-box Characterization of the Effects of Clock Glitches on 8-bit MCUs. In FDTC'11, Tokyo, Japan, September 29, 2011. 105--114.

5. Hagai Bar-El, Hamid Choukri, David Naccache, Michael Tunstall, and Claire Whelan. 2006. The Sorcerer's Apprentice Guide to Fault Attacks. Proc. IEEE, Vol. 94, 2 (2006), 370--382. https://doi.org/10.1109/JPROC.2005.862424

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CRYSTAL framework: Cybersecurity assurance for cyber-physical systems;Journal of Logical and Algebraic Methods in Programming;2024-06

2. Empowering Hardware Security with LLM: The Development of a Vulnerable Hardware Database;2024 IEEE International Symposium on Hardware Oriented Security and Trust (HOST);2024-05-06

3. A Stream-Based Approach to Intrusion Detection;CyberSecurity in a DevOps Environment;2023-08-23

4. Instrumentation for RV: From Basic Monitoring to Advanced Use Cases;Runtime Verification;2023

5. Extending Attack-Fault Trees with Runtime Verification;Electronic Proceedings in Theoretical Computer Science;2022-09-27