E-LIB Suche - Ergebnisse für: Bardin, Sébastien

1

Fine-grained Coverage-based Fuzzing - RCR Report:

Wu, Wei-Cheng ; Nongpoh, Bernard ; Nour, Marwan...
ACM Transactions on Software Engineering and Methodology. 33 (2024) 5 - p. 1-4 , 2024

Link: https://doi.org/10.1145/..

2

Quantitative Robustness for Vulnerability Assessment:

Girol, Guillaume ; Lacombe, Guilhem ; Bardin, Sébastien
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 741-765 , 2024

Link: https://doi.org/10.1145/..

3

Fine-grained Coverage-based Fuzzing:

Wu, Wei-Cheng ; Nongpoh, Bernard ; Nour, Marwan...
ACM Transactions on Software Engineering and Methodology. 33 (2024) 5 - p. 1-41 , 2024

Link: https://doi.org/10.1145/..

4

Inference of Robust Reachability Constraints:

Sellami, Yanis ; Girol, Guillaume ; Recoules, Frédéric..
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2731-2760 , 2024

Link: https://doi.org/10.1145/..

5

Evaluating Defensive Countermeasures for Software-Based Har..:

, In: E-Business and Telecommunications; Communications in Computer and Information Science,

Todd McDonald, J. ; Manikyam, Ramya K. ; Bardin, Sébastien... - p. 281-304 , 2023

Link: https://doi.org/10.1007/..

6

Scalable Program Clone Search through Spectral Analysis:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Benoit, Tristan ; Marion, Jean-Yves ; Bardin, Sébastien - p. 808-820 , 2023

Link: https://dl.acm.org/doi/1..

7

Adversarial Reachability for Program-level Security Analysi:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Ducousso, Soline ; Bardin, Sébastien ; Potet, Marie-Laure - p. 59-89 , 2023

Link: https://doi.org/10.1007/..

8

Binsec/Rel: Symbolic Binary Analyzer for Security with Appl..:

Daniel, Lesly-Ann ; Bardin, Sébastien ; Rezk, Tamara
ACM Transactions on Privacy and Security. 26 (2023) 2 - p. 1-42 , 2023

Link: https://doi.org/10.1145/..

9

A Systematic Evaluation of Automated Tools for Side-Channel..:

, In: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security,

Geimer, Antoine ; Vergnolle, Mathéo ; Recoules, Frédéric... - p. 1690-1704 , 2023

Link: https://dl.acm.org/doi/1..

10

Introducing robust reachability:

Girol, Guillaume ; Farinier, Benjamin ; Bardin, Sébastien
Formal Methods in System Design. , 2022

Link: https://doi.org/10.1007/..

11

A Tight Integration of Symbolic Execution and Fuzzing (Shor..:

, In: Foundations and Practice of Security; Lecture Notes in Computer Science,

Vinçont, Yaëlle ; Bardin, Sébastien ; Marcozzi, Michaël - p. 303-310 , 2022

Link: https://doi.org/10.1007/..

12

Search-Based Local Black-Box Deobfuscation : Understand,..:

, In: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security,

Menguy, Grégoire ; Bardin, Sébastien ; Bonichon, Richard. - p. 2384-2386 , 2021

Link: https://dl.acm.org/doi/1..

13

RUSTINA: Automatically checking and patching inline assembl..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,

Recoules, Frédéric ; Bardin, Sébastien ; Bonichon, Richard... - p. 201-202 , 2021

Link: https://dl.acm.org/doi/1..

14

Specify and measure, cover and reveal: A unified framework ..:

Bardin, Sébastien ; Kosmatov, Nikolai ; Marcozzi, Michaël.
Science of Computer Programming. 207 (2021) - p. 102641 , 2021

Link: https://doi.org/10.1016/..

15

Interface Compliance of Inline Assembly : Automatically ..:

, In: Proceedings of the 43rd International Conference on Software Engineering,

Recoules, Frédéric ; Bardin, Sébastien ; Bonichon, Richard... - p. 1236-1247 , 2021

Link: https://dl.acm.org/doi/1..