Baris Kasikci
Baris Kasikci
Verifierad e-postadress på umich.edu - Startsida
Titel
Citeras av
Citeras av
År
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
4022018
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
1202012
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
1132017
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, ...
972018
RaceMob: Crowdsourced data race detection
B Kasikci, C Zamfir, G Candea
[SOSP] ACM Symposium on Operating Systems Principles, 406-422, 2013
872013
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
552015
Cntr: Lightweight {OS} Containers
J Thalheim, P Bhatotia, P Fonseca, B Kasikci
2018 {USENIX} Annual Technical Conference ({USENIX}{ATC} 18), 199-212, 2018
242018
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
202014
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
192015
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
172018
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
152019
Lockout: Efficient Testing for Deadlock Bugs
A Kheradmand, B Kasikci, G Candea
[WODET] Workshop on Determinism and Correctness in Parallel Programming, 2013
132013
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
122013
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
112017
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
102019
Scalable modeling of software product line variability
B Kasikci, S Bilgen
[SCALE], Workshop on Scalable Modeling Techniques for Software Product Lines …, 2009
102009
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
62019
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
62012
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
42015
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
32019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20