99 citations · 222 across the 29 of their papers we have counts for
12 papers · 1 filter
Secure Remote Attestation with Strong Key Insulation Guarantees
Deniz Gurevin, Chenglu Jin, Phuong Ha Nguyen +2
Recent years have witnessed a trend of secure processor design in both academia and industry. Secure processors with hardware-enforced isolation can be a solid foundation of cloud…
Back in Black: A Comparative Evaluation of Recent State-Of-The-Art Black-Box Attacks
Kaleel Mahmood, Rigel Mahmood, Ethan Rathbun +1
The field of adversarial machine learning has experienced a near exponential growth in the amount of papers being produced since 2018. This massive information output has yet to be…
On the Convergence Rates of Learning-based Signature Generation Schemes to Contain Self-propagating Malware
Saeed Valizadeh, Marten van Dijk
In this paper, we investigate the importance of a defense system's learning rates to fight against the self-propagating class of malware such as worms and bots. To this end, we int…
Toward a Theory of Cyber Attacks
Saeed Valizadeh, Marten van Dijk
We provide a general methodology for analyzing defender-attacker based "games" in which we model such games as Markov models and introduce a capacity region to analyze how defensiv…
TREVERSE: Trial-and-Error Lightweight Secure Reverse Authentication with Simulatable PUFs
Yansong Gao, Marten van Dijk, Lei Xu +3
A physical unclonable function (PUF) generates hardware intrinsic volatile secrets by exploiting uncontrollable manufacturing randomness. Although PUFs provide the potential for li…
Comments on "Defeating HaTCh: Building Malicious IP Cores"
Syed Kamran Haider, Chenglu Jin, Marten van Dijk
Recently, Haider et al. introduced the first rigorous hardware Trojan detection algorithm called HaTCh. The foundation of HaTCh is a formal framework of hardware Trojan design, whi…