David Kaloper-Mersinjak

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

Collaborative distances:

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

2025

Ghost in the Android Shell: Pragmatic Test-oracle Specification of a Production Hypervisor.

Kayvan Memarian, Ben Simner, David Kaloper-Mersinjak, Thibaut Pérami, Peter Sewell

Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, 2025

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