7 papers
Towards Efficient Synthesis of Quantum Graph States by Fusing Graph Motifs
Tingxiang Ji, Hansika Weerasena, Demitry Farfurnik +1
Photonic graph states with advanced topologies can enable measurement-based quantum computing, distributed quantum sensing, and quantum interconnects. However, the efficient genera…
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…
Non-Abelian Mixer for QAOA on Hybrid Oscillator-Qubit Quantum Processors
Thinh Le, Hansika Weerasena, Jianqing Liu
The realization of universal control in hybrid oscillator-qubit quantum processors enables the systematic design and implementation of quantum algorithms. However, the algorithmic…
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…