Anil Madhavapeddy, Professor of Planetary Computing

Not-Quite-So-Broken TLS

Paper on rebuilding TLS securely but practically at USENIX Security 2015

Not-Quite-So-Broken TLS
David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy, and Peter Sewell.
Paper in the 24th USENIX Security Symposium (USENIX Security 15).
URL (usenix.org) BIB PDF

# 1st Aug 2015

papers conference mirageos ocaml security unikernels

This is a news item about a conference paper published on the 1st Aug 2015 by Anil Madhavapeddy. Browse related tags from the topics below, or switch to the wiki view to browse more entries.

ocaml1124conference164unikernels152security145mirageos143systems73conservation59biodiversity53distributed45ai45sensing39opensource38fp36idea-done35journal34selfhosting31idea-ongoing30cloud30spatial30ocamllabs27idea-medium25idea-beginner22llms22forests22multicore22economics21carboncredits20preprint19evidence18xen17urop17ubicomp17idea-hard17hci16icfp16networks16mobile15satellite15devtools15embedded15

show: [all tags]

20257020246620233020221520211320201420197201810201752016920151152014212013202012162011152010162009220084200722006120059200472003720024200152000319991

This site is © 1998-2025 Anil Madhavapeddy, all rights reserved, except where the content is otherwise licensed. There are no third-party trackers. You can follow me on the usual social media and some self-hosted ones.

Chat (Bluesky / Mastodon / LinkedIn / ~~Twitter~~)
Video (Recoil / EEG / OCaml)
Code (GitHub / GitLab@cam)
Feed (Atom )