Author of the publication

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

LMP: light-weighted memory protection with hardware assistance., , , and . ACSAC, page 460-470. ACM, (2016)BinPro: A Tool for Binary Source Code Provenance., , and . CoRR, (2017)Security Benchmarking using Partial Verification., , and . HotSec, USENIX Association, (2008)Unicorn: two-factor attestation for data security., , , and . ACM Conference on Computer and Communications Security, page 17-28. ACM, (2011)SPSM 2015: 5th Annual ACM CCS Workshop on Security and Privacy in Smartphones and Mobile Devices., and . ACM Conference on Computer and Communications Security, page 1713-1714. ACM, (2015)Aion Attacks: Manipulating Software Timers in Trusted Execution Environment., , , and . DIMVA, volume 12756 of Lecture Notes in Computer Science, page 173-193. Springer, (2021)FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers., , and . ASE, page 1061-1072. IEEE, (2023)Ex-vivo dynamic analysis framework for Android device drivers., , and . SP, page 1088-1105. IEEE, (2020)Manitou: a layer-below approach to fighting malware., and . ASID, page 6-11. ACM, (2006)Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices., and . IEEE Symposium on Security and Privacy, page 880-896. IEEE Computer Society, (2015)