Discovering Application-Level Insider Attacks Using Symbolic Execution
Authors:
- 1 January 2009
- book chapter
- Published by Springer Nature
- p. 63-75
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Discovering Application-Level Insider Attacks Using Symbolic Execution2009
- SymPLFIED: Symbolic program-level fault injection and error detection framework2008
- Where Can an Insider Attack?2007
- An experimental study of security vulnerabilities caused by errors2002
- Differential Power Analysis1999
- Fault injection techniques and toolsComputer, 1997
- On the Importance of Checking Cryptographic Protocols for Faults1997
- Symbolic execution and program testingCommunications of the ACM, 1976