| Cascade: CPU fuzzing via intricate program generation F Solt, K Ceesay-Seitz, K Razavi Proc. 33rd USENIX Secur. Symp, 1-18, 2024 | 9 | 2024 |
| Security-enhancing digital twins: Characteristics, indicators, and future perspectives M Eckhart, A Ekelhart, D Allison, M Almgren, K Ceesay-Seitz, H Janicke, ... IEEE Security & Privacy 21 (6), 64-75, 2023 | 9 | 2023 |
| A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) K Ceesay-Seitz, H Boukabache, D Perrin International Conference on Computer Safety, Reliability, and Security, 67-81, 2020 | 6 | 2020 |
| ROMULUSLib: An Autonomous, TCP/IP-Based, Multi-Architecture C Networking Library for DAQ and Control Applications A Yadav, H Boukabache, N Gerber, K Ceesay-Seitz, D Perrin | 3 | 2021 |
| Automated verification of a System-on-Chip for radiation protection fulfilling Safety Integrity Level 2 K Ceesay-Seitz Vienna, Tech. U., 2019 | 3 | 2019 |
| RomLibEmu: Network Interface Stress Tests for the CERN Radiation Monitoring Electronics (CROME) K Ceesay-Seitz, H Boukabache, M Leveneur, D Perrin | 2 | 2021 |
| Formal Property Verification of the Digital Section of an Ultra-Low Current Digitizer ASIC K Ceesay-Seitz, S Kundumattathil Mohanan, H Boukabache, D Perrin Design & Verification Conference Europe 2021, 2021 | 2 | 2021 |
| Semi-formal reformulation of requirements for formal property verification K Ceesay-Seitz, H Boukabache, D Perrin | 1 | 2019 |
| μCFI: Formal Verification of Microarchitectural Control-flow Integrity K Ceesay-Seitz, F Solt, K Razavi Proceedings of the 2024 on ACM SIGSAC Conference on Computer and …, 2024 | | 2024 |
| 3.2 Modelling in the Safety Lifecycle of Radiation Monitoring Systems at CERN K Ceesay-Seitz Digital Twins for Cyber-Physical Systems Security, 60, 0 | | |
