Author of the publication

Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -.

, , , , and . IFM, volume 10510 of Lecture Notes in Computer Science, page 391-406. Springer, (2017)

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

G-Free: defeating return-oriented programming through gadget-less binaries., , , , and . ACSAC, page 49-58. ACM, (2010)Prometheus: Analyzing WebInject-based information stealers., , , , , and . J. Comput. Secur., 25 (2): 117-137 (2017)Deja-Vu: A Glimpse on Radioactive Soft-Error Consequences on Classical and Quantum Computations., , and . CoRR, (2021)PoW-How: An Enduring Timing Side-Channel to Evade Online Malware Sandboxes., , , , , and . ESORICS (1), volume 12972 of Lecture Notes in Computer Science, page 86-109. Springer, (2021)Secure in-VM monitoring using hardware virtualization., , , and . CCS, page 477-487. ACM, (2009)McBoost: Boosting Scalability in Malware Collection and Analysis Using Statistical Classification of Executables., , and . ACSAC, page 301-310. IEEE Computer Society, (2008)System Call API Obfuscation (Extended Abstract)., , and . RAID, volume 5230 of Lecture Notes in Computer Science, page 421-422. Springer, (2008)Hypervisor-based malware protection with AccessMiner., , , and . Comput. Secur., (2015)Glyph: Efficient ML-Based Detection of Heap Spraying Attacks., , , , , and . IEEE Trans. Inf. Forensics Secur., (2021)BootKeeper: Validating Software Integrity Properties on Boot Firmware Images., , , , , , , , and . CODASPY, page 315-325. ACM, (2019)