Rami Gkhan Kici
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | Modeling the AWS Authorization Engine. | Lee A. Barnett, Loris D'Antoni, Amit Goel, Rami Gkhan Kici, Neha Rungta, Mary Southern, Chungha Sung |
| 2024 | FMCAD | Projective Model Counting for IP Addresses in Access Control Policies. | Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gkhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung |
| 2021 | CCS | Solver-Aided Constant-Time Hardware Verification. | Klaus von Gleissenthall, Rami Gkhan Kici, Deian Stefan, Ranjit Jhala |
| 2016 | NDSS | Protecting C++ Dynamic Dispatch Through VTable Interleaving. | Dimitar Bounov, Rami Gkhan Kici, Sorin Lerner |