Login / Signup
David Kaloper-Mersinjak
Publication Activity (10 Years)
Years Active: 2015-2016
Publications (10 Years): 2
Top Topics
Intrusion Detection
Protocol Specification
Raw Data
Data Mining Algorithms
Top Venues
USENIX Security Symposium
TyDe@ICFP
</>
Publications
</>
David Kaloper-Mersinjak
,
Jeremy Yallop
Generic partially-static data (extended abstract).
TyDe@ICFP
(2016)
David Kaloper-Mersinjak
,
Hannes Mehnert
,
Anil Madhavapeddy
,
Peter Sewell
Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation.
USENIX Security Symposium
(2015)