Folgen
Baris Kasikci
Titel
Zitiert von
Zitiert von
Jahr
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
8742018
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, ...
1672018
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
1412012
RaceMob: Crowdsourced data race detection
B Kasikci, C Zamfir, G Candea
[SOSP] ACM Symposium on Operating Systems Principles, 406-422, 2013
1092013
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
802015
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
742019
Cntr: Lightweight OS Containers
J Thalheim, P Bhatotia, P Fonseca, B Kasikci
2018 {USENIX} Annual Technical Conference ({USENIX}{ATC} 18), 199-212, 2018
652018
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
592018
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
462019
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
312019
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
302017
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
282020
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
262014
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
242020
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
222015
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
212021
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
172020
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
172019
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
172013
Lockout: Efficient Testing for Deadlock Bugs
A Kheradmand, B Kasikci, G Candea
[WODET] Workshop on Determinism and Correctness in Parallel Programming, 2013
162013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20