research
∙
09/11/2023
Serberus: Protecting Cryptographic Code from Spectres at Compile-Time
We present Serberus, the first comprehensive mitigation for hardening co...
share
research
∙
03/17/2022
Insights for post-pandemic pedagogy across one CS department
Adaptive remote instruction has led to important lessons for the future,...
research
∙
07/16/2020
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols
The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin p...
research
∙
04/10/2020