Baris Kasikci
Title
Cited by
Cited by
Year
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
5842018
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
1462017
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
1272012
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, ...
1262018
RaceMob: Crowdsourced data race detection
B Kasikci, C Zamfir, G Candea
[SOSP] ACM Symposium on Operating Systems Principles, 406-422, 2013
972013
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
642015
Cntr: Lightweight OS Containers
J Thalheim, P Bhatotia, P Fonseca, B Kasikci
2018 {USENIX} Annual Technical Conference ({USENIX}{ATC} 18), 199-212, 2018
422018
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
392019
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
292018
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
252014
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
202015
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
192019
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
162017
Lockout: Efficient Testing for Deadlock Bugs
A Kheradmand, B Kasikci, G Candea
[WODET] Workshop on Determinism and Correctness in Parallel Programming, 2013
152013
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
142013
Scalable modeling of software product line variability
B Kasikci, S Bilgen
[SCALE], Workshop on Scalable Modeling Techniques for Software Product Lines …, 2009
102009
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
92019
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
92019
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 …, 2020
72020
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
72012
The system can't perform the operation now. Try again later.
Articles 1–20