Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

31 Results
authFullName_s : Sébastien Bardin
Image document

Toward certified quantum programming

Sébastien Bardin , François Bobot , Valentin Perelle , Christophe Chareton , Benoît Valiron
2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Conference papers hal-02175112v1
Image document

Time to Clean Your Test Objectives

Michaël Marcozzi , Mike Papadakis , Sébastien Bardin , Nikolai Kosmatov , Virgile Prévosto , et al.
International Conference On Software Engineering - ICSE, May 2018, Gothenburg, Sweden
Conference papers cea-01835503v1
Image document

Au temps en emporte le C

Steven de Oliveira , Virgile Prévosto , Sébastien Bardin
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
Conference papers hal-01099128v1

Freeing Testers from Polluting Test Objectives

Michaël Marcozzi , Sébastien Bardin , Nikolai Kosmatov , Mike Papadakis , Virgile Prévosto , et al.
CoRR, 2017, abs/1708.08765, ⟨10.1145/3180155.3180191⟩
Journal articles cea-01809012v1
Image document

Efficient and Complete FD-Solving for Extended Array Constraints *

Quentin Plazar , Mathieu Acher , Sébastien Bardin , Arnaud Gotlieb
IJCAI 2017, Aug 2017, Melbourne, Australia
Conference papers hal-01545557v1
Image document

Actes de la conférence CAID 2021 (Conference on Artificial Intelligence for Defense)

Alexandre Dey , Benjamin Costé , Éric Totel , Adrien Bécue , Elkin Aguas , et al.
pp.1-152, 2021
Proceedings hal-03535661v1

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

Lesly-Ann Daniel , Sébastien Bardin , Tamara Rezk
IEEE Security and Privacy (IEEE S&P'20), May 2020, Virtual, France
Conference papers hal-03141415v1
Image document

Specification of Concretization and Symbolization Policies in Symbolic Execution

Robin David , Sébastien Bardin , Josselin Feist , Laurent Mounier , Marie-Laure Potet , et al.
ISSTA 2016 - The International Symposium on Software Testing and Analysis , Jul 2016, Saarland, Germany. pp.1-11
Conference papers hal-01721492v1

Backward-Bounded DSE: Targeting Infeasibility Questions on Obfuscated Codes

Sébastien Bardin , Robin David , Jean-Yves Marion
2017 IEEE Symposium on Security and Privacy (SP), May 2017, San Jose, CA, United States. pp.633-651, ⟨10.1109/SP.2017.36⟩
Conference papers hal-03167660v1

Binary-Level Testing of Embedded Programs

Sébastien Bardin , Philippe Baufreton , Nicolas Cornuet , Philippe Herrmann , Sébastien Labbé
2013 13th International Conference on Quality Software (QSIC), Jul 2013, Najing, China. ⟨10.1109/QSIC.2013.49⟩
Conference papers cea-01836221v1
Image document

Sharpening Constraint Programming approaches for Bit-Vector Theory

Zakaria Chihani , Bruno Marre , François Bobot , Sébastien Bardin
CPAIOR 2017. International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2017, Padova, Italy
Conference papers cea-01795779v1
Image document

Compiler and optimization level recognition using graph neural networks

Sébastien Bardin , Tristan Benoit , Jean-Yves Marion
MLPA 2020 - Machine Learning for Program Analysis, Jan 2021, Yokohama / Virtual, Japan
Conference papers hal-03270335v1
Image document

Scalable program clone search through spectral analysis

Tristan Benoit , Jean-Yves Marion , Sébastien Bardin
2023
Preprints, Working Papers, ... hal-03826726v4

Introducing robust reachability

Guillaume Girol , Benjamin Farinier , Sébastien Bardin
Formal Methods in System Design, 2022, ⟨10.1007/s10703-022-00402-x⟩
Journal articles cea-04102731v1
Image document

Abstract Interpretation using a Language of Symbolic Approximation

Matthieu Lemerre , Sébastien Bardin
2017
Preprints, Working Papers, ... cea-01673275v1
Image document

No Crash, No Exploit: Automated Verification of Embedded Kernels

Olivier Nicole , Matthieu Lemerre , Sébastien Bardin , Xavier Rival
RTAAS 2021 - Real-Time and Embedded Technology and Applications Symposium, May 2021, Nashville, United States
Conference papers hal-03538067v1
Image document

Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free

Josselin Feist , Laurent Mounier , Marie-Laure Potet , Sébastien Bardin , Robin David
SSPREW-6 - 6th Software Security, Protection, and Reverse Engineering Workshop, Dec 2016, Los Angeles, United States. pp.1-12
Conference papers hal-01721539v1
Image document

Adversarial reachability for program-level security analysis

Sébastien Bardin , Soline Ducousso , Marie-Laure Potet
ESOP 2023 - 32nd European Symposium on Programming,, ETAPS, Apr 2023, Paris, France. pp.58-89, ⟨10.1007/978-3-031-30044-8_3⟩
Conference papers cea-04199882v1
Image document

Qbricks, un environnement pour la vérification formelle en informatique quantique *

Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perelle , Benoît Valiron
18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France
Conference papers hal-02175079v1

Obfuscation: where are we in anti-DSE protections? (a first attempt)

Mathilde Ollivier , Sébastien Bardin , Richard Bonichon , Jean-Yves Marion
the 9th Workshop SSPREW, Dec 2019, San Juan, United States. pp.1-8, ⟨10.1145/3371307.3371309⟩
Conference papers hal-02573099v1
Image document

Binary level toolchain provenance identification with graph neural networks

Tristan Benoit , Jean-Yves Marion , Sébastien Bardin
SANER 2021 - 28th IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2021, Honolulu / Virtual, United States. pp.131-141, ⟨10.1109/SANER50967.2021.00021⟩
Conference papers hal-03447628v1

Detection of intrusions and malware, and vulnerability assessment : 5th international conference, DIMVA 2018, Saclay, France, June 28-29, 2018, proceedings

Cristiano Giuffrida , Sébastien Bardin , Gregory Blanc
Springer, pp.405, 2018, Lecture Notes in Computer Science (vol. 10885); Security and Cryptology (vol. 10885), Lecture Notes in Computer Science (vol. 10885); Security and Cryptology (vol. 10885), 978-3-319-93410-5
Books hal-01864973v1

Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities

Manh-Dung Nguyen , Sébastien Bardin , Richard Bonichon , Roland Groz , Matthieu Lemerre
RAID 2020: Research in Attacks, Intrusions and Defenses, Oct 2020, Donostia, Spain
Conference papers hal-03275248v1
Image document

Generic and Effective Specification of Structural Test Objectives

Sébastien Bardin , Mickaël Delahaye , Nikolai Kosmatov , Michaël Marcozzi , Virgile Prévosto
2016
Preprints, Working Papers, ... cea-01357487v1
Image document

Model Generation for Quantified Formulas: A Taint-Based Approach

Benjamin Farinier , Sébastien Bardin , Richard Bonichon , Marie-Laure Potet
2018
Preprints, Working Papers, ... cea-01709306v1
Image document

Hunting the Haunter -Efficient Relational Symbolic Execution for Spectre with Haunted RelSE

Lesly-Ann Daniel , Sébastien Bardin , Tamara Rezk
NDSS 2021 - Network and Distributed Systems Security, 2021, Virtual, France. ⟨10.14722/ndss.2021.24286⟩
Conference papers hal-03363263v1
Image document

How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections)

Mathilde Ollivier , Sébastien Bardin , Richard Bonichon , Jean-Yves Marion
ACSAC '19: 2019 Annual Computer Security Applications Conference, Dec 2019, San Juan, Puerto Rico, United States. pp.177-189, ⟨10.1145/3359789.3359812⟩
Conference papers hal-02564103v1
Image document

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis

Robin David , Sébastien Bardin , Thanh Dinh Ta , Josselin Feist , Laurent Mounier , et al.
3rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2016, Osaka, Japan
Conference papers hal-01721502v1
Image document

CDCL-inspired Word-level Learning for Bit-vector Constraint Solving

Zakaria Chihani , François Bobot , Sébastien Bardin
2017
Preprints, Working Papers, ... hal-01531336v1
Image document

Domestiquer la variété des critères de test avec le langage HTOL et l'outil LTest

Michaël Marcozzi , Sébastien Bardin , Nikolai Kosmatov , Virgile Prévosto , Mickaël Delahaye
Approches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2017, Montpellier, France
Conference papers cea-01835544v1