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

Symbolic Arrays in Symbolic PathFinder., , and . ACM SIGSOFT Softw. Eng. Notes, 41 (6): 1-5 (2016)A Proof-Oriented Approach to Low-Level, High-Assurance Programming.. Carnegie Mellon University, USA, (2022)EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , and 6 other author(s). SP, page 983-1002. IEEE, (2020)Fast Geometric Projections for Local Robustness Certification., , , , and . ICLR, OpenReview.net, (2021)Fast Geometric Projections for Local Robustness Certification., , , , and . CoRR, (2020)EverCrypt: A Fast, Verified, Cross-Platform Cryptographic Provider., , , , , , , , , and 5 other author(s). IACR Cryptol. ePrint Arch., (2019)StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator., , and . CoRR, (2024)Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair., , , , , and . CoRR, (2021)Self-correcting Neural Networks for Safe Classification., , , , , and . NSV/FoMLAS@CAV, volume 13466 of Lecture Notes in Computer Science, page 96-130. Springer, (2022)Symbolic Pathfinder for SV-COMP - (Competition Contribution)., , , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 239-243. Springer, (2019)