| Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level LA Daniel, S Bardin, T Rezk 2020 IEEE Symposium on Security and Privacy (SP), 1021-1038, 2020 | 90 | 2020 |
| Hunting the Haunter—Efficient Relational Symbolic Execution for Spectre with Haunted RelSE LA Daniel, S Bardin, T Rezk Network and Distributed System Security Symposium, 2021 | 53 | 2021 |
| Inferring OpenVPN state machines using protocol state fuzzing LA Daniel, E Poll, J de Ruiter 2018 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 11-19, 2018 | 41 | 2018 |
| BINSEC/REL: symbolic binary analyzer for security with applications to constant-time and secret-erasure LA Daniel, S Bardin, T Rezk ACM Transactions on Privacy and Security 26 (2), 1-42, 2023 | 21 | 2023 |
| {ProSpeCT}: Provably Secure Speculation for the {Constant-Time} Policy LA Daniel, M Bognar, J Noorman, S Bardin, T Rezk, F Piessens 32nd USENIX Security Symposium (USENIX Security 23), 7161-7178, 2023 | 16* | 2023 |
| A systematic evaluation of automated tools for side-channel vulnerabilities detection in cryptographic libraries A Geimer, M Vergnolle, F Recoules, LA Daniel, S Bardin, C Maurice Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023 | 11 | 2023 |
| Pandora: Principled symbolic validation of Intel SGX enclave runtimes F Alder, LA Daniel, D Oswald, F Piessens, J Van Bulck 45th IEEE Symposium on Security and Privacy (S&P), 2024 | 6 | 2024 |
| Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs H Winderix, M Bognar, J Noorman, LA Daniel, F Piessens IEEE Symposium on Security and Privacy (SP), 2024 | 4 | 2024 |
| Compiler Support for Control-Flow Linearization Using Architectural Mimicry D Vanoverloop, H Winderix, LA Daniel, F Piessens Workshop on Principles of Secure Compilation (PriSC 2024), 2024 | 2 | 2024 |
| Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version) H Winderix, M Bognar, LA Daniel, F Piessens arXiv preprint arXiv:2409.03743, 2024 | 1 | 2024 |
| Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors H Winderix, M Bognar, LA Daniel, F Piessens | 1 | 2024 |
| Reflections on the Experimental Evaluation of a Binary-Level Symbolic Analyzer for Spectre LA Daniel, S Bardin, T Rezk Workshop on Learning from Authoritative Security Experiment Results, {LASER …, 2021 | 1 | 2021 |
| Efficient Enforcement Mechanisms for the Preservation of Control-Flow Confidentiality H Winderix, F Piessens, LA Daniel | | 2024 |
| Open-source prototyping for systems security research J Van Bulck, H Winderix, M Bognár, LA Daniel, D Vanoverloop Proceedings KU Leuven Open Science day 2024, 2024 | | 2024 |
| Symbolic binary-level code analysis for security. Application to the detection of microarchitectural timing attacks in cryptographic code LA Daniel Université Côte d'Azur, 2021 | | 2021 |
| Evaluating a Processing-in-Memory Architecture with the k-means Algorithm S Bihel, LA Daniel, F De Moor, B Thomas | | 2017 |
| Elisaweta Masserova Elizabeth Margolin Emiliano De Cristofaro Eric Olsson E Zeng, B Vanleeuwen, B Abdolmaleki, B Eriksson, B Pinkas, B Oh, ... | | |
Sébastien BardinCEA, List, Université Paris-SaclayDirección de correo verificada de cea.fr
