University of Illinois Urbana-Champaign

Discovering Application-Level Insider Attacks Using Symbolic Execution

Pattabiraman, Karthik; Nakka, Nithin; Kalbarczyk, Zbigniew; Iyer, Ravishankar

Content Files
B59-CRHC_09_01.pdf

Permalink

https://hdl.handle.net/2142/74611

Description

Title
Discovering Application-Level Insider Attacks Using Symbolic Execution
Author(s)
  • Pattabiraman, Karthik
  • Nakka, Nithin
  • Kalbarczyk, Zbigniew
  • Iyer, Ravishankar
Issue Date
2009-01
Keyword(s)
  • Security
  • Model-checking
  • Formal semantics
  • Fault-injection
  • Fault injection
Date of Ingest
  • 2015-04-06T20:58:55Z
  • 2017-07-14T23:13:17Z
Publisher
Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report Name or Number
Coordinated Science Laboratory Report no. UILU-ENG-09-2201, CRHC-09-01
Type of Resource
text
Genre of Resource
Report (Grant or Annual)
Language
English
Permalink
http://hdl.handle.net/2142/74611
Sponsor(s)/Grant Number(s)
National Science Foundation / 727 NSF CNS 05-51665

Owning Collections

Report - Coordinated Science Laboratory PRIMARY