Summary
Modern software systems are entrusted with and expected to protect sensitive user data, making it critical that we have robust and rigorously tested techniques to ensure their security. This goal is complicated by the intricate process of compilation which transforms source code into directly executable machine code and includes optimizations crucial to the performance of software systems. Because of these transformations, a solely source-code level security analysis is not enough to ensure that the executable machine-code satisfies the same security guarantees. In particular, side-channel vu
