Filter your results
- 22
- 9
- 21
- 5
- 3
- 1
- 1
- 31
- 1
- 2
- 2
- 5
- 2
- 3
- 4
- 7
- 4
- 1
- 1
- 28
- 3
- 27
- 8
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 15
- 13
- 8
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Toward certified quantum programming2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Conference papers
hal-02175112v1
|
||
|
Time to Clean Your Test ObjectivesInternational Conference On Software Engineering - ICSE, May 2018, Gothenburg, Sweden
Conference papers
cea-01835503v1
|
||
|
Au temps en emporte le CVingt-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 ObjectivesCoRR, 2017, abs/1708.08765, ⟨10.1145/3180155.3180191⟩
Journal articles
cea-01809012v1
|
||
|
Efficient and Complete FD-Solving for Extended Array Constraints *IJCAI 2017, Aug 2017, Melbourne, Australia
Conference papers
hal-01545557v1
|
||
|
Actes de la conférence CAID 2021 (Conference on Artificial Intelligence for Defense)pp.1-152, 2021
Proceedings
hal-03535661v1
|
||
|
Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-LevelIEEE Security and Privacy (IEEE S&P'20), May 2020, Virtual, France
Conference papers
hal-03141415v1
|
||
|
Specification of Concretization and Symbolization Policies in Symbolic ExecutionISSTA 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 Codes2017 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 Programs2013 13th International Conference on Quality Software (QSIC), Jul 2013, Najing, China. ⟨10.1109/QSIC.2013.49⟩
Conference papers
cea-01836221v1
|
||
|
Sharpening Constraint Programming approaches for Bit-Vector TheoryCPAIOR 2017. International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2017, Padova, Italy
Conference papers
cea-01795779v1
|
||
|
Compiler and optimization level recognition using graph neural networksMLPA 2020 - Machine Learning for Program Analysis, Jan 2021, Yokohama / Virtual, Japan
Conference papers
hal-03270335v1
|
||
|
Scalable program clone search through spectral analysis2023
Preprints, Working Papers, ...
hal-03826726v4
|
||
Introducing robust reachabilityFormal Methods in System Design, 2022, ⟨10.1007/s10703-022-00402-x⟩
Journal articles
cea-04102731v1
|
|||
|
Abstract Interpretation using a Language of Symbolic Approximation2017
Preprints, Working Papers, ...
cea-01673275v1
|
||
|
No Crash, No Exploit: Automated Verification of Embedded KernelsRTAAS 2021 - Real-Time and Embedded Technology and Applications Symposium, May 2021, Nashville, United States
Conference papers
hal-03538067v1
|
||
|
Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-FreeSSPREW-6 - 6th Software Security, Protection, and Reverse Engineering Workshop, Dec 2016, Los Angeles, United States. pp.1-12
Conference papers
hal-01721539v1
|
||
|
Adversarial reachability for program-level security analysisESOP 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
|
||
|
Qbricks, un environnement pour la vérification formelle en informatique quantique *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)the 9th Workshop SSPREW, Dec 2019, San Juan, United States. pp.1-8, ⟨10.1145/3371307.3371309⟩
Conference papers
hal-02573099v1
|
|||
|
Binary level toolchain provenance identification with graph neural networksSANER 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, proceedingsSpringer, 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 VulnerabilitiesRAID 2020: Research in Attacks, Intrusions and Defenses, Oct 2020, Donostia, Spain
Conference papers
hal-03275248v1
|
|||
|
Generic and Effective Specification of Structural Test Objectives2016
Preprints, Working Papers, ...
cea-01357487v1
|
||
|
Model Generation for Quantified Formulas: A Taint-Based Approach2018
Preprints, Working Papers, ...
cea-01709306v1
|
||
|
Hunting the Haunter -Efficient Relational Symbolic Execution for Spectre with Haunted RelSENDSS 2021 - Network and Distributed Systems Security, 2021, Virtual, France. ⟨10.14722/ndss.2021.24286⟩
Conference papers
hal-03363263v1
|
||
|
How to kill symbolic deobfuscation for free (or: unleashing the potential of path-oriented protections)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
|
||
|
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis3rd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Mar 2016, Osaka, Japan
Conference papers
hal-01721502v1
|
||
|
CDCL-inspired Word-level Learning for Bit-vector Constraint Solving2017
Preprints, Working Papers, ...
hal-01531336v1
|
||
|
Domestiquer la variété des critères de test avec le langage HTOL et l'outil LTestApproches Formelles pour l'Assistance au Développement de Logiciels - AFADL, Jun 2017, Montpellier, France
Conference papers
cea-01835544v1
|
- 1
- 2