Our work on "SGXBounds: Memory Safety for Shielded Execution" has been awarded the best paper award at EuroSys'17 -- a top conference in computer systems. SGXBounds proposes an efficient technique to achieve memory safety for shielded execution. Memory safety is the most critical property for ensuring software reliability, and security. Surprisingly, SGXBounds beats the state-of-the-art software AddressSanitizer from Google, and Intel MPX hardware ISA extensions for memory safety! Furthermore, SGXBounds not only detect memory safety violations, but also tolerates them to ensure high availability for software systems. SGXBounds' design is based on a simple idea to use tagged pointer, and a compact memory layout in the context of secure enclaves.

The lead author for the project is Dmitrii Kuvaiskii from the Resilience Path at cfaed, who is jointly advised by Christof Fetzer and Pramod Bhatotia.