Author of the publication

Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification.

, , , , and . NDSS, The Internet Society, (2019)

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

BotOnus: an online unsupervised method for Botnet detection., and . ISeCure, 4 (1): 51-62 (2012)VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System., , , , , , , , , and 5 other author(s). Syst., 9 (1): 18 (2021)Expat: Expectation-based Policy Analysis and Enforcement for Appified Smart-Home Platforms., , , and . SACMAT, page 61-72. ACM, (2019)BotGrab: A negative reputation system for botnet detection., and . Comput. Electr. Eng., (2015)PHASER - A Phase-Shifting Antenna for Low-Power Directional Communication., , , and . DCOSS, page 65-72. IEEE, (2017)Analyzing Semantic Correctness with Symbolic Execution: A Case Study on PKCS#1 v1.5 Signature Verification., , , , and . NDSS, The Internet Society, (2019)CRV: Automated Cyber-Resiliency Reasoning for System Design Models., , , , , and . FMCAD, page 209-220. IEEE, (2023)Morpheus: Bringing The (PKCS) One To Meet the Oracle., , , , , , , , and . CCS, page 2474-2496. ACM, (2021)PatrIoT: Policy Assisted Resilient Programmable IoT System., , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 151-171. Springer, (2020)