Sébastien Bardin

Available identifiers

Publication	Date of Publication	Type
Introducing robust reachability	2024-11-04	Paper
Adversarial reachability for program-level security analysis	2023-11-24	Paper
Model generation for quantified formulas: a taint-based approach	2023-05-05	Paper
Not all bugs are created equal, but robust reachability can tell the difference	2022-03-25	Paper
An automated deductive verification framework for circuit-building quantum programs	2021-10-18	Paper
Arrays made simpler: an efficient, scalable and thorough preprocessing	2019-07-04	Paper
Sharpening constraint programming approaches for bit-vector theory	2017-08-04	Paper
Refinement-based CFG reconstruction from unstructured programs	2011-02-15	Paper
An alternative to SAT-based approaches for bit-vectors	2010-04-27	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2007-09-28	Paper
Automated Technology for Verification and Analysis	2006-10-25	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper

This page was built for person: Sébastien Bardin