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

Joint Panel - IPDS and Workshop on Dependability Benchmarking., , , , , , , , , and . DSN, IEEE Computer Society, (2002)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)Formal Reasoning of Various Categories of Widely Exploited Security Vulnerabilities by Pointer Taintedness Semantics., , , and . SEC, volume 147 of IFIP, page 83-100. Kluwer / Springer, (2004)Toward Application-Aware Security and Reliability., , , , , , and . IEEE Secur. Priv., 5 (1): 57-62 (2007)An embedded reconfigurable architecture for patient-specific multi-paramater medical monitoring., , , and . EMBC, page 1896-1900. IEEE, (2011)Pervasive embedded systems for detection of traumatic brain injury., , , , , and . ICME, page 1704-1707. IEEE, (2009)Watch Out for the Safety-Threatening Actors: Proactively Mitigating Safety Hazards., , , and . CoRR, (2022)LoMoS: Less-Online/More-Offline Signatures for Extremely Time-Critical Systems., , , , , , , and . IEEE Trans. Smart Grid, 13 (4): 3214-3226 (2022)Message Authentication and Provenance Verification for Industrial Control Systems., , , , , and . ACM Trans. Cyber Phys. Syst., 7 (4): 24:1-24:28 (October 2023)