Kinan Dak Albab
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SOSP | Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions. | Kinan Dak Albab, Artem Agvanian, Allen Aby, Corinn Tiffany, Alexander Portland, Sarah Ridley, Malte Schwarzkopf |
| 2023 | OSDI | K9db: Privacy-Compliant Storage For Web Applications By Construction. | Kinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron R. Jeyaraj, Raj Paul, Artem Agvanian, Leonhard F. Spiegelberg, Malte Schwarzkopf |
| 2022 | SIGCOMM | SwitchV: automated SDN switch validation with P4 models. | Kinan Dak Albab, Jonathan DiLorenzo, Stefan Heule, Ali Kheradmand, Steffen Smolka, Konstantin Weitz, Muhammad Timarzi, Jiaqi Gao, Minlan Yu |
| 2019 | SOUPS | From Usability to Secure Computing and Back Again. | Lucy Qin, Andrei Lapets, Frederick Jansen, Peter Flockhart, Kinan Dak Albab, Ira Globus-Harris, Shannon Roberts, Mayank Varia |
| 2017 | SP | Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization. | Kinan Dak Albab, Rawane Issa, Andrei Lapets, Azer Bestavros, Nikolaj Volgushev |
| 2017 | SSS | Brief Announcement: Federated Code Auditing and Delivery for MPC. | Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia |