WatchdogLite
Open Access
- 15 February 2014
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 175-184
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Formalizing the LLVM intermediate representation for verified program transformations2012
- Data Space Randomization2009
- Hardbound2008
- How to shadow every byte of memory used by a program2007
- Valgrind2007
- Exterminator2007
- DieHard2006
- CCured: type-safe retrofitting of legacy softwareACM Transactions on Programming Languages and Systems, 2005
- Beyond stack smashing: recent advances in exploiting buffer overrunsIEEE Security & Privacy, 2004
- Countering code-injection attacks with instruction-set randomization2003