| Foreshadow: Extracting the keys to the intel SGX kingdom with transient out-of-order execution J Van Bulck, M Minkin, O Weisse, D Genkin, B Kasikci, F Piessens, ... 27th USENIX Security Symposium (USENIX Security 18), 991–1008, 2018 | 848 | 2018 |
| Foreshadow-NG: Breaking the virtual memory abstraction with transient out-of-order execution O Weisse, J Van Bulck, M Minkin, D Genkin, B Kasikci, F Piessens, ... | 170 | 2018 |
| Data Races vs. Data Race Bugs: Telling the Difference with Portend B Kasikci, C Zamfir, G Candea [ASPLOS] International Conference Architectural Support for Programming …, 2012 | 139 | 2012 |
| RaceMob: Crowdsourced data race detection B Kasikci, C Zamfir, G Candea [SOSP] ACM Symposium on Operating Systems Principles, 406-422, 2013 | 108 | 2013 |
| Failure Sketching: A Technique for Automated Root Cause Diagnosis of In-Production Failures B Kasikci, B Schubert, C Pereira, G Pokam, G Candea [SOSP] ACM Symposium on Operating Systems Principles, 2015 | 79 | 2015 |
| NDA: Preventing speculative execution attacks at their source O Weisse, I Neal, K Loughlin, TF Wenisch, B Kasikci Proceedings of the 52nd Annual IEEE/ACM International Symposium on …, 2019 | 70 | 2019 |
| Cntr: Lightweight OS Containers J Thalheim, P Bhatotia, P Fonseca, B Kasikci 2018 {USENIX} Annual Technical Conference ({USENIX}{ATC} 18), 199-212, 2018 | 65 | 2018 |
| REPT: Reverse Debugging of Failures in Deployed Software W Cui, X Ge, B Kasikci, B Niu, U Sharma, R Wang, I Yun 13th {USENIX} Symposium on Operating Systems Design and Implementation …, 2018 | 59 | 2018 |
| Morpheus: A vulnerability-tolerant secure architecture based on ensembles of moving target defenses with churn M Gallagher, L Biernacki, S Chen, ZB Aweke, SF Yitbarek, MT Aga, ... Proceedings of the Twenty-Fourth International Conference on Architectural …, 2019 | 40 | 2019 |
| I4: incremental inference of inductive invariants for verification of distributed protocols H Ma, A Goel, JB Jeannin, M Kapritsos, B Kasikci, KA Sakallah Proceedings of the 27th ACM Symposium on Operating Systems Principles, 370-384, 2019 | 28 | 2019 |
| Lazy diagnosis of in-production concurrency bugs B Kasikci, W Cui, X Ge, B Niu Proceedings of the 26th Symposium on Operating Systems Principles, 582-598, 2017 | 28 | 2017 |
| Efficient Tracing of Cold Code via Bias-Free Sampling B Kasikci, T Ball, G Candea, J Erickson, M Musuvathi [USENIX ATC] 2014 USENIX Annual Technical Conference, 2014 | 26 | 2014 |
| AGAMOTTO: How Persistent is your Persistent Memory Application? I Neal, B Reeves, B Stoler, A Quinn, Y Kwon, S Peter, B Kasikci 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2020 | 24 | 2020 |
| A hypervisor for shared-memory FPGA platforms J Ma, G Zuo, K Loughlin, X Cheng, Y Liu, AM Eneyew, Z Qi, B Kasikci Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020 | 22 | 2020 |
| Automated Classification of Data Races Under Both Strong and Weak Memory Models B Kasikci, C Zamfir, G Candea [TOPLAS] ACM Transactions on Programming Languages and Systems 37 (3), 8, 2015 | 22 | 2015 |
| DOLMA: Securing Speculation with the Principle of Transient Non-Observability K Loughlin, I Neal, J Ma, E Tsai, O Weisse, S Narayanasamy, B Kasikci 30th {USENIX} Security Symposium ({USENIX} Security 21), 2021 | 19 | 2021 |
| I-spy: Context-driven conditional instruction prefetching with coalescing TA Khan, A Sriraman, J Devietti, G Pokam, H Litz, B Kasikci 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture …, 2020 | 18 | 2020 |
| Breaking virtual memory protection and the SGX ecosystem with foreshadow J Van Bulck, M Minkin, O Weisse, D Genkin, B Kasikci, F Piessens, ... Ieee Micro 39 (3), 66-74, 2019 | 17 | 2019 |
| Automated debugging for arbitrarily long executions C Zamfir, BCC Kasikci, J Kinder, E Bugnion, G Candea [HotOS] Workshop on Hot Topics in Operating Systems, 2013 | 17 | 2013 |
| Lockout: Efficient Testing for Deadlock Bugs A Kheradmand, B Kasikci, G Candea [WODET] Workshop on Determinism and Correctness in Parallel Programming, 2013 | 16 | 2013 |
George CandeaAssociate Professor of Computer Science, EPFL (Lausanne, Switzerland)Verified email at epfl.ch
