Rami Gökhan Kici

According to our database, Rami Gökhan Kici authored at least 9 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Automatically eliminating speculative leaks from cryptographic code with blade.

Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan

Proc. ACM Program. Lang., 2021

Solver-Aided Constant-Time Circuit Verification.

Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala

CoRR, 2021

Solver-Aided Constant-Time Hardware Verification.

Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala

Proceedings of the CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, November 15, 2021

2020

Verifying Constant-Time Execution of Hardware.

Rami Gökhan Kici

PhD thesis, 2020

Automatically Eliminating Speculative Leaks With Blade.

Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala

CoRR, 2020

2019

Pretend synchrony: synchronous verification of asynchronous distributed programs.

Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala

Proc. ACM Program. Lang., 2019

IODINE: Verifying Constant-Time Execution of Hardware.

Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala

Proceedings of the 28th USENIX Security Symposium, 2019

2017

Verifying distributed programs via canonical sequentialization.

Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala

Proc. ACM Program. Lang., 2017

2016

Protecting C++ Dynamic Dispatch Through VTable Interleaving.

Dimitar Bounov, Rami Gökhan Kici, Sorin Lerner

Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016