Research

Building practical, secure, and reliable computer systems — from secure cache design to accelerator reliability and branch-predictor security.