David Kaloper-Mersinjak

According to our database, David Kaloper-Mersinjak authored at least 2 papers between 2015 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Generic partially-static data (extended abstract).

David Kaloper-Mersinjak, Jeremy Yallop

Proceedings of the 1st International Workshop on Type-Driven Development, 2016

2015

Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation.

David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy, Peter Sewell

Proceedings of the 24th USENIX Security Symposium, 2015