2 papers
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.CR2025
Exploiting Unstructured Sparsity in Fully Homomorphic Encrypted DNNs
Aidan Ferguson, Perry Gibson, Lara D'Agata +5
The deployment of deep neural networks (DNNs) in privacy-sensitive environments is constrained by computational overheads in fully homomorphic encryption (FHE). This paper explores…