10 citations · 18 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CR2026
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…
cs.CR2026
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…