Pramod Bhatotia paper has been accepted at EuroSys 2017
Pramod's paper 'SGXBounds: Memory Safety for Shielded Execution' has been accepted at EuroSys 2017 - a top conference in computer systems.
The work proposes an efficient technique to achieve memory safety for shielded execution. Memory safety is one of the most critical components for ensuring software reliability against faults, and also, security against software vulnerabilities. Surprisingly, "SGXBounds beats the state-of-the-art AddressSanitizer software from Google, and Intel MPX hardware ISA extensions for memory safety!" Furthermore, SGXBounds not only detects memory safety violations, but also tolerates them to ensure higher availability for software systems. SGXBounds' design is based on a simple idea to use tagged pointer in the context of secure enclaves.