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

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

Volltext

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

Volltext

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

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

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

JaSt: Fully Syntactic Detection of Malicious (Obfuscated) JavaScript von Fass, Aurore, Krawczyk, Robert P., Backes, Michael, Stock, Ben

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

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

FraudBuster: Temporal Analysis and Detection of Advanced Financial Frauds von Carminati, Michele, Baggio, Alessandro, Maggi, Federico, Spagnolini, Umberto, Zanero, Stefano

Volltext

ELISA: ELiciting ISA of Raw Binaries for Fine-Grained Code and Data Separation von De Nicolao, Pietro, Pogliani, Marcello, Polino, Mario, Carminati, Michele, Quarta, Davide, Zanero, Stefano

Volltext

Detection of intrusions and malware, and vulnerability assessment : 5th international conference, DIMVA 2018, Saclay, France, June 28-29, 2018, proceedings von Giuffrida, Cristiano, Bardin, Sébastien, Blanc, Gregory

Volltext

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

Volltext