BVSec develops cutting-edge artificial intelligence solutions for the automatic detection of software vulnerabilities and malware. Situated at the intersection of scientific research and industrial applications, the project leverages innovative binary file analysis techniques coupled with deep learning to enhance information system security. BVSec enables large-scale analysis efficiently, without the need to execute or decompile the code.
Browsing
News
Seminars
- Seminars
- 15 October 2026 Antoine Besset: Ensemble stl monitoring: from violation prediction to online corrective control
- 12 November 2026 David Monniaux: The existence of polyhedral invariants is undecidable for linear systems
- 19 November 2026 Clement Chavanon: Barocq: a high-level programming language for efficient and verifiable embedded system (…)
- 26 November 2026 Basile Gros: Proxy-based small inversions for the rocq prover (Phd)
New publications
- Some Recent Publications
- Iulia Dragomir, Carlos Redondo, Tiago Jorge, Laura Gouveia, Iulian Ober, Marius Bozga, Maxime Perrotin: Specification and model-checking of space systems in the TASTE toolset
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian: Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs
- Marius Bozga, Radu Iosif, Arnaud Sangnier, Neven Villani: Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks