301 citations · 1.5k across the 70 of their papers we have counts for
8 papers · 1 filter
SoK: You Find What You Seek: Rethinking Oracles, Guidance, and Input Generation in Hardware Fuzzing
G Abarajithan, Zhenghua Ma, Cristian Tirelli +4
Hardware fuzzing is an active area in security verification research, yet its industrial adoption remains in its early stages. This SoK examines which lessons from software fuzzing…
Resilience and Security of Deep Neural Networks Against Intentional and Unintentional Perturbations: Survey and Research Challenges
Sazzad Sayyed, Milin Zhang, Shahriar Rifat +3
In order to deploy deep neural networks (DNNs) in high-stakes scenarios, it is imperative that DNNs provide inference robust to external perturbations - both intentional and uninte…
AKER: A Design and Verification Framework for Safe andSecure SoC Access Control
Francesco Restuccia, Andres Meza, Ryan Kastner
Modern systems on a chip (SoCs) utilize heterogeneous architectures where multiple IP cores have concurrent access to on-chip shared resources. In security-critical applications, I…
Isadora: Automated Information Flow Property Generation for Hardware Designs
Calvin Deutschbein, Andres Meza, Francesco Restuccia +2
Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a…
What is a Blockchain? A Definition to Clarify the Role of the Blockchain in the Internet of Things
Lorenzo Ghiro, Francesco Restuccia, Salvatore D'Oro +4
The use of the term blockchain is documented for disparate projects, from cryptocurrencies to applications for the Internet of Things (IoT), and many more. The concept of blockchai…
Hiding Data in Plain Sight: Undetectable Wireless Communications Through Pseudo-Noise Asymmetric Shift Keying
Salvatore D'Oro, Francesco Restuccia, Tommaso Melodia
Undetectable wireless transmissions are fundamental to avoid eavesdroppers. To address this issue, wireless steganography hides covert information inside primary information by sli…
Blockchain for the Internet of Things: Present and Future
Francesco Restuccia, Salvatore D'Oro andSalil S. Kanhere, Tommaso Melodia +1
One of the key challenges to the IoT's success is how to secure and anonymize billions of IoT transactions and devices per day, an issue that still lingers despite significant rese…
Securing the Internet of Things in the Age of Machine Learning and Software-defined Networking
Francesco Restuccia, Salvatore D'Oro, Tommaso Melodia
The Internet of Things (IoT) realizes a vision where billions of interconnected devices are deployed just about everywhere, from inside our bodies to the most remote areas of the g…