Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures M Bognar, J Van Bulck, F Piessens 43rd IEEE Symposium on Security and Privacy (S&P), 2022 | 23 | 2022 |
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), 2023 | 21* | 2023 |
MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling M Bognar, H Winderix, J Van Bulck, F Piessens IEEE European Symposium on Security and Privacy (EuroS&P ‘23), 2023 | 11 | 2023 |
ShowTime: Amplifying Arbitrary CPU Timing Side Channels A Purnal, M Bognar, F Piessens, I Verbauwhede ACM SIGSAC Asia Conference on Computer and Communications Security (AsiaCCS '23), 2023 | 11 | 2023 |
Proteus: An Extensible RISC-V Core for Hardware Extensions M Bognar, J Noorman, F Piessens RISC-V Summit Europe '23, 2023 | 5 | 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 45th IEEE Symposium on Security and Privacy (S&P), 2024 | 4 | 2024 |
Intellectual Property Exposure: Subverting and Securing Intellectual Property Encapsulation in Texas Instruments Microcontrollers M Bognar, C Magnus, F Piessens, J Van Bulck 33rd USENIX Security Symposium (USENIX Security 24), 2024 | 3 | 2024 |
Kuifje: a Quantitative Information Flow aware programming language M Bognar https://github.com/martonbognar/kuifje, 2019 | 2 | 2019 |
Breaking and Securing Memory Isolation in Texas Instruments Microcontrollers M Bognár, J Van Bulck RuhrSec, Location: Bochum, Germany, 2025 | | 2025 |
AttackDefense Framework (ADF): Enhancing IoT Devices and Lifecycles Threat Modeling T Sacchetti, M Bognar, J De Meulemeester, B Gierlichs, F Piessens, ... ACM Transactions on Embedded Computing Systems, 2024 | | 2024 |
Exploring Informal References in Cyber Security Papers M Bognár, V Le Pochat, L Desmet, W Joosen, F Piessens 33rd USENIX Security Symposium, Date: 2024/08/14-2024/08/16, Location …, 2024 | | 2024 |
Towards Extensible Memory Isolation for Low-End Microcontrollers M Bognár, J Van Bulck 8th IEEE European Symposium on Security and Privacy, Location: Vienna, Austria, 2024 | | 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 |
Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors H Winderix, M Bognar, LA Daniel, F Piessens ACM SIGSAC Conference on Computer and Communications Security (CCS ’24), 2024 | | 2024 |
ShowTime: CPU Timing Attacks With the Human Eye A Purnal, M Bognár RuhrSec, Location: Bochum, Germany, 2023 | | 2023 |
Analyzing side-channel leakage in secure DMA solutions M Bognár KU Leuven, 2020 | | 2020 |