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
- NEWS
- Development, design, and semantics of programming languages Tenure track research position at CNRS
- Seminars
- 17 September 2026 Loup Lobet: Vir, an intermediate representation for simd text processing
- 26 November 2026 Basile Gros: Proxy-based small inversions for the rocq prover (Phd)
Seminars
New publications
- Some Recent Publications
- Karine Altisen, Marius Bozga: Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
- Marius Bozga, Radu Iosif, Florian Zuleger: Regular Grammars for Sets of Graphs of Tree-Width 2
- Marius Bozga, Radu Iosif, Florian Zuleger: Iterating Non-Aggregative Structure Compositions
- Basile Pesin, Sylvain Boulmé, David Monniaux, Marie-Laure Potet: Formally Verified Hardening of C Programs against Hardware Fault Injection