| 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 | 375 | 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 | 117 | 2012 |
| 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 | 110 | 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, ... | 88 | 2018 |
| RaceMob: Crowdsourced data race detection B Kasikci, C Zamfir, G Candea [SOSP] ACM Symposium on Operating Systems Principles, 406-422, 2013 | 87 | 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 | 53 | 2015 |
| Cntr: Lightweight {OS} Containers J Thalheim, P Bhatotia, P Fonseca, B Kasikci 2018 {USENIX} Annual Technical Conference ({USENIX}{ATC} 18), 199-212, 2018 | 21 | 2018 |
| 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 | 20 | 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 | 19 | 2015 |
| 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 | 15 | 2018 |
| Lockout: Efficient Testing for Deadlock Bugs A Kheradmand, B Kasikci, G Candea [WODET] Workshop on Determinism and Correctness in Parallel Programming, 2013 | 13 | 2013 |
| 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 | 12 | 2013 |
| 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 | 11 | 2019 |
| 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 | 10 | 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 | 10 | 2017 |
| Scalable modeling of software product line variability B Kasikci, S Bilgen [SCALE], Workshop on Scalable Modeling Techniques for Software Product Lines …, 2009 | 10 | 2009 |
| 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 | 6 | 2012 |
| 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 | 5 | 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 |
| 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 | 2 | 2019 |
George CandeaAssociate Professor of Computer Science, EPFL (Lausanne, Switzerland)Verified email at epfl.ch
