Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by George Candea
A Formally Verified NAT Stack
Reconstructing Core Dumps
Automated Vulnerability Discovery in Distributed Systems
High System-Code Security With Low Overhead
RaceMob
Toward Self-Healing Multitier Services