A Theory of Secure Control Flow

This publication has 11 references indexed in Scilit:

• Edit automata: enforcement mechanisms for run-time security policies
  International Journal of Information Security, 2005
• On the effectiveness of address-space randomization
  Published by Association for Computing Machinery (ACM) ,2004
• Secure program execution via dynamic information flow tracking
  Published by Association for Computing Machinery (ACM) ,2004
• Beyond stack smashing: recent advances in exploiting buffer overruns
  IEEE Security & Privacy, 2004
• SASI enforcement of security policies: a retrospective
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• Protection in programming-language translations
  Published by Springer Nature ,1998
• Proof-carrying code
  Published by Association for Computing Machinery (ACM) ,1997
• ATOM
  Published by Association for Computing Machinery (ACM) ,1994
• Efficient software-based fault isolation
  ACM SIGOPS Operating Systems Review, 1993