Programming Language Theoretic Security in the Real World: A Mirage or the Future?
- 10 April 2015
- book chapter
- Published by Springer Nature
- p. 307-321
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Out of Control: Overcoming Control-Flow Integrity2014
- Hacking Blind2014
- WatchdogLite2014
- Proving the TLS Handshake Secure (As It Is)2014
- Fully abstract compilation to JavaScript2013
- A language for automatically enforcing privacy policiesACM SIGPLAN Notices, 2012
- Compiler-Generated Software Diversity2011
- Control-flow integrity2005
- Protection in Programming-Language Translations1999
- Encryption and authentication for JavaNetwork Security, 1997