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

[BibT_eX]

[DOI]

Frédéric Recoules

Sébastien Bardin

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

Evaluating Defensive Countermeasures for Software-Based Hardware Abstraction.

[BibT_eX]

[DOI]

Jeffrey Todd McDonald

Proceedings of the E-Business and Telecommunications - 18th International Conference, 2021

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate.

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate (Poster).

[BibT_eX]

[DOI]

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

2019

Get rid of inline assembly through trustable verification-oriented lifting.

[BibT_eX]

[DOI]

CoRR, 2019

Get Rid of Inline Assembly through Verification-Oriented Lifting.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections).

[BibT_eX]

[DOI]

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Model Generation for Quantified Formulas: A Taint-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2015

A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization.

[BibT_eX]

[DOI]

Richard Bonichon

Olivier Hermant

CoRR, 2015

2014

Extending SMT-LIB v2 with λ-Terms and Polymorphism.

[BibT_eX]

[DOI]

Richard Bonichon

David Déharbe

Cláudia Tavares

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

LLVM-Based Code Generation for B.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 17th Brazilian Symposium, 2014

2011

A Mergeable Interval Map.

[BibT_eX]

[DOI]

Richard Bonichon

Pascal Cuoq

Stud. Inform. Univ., 2011

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

2009

Experience report: OCaml for an industrial-strength static analysis framework.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2007

Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs.

[BibT_eX]

[DOI]

Richard Bonichon

David Delahaye

Damien Doligez

Proceedings of the Logic for Programming, 2007

2006

On Constructive Cut Admissibility in Deduction Modulo.

[BibT_eX]

[DOI]

Richard Bonichon

Olivier Hermant

Proceedings of the Types for Proofs and Programs, International Workshop, 2006

A Semantic Completeness Proof for TaMeD.

[BibT_eX]

[DOI]

Richard Bonichon

Olivier Hermant

Proceedings of the Logic for Programming, 2006

2004

TaMeD: A Tableau Method for Deduction Modulo.

[BibT_eX]

[DOI]

Richard Bonichon

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

Richard Bonichon

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...