Concepedia

Rami Gökhan Kıcı

RG

6

Publications

224

Citations

6

H-Index

2016

Active since

Affiliations

University of California San Diego(Current)

Rami Gökhan Kıcı is an author at University of California San Diego specializing in engineering, computer science, and verification.

Top concepts

EngineeringComputer ScienceVerificationFormal VerificationCryptographyFormal MethodsProgram AnalysisHardware SecuritySoftware AnalysisComputer Engineering

Publications per year

2016–2023

6

Publications

6

Pretend synchrony: synchronous verification of asynchronous distributed programs

Klaus von Gleissenthall, Rami Gökhan Kıcı, Alexander Bakst et al. · Proceedings of the ACM on Programming Languages · 2019 · 58 citations · Full text

Synchronous Verification, Engineering, Verification +18

Protecting C++ Dynamic Dispatch Through VTable Interleaving

Dimitar Bounov, Rami Gökhan Kıcı, Sorin Lerner · 2016 · 55 citations

Hardware Security, Engineering, Os-level Virtualization +5

Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade

Marco Vassena, Craig Disselkoen, Rami Gökhan Kıcı et al. · Figshare · 2023 · 49 citations · Full text

Verifying distributed programs via canonical sequentialization

Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kıcı et al. · Proceedings of the ACM on Programming Languages · 2017 · 31 citations · Full text

Program Checking, Engineering, Verification +20

Iodine: Verifying Constant-Time Execution of Hardware

Klaus von Gleissenthall, Rami Gökhan Kıcı, Deian Stefan et al. · arXiv (Cornell University) · 2019 · 16 citations · Full text

Engineering, Hardware Verification Language, Information Security +21

Rows per page

1–5 of 6