5 papers
Formal Verification of Secure Encrypted Virtualization
Hansika Weerasena, Amitabh Das, Prabhat Mishra
Trusted execution environments (TEEs) provide a secure environment for data and code in use, ensuring that they are protected with respect to confidentiality and integrity. Virtual…
Secure Multi-Path Routing with All-or-Nothing Transform for Network-on-Chip Architectures
Hansika Weerasena, Matthew Randall, Prabhat Mishra
Ensuring Network-on-Chip (NoC) security is crucial to design trustworthy NoC-based System-on-Chip (SoC) architectures. While there are various threats that exploit on-chip communic…
Topology-aware Detection and Localization of Distributed Denial-of-Service Attacks in Network-on-Chips
Hansika Weerasena, Xiaoguo Jia, Prabhat Mishra
Network-on-Chip (NoC) enables on-chip communication between diverse cores in modern System-on-Chip (SoC) designs. With its shared communication fabric, NoC has become a focal point…
Revealing CNN Architectures via Side-Channel Analysis in Dataflow-based Inference Accelerators
Hansika Weerasena, Prabhat Mishra
Convolutional Neural Networks (CNNs) are widely used in various domains, including image recognition, medical diagnosis and autonomous driving. Recent advances in dataflow-based CN…
Breaking On-Chip Communication Anonymity using Flow Correlation Attacks
Hansika Weerasena, Prabhat Mishra
Network-on-Chip (NoC) is widely used to facilitate communication between components in sophisticated System-on-Chip (SoC) designs. Security of the on-chip communication is crucial…