Hardware Penetration Testing Knocks Your SoCs Off

By Mark Fischer, Fabian Langer, Johannes Mono, Clemens Nasenberg, Nils Albartus. 2020

9 citations recorded by the source corpus.

his article highlights how software simulations can, on the one hand, help uncover bugs, but on the other hand, help exploit them. As a case study, this article details how to exploit bugs in cryptographic hardware.

Subfields: Artificial Intelligence, Hardware and Architecture, Signal Processing

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

1. Brendan Dolan-Gavitt
2. Benjamin Tan
3. Ramesh Karri
4. Baleegh Ahmad
5. Hammond A. Pearce
6. Aleksander Madry

In Hardware and Architecture

1. Brendan Dolan-Gavitt
2. Ramesh Karri

In Signal Processing

1. Brendan Dolan-Gavitt
2. Ramesh Karri
3. Aleksander Madry

Citations in the corpus

• Asleep at the Keyboard? Assessing the Security of GitHub Copilot’s Code Contributions (2021, neutral): “Traditional security verification for RTL is a mix of formal verification and manual evaluation by security experts [26].”
• An Empirical Cybersecurity Evaluation of GitHub Copilot's Code Contributions (2021, methodology): “Traditional security verification for RTL is conducted through a mix of formal verification tools and manual expertise of security experts [25].”