| 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 | 235 | 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 | 108 | 2012 |
| RaceMob: Crowdsourced data race detection B Kasikci, C Zamfir, G Candea [SOSP] ACM Symposium on Operating Systems Principles, 406-422, 2013 | 79 | 2013 |
| Droidsieve: Fast and accurate classification of obfuscated android malware G Suarez-Tangil, SK Dash, M Ahmadi, J Kinder, G Giacinto, L Cavallaro Proceedings of the Seventh ACM on Conference on Data and Application …, 2017 | 78 | 2017 |
| 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, ... | 54 | 2018 |
| 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 | 51 | 2015 |
| 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 | 19 | 2014 |
| 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 | 18 | 2015 |
| Cntr: Lightweight {OS} Containers J Thalheim, P Bhatotia, P Fonseca, B Kasikci 2018 {USENIX} Annual Technical Conference ({USENIX}{ATC} 18), 199-212, 2018 | 16 | 2018 |
| 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 | 15 | 2013 |
| Lockout: Efficient Testing for Deadlock Bugs A Kheradmand, B Kasikci, G Candea [WODET] Workshop on Determinism and Correctness in Parallel Programming, 2013 | 13 | 2013 |
| Scalable modeling of software product line variability B Kasikci, S Bilgen [SCALE], Workshop on Scalable Modeling Techniques for Software Product Lines …, 2009 | 10 | 2009 |
| 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 | 8 | 2018 |
| 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 | 6 | 2017 |
| 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 | 5 | 2019 |
| CORD: A Collaborative Framework for Distributed Data Race Detection B Kasikci, C Zamfir, G Candea [HotDep] Presented as part of the Eighth Workshop on Hot Topics in System …, 2012 | 5 | 2012 |
| 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 | 4 | 2019 |
| Failure Sketches: A Better Way to Debug B Kasikci, C Pereira, G Pokam, B Schubert, M Musuvathi, G Candea [HotOS] 15th Workshop on Hot Topics in Operating Systems, 2015 | 4 | 2015 |
| Huron: hybrid false sharing detection and repair TA Khan, Y Zhao, G Pokam, B Mozafari, B Kasikci Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019 | 1 | 2019 |
| 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 | 1 | 2019 |
George CandeaAssociate Professor of Computer Science, EPFL (Lausanne, Switzerland)Verified email at epfl.ch
