
Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Defending cryptographic code from Spectre attacks is difficult. Blade is a fully automatic approach to eliminate speculative leaks provably and efficiently.
Defending cryptographic code from Spectre attacks is difficult. Blade is a fully automatic approach to eliminate speculative leaks provably and efficiently.
The authors of POPL’s 2020 most influential paper reflect on the journey that produced their award winning research on program synthesis, and the impact the work has had on them, the research community, and society at large, ever since.
POPL is the premiere conference on the theoretical foundations of programming languages. The PC Chair, General Chair, and Steering Committee Chair of POPL 2020 review this year’s event.
On May 27, 2019, Laurie Hendren, Professor of Computer Science at McGill University, Montreal, passed away after a long illness. She leaves her daughter Jane and husband Prakash Panangaden. Laurie shared the Sable Lab with Clark Verbrugge.