Rami Gökhan Kici

12 papers A* 3B 2Journal 6
YearRankTypeTitle / Venue / Authors
2025 B conf
Modeling the AWS Authorization Engine.
FMCAD
Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gökhan Kici, Neha Rungta, Mary Southern, Chungha Sung
2024 B conf
Projective Model Counting for IP Addresses in Access Control Policies.
FMCAD
Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gökhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung
2021 J jnl
Automatically eliminating speculative leaks from cryptographic code with blade.
Proc. ACM Program. Lang.
Marco Vassena, Craig Disselkoen, Klaus von Gleissenthall, Sunjay Cauligi, Rami Gökhan Kici, Ranjit Jhala, Dean M. Tullsen, Deian Stefan
2021 J jnl
Solver-Aided Constant-Time Circuit Verification.
CoRR
Rami Gökhan Kici, Klaus von Gleissenthall, Deian Stefan, Ranjit Jhala
2021 A* conf
Solver-Aided Constant-Time Hardware Verification.
CCS
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2020 J jnl
Automatically Eliminating Speculative Leaks With Blade.
CoRR
Marco Vassena, Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2020 — —
Verifying Constant-Time Execution of Hardware.
Rami Gökhan Kici
2019 A* conf
IODINE: Verifying Constant-Time Execution of Hardware.
USENIX Security Symposium
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2019 J jnl
Iodine: Verifying Constant-Time Execution of Hardware.
CoRR
Klaus von Gleissenthall, Rami Gökhan Kici, Deian Stefan, Ranjit Jhala
2019 J jnl
Pretend synchrony: synchronous verification of asynchronous distributed programs.
Proc. ACM Program. Lang.
Klaus von Gleissenthall, Rami Gökhan Kici, Alexander Bakst, Deian Stefan, Ranjit Jhala
2017 J jnl
Verifying distributed programs via canonical sequentialization.
Proc. ACM Program. Lang.
Alexander Bakst, Klaus von Gleissenthall, Rami Gökhan Kici, Ranjit Jhala
2016 A* conf
Protecting C++ Dynamic Dispatch Through VTable Interleaving.
NDSS
Dimitar Bounov, Rami Gökhan Kici, Sorin Lerner