Rami Gökhan Kici

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 9

Top Topics

Formal Verification

Execution Model

Top Venues

Proc. ACM Program. Lang.

USENIX Security Symposium

Publications

Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala
Solver-Aided Constant-Time Circuit Verification. CoRR (2021)
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
Solver-Aided Constant-Time Hardware Verification. CCS (2021)
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
Automatically eliminating speculative leaks from cryptographic code with blade. Proc. ACM Program. Lang. 5 (POPL) (2021)
Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
Automatically Eliminating Speculative Leaks With Blade. CoRR (2020)
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
IODINE: Verifying Constant-Time Execution of Hardware. USENIX Security Symposium (2019)
Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala
Pretend synchrony: synchronous verification of asynchronous distributed programs. Proc. ACM Program. Lang. 3 (POPL) (2019)
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
Iodine: Verifying Constant-Time Execution of Hardware. CoRR (2019)
Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala
Verifying distributed programs via canonical sequentialization. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Dimitar Bounov, Rami Gökhan Kici, Sorin Lerner
Protecting C++ Dynamic Dispatch Through VTable Interleaving. NDSS (2016)