2 papers
cs.CR2026
Tyche: Composable Isolation as a Foundation to Manage Trust in the Cloud
Adrien Ghosn, Charly Castes, Neelu S. Kalani +3
Cloud workloads combine software components from different parties to process sensitive data. Each component has its own trust model - it must protect its assets from the rest of t…
cs.OS2025
Automatic ISA analysis for Secure Context Switching
Neelu S. Kalani, Thomas Bourgeat, Guerney D. H. Hunt +1
Instruction set architectures are complex, with hundreds of registers and instructions that can modify dozens of them during execution, variably on each instance. Prose-style ISA s…