| CIVSCOPE: Analyzing Potential Memory Corruption Bugs in Compartment Interfaces Y Chien, VA Bădoiu, Y Yang, Y Huo, K Kaoudis, H Lefeuvre, P Olivier, ... Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification …, 2023 | 2 | 2023 |
| Automatically Detecting Variability Bugs Through Hybrid Control and Data Flow Analysis K Kaoudis, H Brodin, E Sultanik 2023 IEEE Security and Privacy Workshops (SPW), 187-197, 2023 | 2 | 2023 |
| Whole-Program Privilege and Compartmentalization Analysis with the Object-Encapsulation Model Y Yang, W Huang, K Kaoudis, N Dautenhahn 2023 IEEE Security and Privacy Workshops (SPW), 1-12, 2023 | 1 | 2023 |
| PolyTracker: Whole-Input Dynamic Information Flow Tracing E Sultanik, M Surovič, H Brodin, K Kaoudis, F Tuesca, C Harmon, ... Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024 | | 2024 |
| Endokernel: A Thread Safe Monitor for Lightweight Subprocess Isolation F Yang, B Im, W Huang, K Kaoudis, A Vahldiek-Oberwagner, CC Tsai, ... 33rd USENIX Security Symposium (USENIX Security 24), 145-162, 2024 | | 2024 |
| Endoprocess: Programmable and Extensible Subprocess Isolation F Yang, W Huang, K Kaoudis, A Vahldiek-Oberwagner, N Dautenhahn Proceedings of the 2023 New Security Paradigms Workshop, 92-101, 2023 | | 2023 |
| Augmenting cloud architectures to support decentralized applications M Coughlin, K Kaoudis, E Keller 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM …, 2017 | | 2017 |
| SPW 2023 C Gupta, T van Ede, K Lim, JH Kang, D Kim | | |
