Anil Madhavapeddy [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems SOSP-2015 - california,usa
Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation SecuritySymposium-2015 - washington,USA
Lost in the Edge: Finding Your Way with DNSSEC Signposts FOCI-2013 - New Jersey, Washington
Signposts Satin-2012 - UK Security