Author of the publication

RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine".

, , , , , and . ICSE (Companion Volume), page 201-202. IEEE, (2021)

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

Get Rid of Inline Assembly through Verification-Oriented Lifting., , , , and . ASE, page 577-589. IEEE, (2019)Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate., , , and . CCS, page 2513-2525. ACM, (2021)Extending SMT-LIB v2 with λ-Terms and Polymorphism., , and . SMT, volume 1163 of CEUR Workshop Proceedings, page 53-62. CEUR-WS.org, (2014)RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine"., , , , , and . ICSE (Companion Volume), page 201-202. IEEE, (2021)LLVM-Based Code Generation for B., , , and . SBMF, volume 8941 of Lecture Notes in Computer Science, page 1-16. Springer, (2014)Get rid of inline assembly through trustable verification-oriented lifting., , , , and . CoRR, (2019)TaMeD: A Tableau Method for Deduction Modulo.. IJCAR, volume 3097 of Lecture Notes in Computer Science, page 445-459. Springer, (2004)A Mergeable Interval Map., and . Stud. Inform. Univ., 9 (1): 5-37 (2011)Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs., , and . LPAR, volume 4790 of Lecture Notes in Computer Science, page 151-165. Springer, (2007)How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections)., , , and . ACSAC, page 177-189. ACM, (2019)