A Theory of Secure Control Flow
Authors:
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 111-124
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Edit automata: enforcement mechanisms for run-time security policiesInternational Journal of Information Security, 2005
- On the effectiveness of address-space randomization2004
- Secure program execution via dynamic information flow tracking2004
- Beyond stack smashing: recent advances in exploiting buffer overrunsIEEE Security & Privacy, 2004
- SASI enforcement of security policies: a retrospective2002
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- Protection in programming-language translations1998
- Proof-carrying code1997
- ATOM1994
- Efficient software-based fault isolationACM SIGOPS Operating Systems Review, 1993