FANCI: identification of stealthy malicious logic using boolean functional analysis

By A. Waksman, Matthew Suozzo, Simha Sethumadhavan. Conference on Computer and Communications Security, 2013

368 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Hardware and Architecture, Signal Processing

View Paper: https://www.semanticscholar.org/paper/e0a9d8ebd3071edad14602d4b6bde5eecc6c5c1b

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. Riad S. Wahby
2. Abhi Shelat
3. Siddharth Garg
4. Michael Walfish
5. Srinath T. V. Setty
6. Max Howald
7. Dan Boneh
8. Henry Corrigan-Gibbs

In Hardware and Architecture

1. Siddharth Garg
2. Michael Walfish
3. Max Howald
4. Abhi Shelat
5. Riad S. Wahby
6. Srinath T. V. Setty

In Signal Processing

1. Siddharth Garg
2. Michael Walfish
3. Aleksander Madry

Citations in the corpus

• Hardware Trojan Attacks: Threat Analysis and Countermeasures (2014, neutral): “[64] have used the stealthiness property of Trojan-affected nets to isolate them from a given design.”
• Verifiable ASICs (2016, background): “A separate line of research studies mechanisms to detect Trojans inserted by a malicious designer pre-fab [104, 116]; this is complementary to Zebra’s focus on an untrusted foundry.”