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 | 77 | 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 | 47 | 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 | 33 | 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 | 12 | 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 | 10* | 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 | 2 | 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-IEEE S&P 2024, 2023 | 2 | 2023 |
Architectural Mimicry: Innovative Instructions to Efficiently Address Control-Flow Leakage in Data-Oblivious Programs H Winderix, M Bognar, J Noorman, LA Daniel, F Piessens 2024 IEEE Symposium on Security and Privacy (SP), 47-47, 2023 | 1 | 2023 |
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 | 1 | 2021 |
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 |
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 | | 2024 |
Evaluating a Processing-in-Memory Architecture with the k-means Algorithm S Bihel, LA Daniel, F De Moor, B Thomas | | 2017 |