Our main research goal is the construction of reliable and secure computing systems. To this end, our research often touches on all layers of the computing stack, from software, all the way down to hardware. We use novel analysis techniques to better understand the attack surface of modern systems and when appropriate, we build systems that can withstand different classes of attacks. We regularly publish our results at top computer architecture, systems and security conferences, and our work ...
