Protecting C++ Dynamic Dispatch Through VTable Interleaving. - Dimitar Bounov; Rami Gökhan Kici; Sorin Lerner (NDSS, 2016)

Verifying distributed programs via canonical sequentialization. - Alexander Bakst; Klaus von Gleissenthall; Rami Gökhan Kici; Ranjit Jhala (Proc. ACM Program. Lang., 2017)

IODINE: Verifying Constant-Time Execution of Hardware. - Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (USENIX Security Symposium, 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)

Automatically Eliminating Speculative Leaks With Blade. - Marco Vassena; Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (CoRR, 2020)

Verifying Constant-Time Execution of Hardware. - Rami Gökhan Kici (2020)

Solver-Aided Constant-Time Hardware Verification. - Klaus von Gleissenthall; Rami Gökhan Kici; Deian Stefan; Ranjit Jhala (CCS, 2021)

Solver-Aided Constant-Time Circuit Verification. - Rami Gökhan Kici; Klaus von Gleissenthall; Deian Stefan; Ranjit Jhala (CoRR, 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)

Projective Model Counting for IP Addresses in Access Control Policies. - Loris D'Antoni; Andrew Gacek; Amit Goel; Dejan Jovanovic; Rami Gökhan Kici; Daniel Peebles; Neha Rungta; Yasmine Sharoda; Chungha Sung (FMCAD, 2024)