Peter Sewell [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