Security, privacy, and cryptography
Publication
Simple, Fast and Safe Manual Memory Management
Microsoft Research Blog
Getting compilers right: a reliable foundation for secure software
By Nuno Lopes, Researcher, Microsoft Research Cambridge Think compilers cannot compromise the security of your application? Think twice! Compiler writers work around the clock to continuously deliver better compilers. They are driven by the ever-increasing…
Publication
Taming Undefined Behavior in LLVM
Video
Fundamentals of User Studies
Overview of important methods and techniques applied in user studies from the perspective of academic research, and also from the perspective of product development. The talk is ended with two examples of projects done at…
Project
IoT Security Standards
This project includes contributions to IETF and other relevant standards organizations, as well as reviews of public documents in such bodies, related to IoT security. Reviews of documents: draft-ietf-suit-mud-03 draft-hartke-core-e2e-security-reqs-02 draft-pei-opentrustprotocol-04 draft-moran-suit-architecture-03 draft-housley-suit-cose-hash-sig-00 draft-ietf-teep-architecture-00 draft-ietf-suit-architecture-05…