Introducing robust reachability von Girol, Guillaume, Farinier, Benjamin, Bardin, Sébastien

Volltext

Fine-grained Coverage-based Fuzzing von Wu, Wei-Cheng, Nongpoh, Bernard, Nour, Marwan, Marcozzi, Michaël, Bardin, Sébastien, Hauser, Christophe

Volltext

Quantitative Robustness for Vulnerability Assessment von Girol, Guillaume, Lacombe, Guilhem, Bardin, Sébastien

Volltext

Fine-grained Coverage-based Fuzzing - RCR Report von Wu, Wei-Cheng, Nongpoh, Bernard, Nour, Marwan, Marcozzi, Michaël, Bardin, Sébastien, Hauser, Christophe

Volltext

Symbolic Deobfuscation: From Virtualized Code Back to the Original von Salwan, Jonathan, Bardin, Sébastien, Potet, Marie-Laure

Volltext

Specify and measure, cover and reveal: A unified framework for automated test generation von Bardin, Sébastien, Kosmatov, Nikolai, Marcozzi, Michaël, Delahaye, Mickaël

Volltext

Inference of Robust Reachability Constraints von Sellami, Yanis, Girol, Guillaume, Recoules, Frédéric, Couroussé, Damien, Bardin, Sébastien

Volltext

A Tight Integration of Symbolic Execution and Fuzzing (Short Paper) von Vinçont, Yaëlle, Bardin, Sébastien, Marcozzi, Michaël

Volltext

Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure von Daniel, Lesly-Ann, Bardin, Sébastien, Rezk, Tamara

Volltext

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes von Bardin, Sebastien, David, Robin, Marion, Jean-Yves

Volltext

Detection of Intrusions and Malware, and Vulnerability Assessment: 15th International Conference, DIMVA 2018, Saclay, France, June 28-29, 2018, Proceedings von Giuffrida, Cristiano, Bardin, Sébastien, Blanc, Gregory

Volltext

OSMOSE: automatic structural testing of executables von Bardin, Sébastien, Herrmann, Philippe

Volltext

FAST: acceleration from theory to practice von Bardin, Sébastien, Finkel, Alain, Leroux, Jérôme, Petrucci, Laure

Volltext

FAST extended release von BARDIN, Sébastien, LEROUX, Jérome, POINT, Gérald

Volltext

Refinement-based CFG reconstruction from unstructured programs von Bardin, Sébastien, Herrmann, Philippe, Védrine, Franck

Volltext

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level von Daniel, Lesly-Ann, Bardin, Sebastien, Rezk, Tamara

Volltext

Sharpening Constraint Programming Approaches for Bit-Vector Theory von Chihani, Zakaria, Marre, Bruno, Bobot, François, Bardin, Sébastien

Volltext

Recovering High-Level Conditions from Binary Programs von Djoudi, Adel, Bardin, Sébastien, Goubault, Éric

Volltext

The BINCOA Framework for Binary Code Analysis von Bardin, Sébastien, Herrmann, Philippe, Leroux, Jérôme, Ly, Olivier, Tabary, Renaud, Vincent, Aymeric

Volltext

Detection of Intrusions and Malware, and Vulnerability Assessment: 15th International Conference, DIMVA 2018, Saclay, France, June 28–29, 2018, Proceedings

Volltext