Author of the publication

Discovering Application-Level Insider Attacks Using Symbolic Execution.

, , , and . SEC, volume 297 of IFIP Advances in Information and Communication Technology, page 63-75. Springer, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Gate-Level Simulation Environment for Alpha-Particle-Induced Transient Faults., , , , and . IEEE Trans. Computers, 45 (11): 1248-1256 (1996)Hierarchical Error Detection in a Software Implemented Fault Tolerance (SIFT) Environment., , , , and . IEEE Trans. Knowl. Data Eng., 12 (2): 203-224 (2000)The Effects of an ARMOR-Based SIFT Environment on the Performance and Dependability of User Applications., , , , , and . IEEE Trans. Software Eng., 30 (4): 257-277 (2004)Multiprogramming Performance Degradation: Case Study on a Shared Memory Multiprocesor., and . ICPP (2), page 205-208. Pennsylvania State University Press, (1989)0-271-00686-2.Improving Cache Performance of Network Intensive Workloads., , , and . ICPP, page 87-94. IEEE Computer Society, (2001)An Object-Oriented Environment for Fast Simulation Using Compiler Techniques., and . Winter Simulation Conference, page 531-538. WSC, (1998)Use of Hybrid and Hierarchical Simulation to Reduce Computation Costs., and . MASCOTS, page 197-202. The Society for Computer Simulation, (1993)A Framework for Classifying Peer-to-Peer Technologies., , and . CCGRID, page 368-375. IEEE Computer Society, (2002)A Fast and Accurate Gate-Level Transient Fault Simulation Environment., , , , and . FTCS, page 310-319. IEEE Computer Society, (1993)Identifying Software Problems Using Symptoms., , and . FTCS, page 320-329. IEEE Computer Society, (1994)