Follow
Rami Gökhan Kıcı
Rami Gökhan Kıcı
Applied Scientist, Amazon Web Services
Verified email at eng.ucsd.edu - Homepage
Title
Cited by
Cited by
Year
Protecting C++ Dynamic Dispatch Through VTable Interleaving.
D Bounov, RG Kici, S Lerner
NDSS, 2016
982016
Automatically eliminating speculative leaks from cryptographic code with blade
M Vassena, C Disselkoen, K Gleissenthall, S Cauligi, RG Kıcı, R Jhala, ...
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
792021
Pretend synchrony: synchronous verification of asynchronous distributed programs
K v. Gleissenthall, RG Kıcı, A Bakst, D Stefan, R Jhala
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
642019
{IODINE}: Verifying {Constant-Time} Execution of Hardware
K Gleissenthall, RG Kıcı, D Stefan, R Jhala
28th USENIX Security Symposium (USENIX Security 19), 1411-1428, 2019
312019
Verifying distributed programs via canonical sequentialization
A Bakst, K Gleissenthall, RG Kıcı, R Jhala
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-27, 2017
312017
Solver-aided constant-time hardware verification
K v. Gleissenthall, RG Kıcı, D Stefan, R Jhala
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications …, 2021
72021
Pretend synchrony: synchronous verification of asynchronous distributed programs. PACMPL 3 (POPL), 59: 1–59: 30 (2019)
K von Gleissenthall, RG Kici, A Bakst, D Stefan, R Jhala
4
Protecting Cplusplus dynamic dispatch through vtable interleaving
D Bounov, RG Kici, S Lerner
Proceedings of the cnum23rd Network and Distributed System Security …, 2016
22016
Solver-Aided Constant-Time Hardware Verification
RG Kıcı, D Stefan, R Jhala
2021 ACM SIGSAC Conference on Computer and Communications Security, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–9