Rami Gökhan Kici

Orcid: 0000-0003-1250-6001

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Automatically eliminating speculative leaks from cryptographic code with blade.
Proc. ACM Program. Lang., 2021

Solver-Aided Constant-Time Circuit Verification.
CoRR, 2021

Solver-Aided Constant-Time Hardware Verification.
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.
PhD thesis, 2020

Automatically Eliminating Speculative Leaks With Blade.
CoRR, 2020

2019
Pretend synchrony: synchronous verification of asynchronous distributed programs.
Proc. ACM Program. Lang., 2019

IODINE: Verifying Constant-Time Execution of Hardware.
Proceedings of the 28th USENIX Security Symposium, 2019

2017
Verifying distributed programs via canonical sequentialization.
Proc. ACM Program. Lang., 2017

2016
Protecting C++ Dynamic Dispatch Through VTable Interleaving.
Proceedings of the 23rd Annual Network and Distributed System Security Symposium, 2016


  Loading...