Publications
Papers and theses authored by SPACE members! This list includes some of Kinan's older papers that are relevant to the research we do at SPACE.
2025
-
Publication incoming...
-
@thesis{artem-honorsthesis, title = {P{EAR}: {Practical Interprocedural Analyses in Rust}}, author = {Artem Agvanian}, school = {Brown University}, year = 2025, month = 5, type = {Honors Thesis} } -
@thesis{corinn-honorsthesis, title = {Sniffer: {Surfacing Dangerous Unsafe Code in Rust}}, author = {Corinn Tiffany}, school = {Brown University}, year = 2025, month = 5, type = {Honors Thesis} } -
@thesis{kinan-phd, title = {Practical Privacy via New Systems and Abstractions}, author = {Kinan Dak Albab}, school = {Brown University}, year = 2025, month = 5, type = {Ph.D. Dissertation} }
2024
-
@inproceedings{sesame, title = {Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions}, author = {Dak Albab, Kinan and Agvanian, Artem and Aby, Allen and Tiffany, Corinn and Portland, Alexander and Ridley, Sarah and Schwarzkopf, Malte}, booktitle = {Proceedings of the 30th Symposium on Operating Systems Principles (SOSP)}, pages = {709--725}, month = 11, year = 2024 }
2023
-
@inproceedings{k9db, title = {K9db: Privacy-Compliant Storage For Web Applications By Construction}, author = {Dak Albab, Kinan and Sharma, Ishan and Adam, Justus and Kilimnik, Benjamin and Jeyaraj, Aaron and Paul, Raj and Agvanian, Artem and Spiegelberg, Leonhard and Schwarzkopf, Malte}, booktitle = {Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI)}, pages = {99--116}, month = 7, year = 2023 }
2022
-
@inproceedings{dppir, title = {Batched {Differentially Private Information Retrieval}}, author = {Dak Albab, Kinan and Issa, Rawane and Varia, Mayank and Graffi, Kalman}, booktitle = {Proceedings of the 31st USENIX Security Symposium (USENIX Security)}, pages = {3327-3344}, month = 8, year = 2022 } -
@inproceedings{switchv, title = {Switch{V}: {Automated SDN Switch Validation with P4 Models}}, author = {Dak Albab, Kinan and DiLorenzo, Jonathan and Heule, Stefan and Kheradmand, Ali and Smolka, Steffen and Weitz, Konstantin and Timarzi, Muhammad and Gao, Jiaqi and Yu, Minlan}, booktitle = {Proceedings of the ACM Special Interest Group on Data Communication (SIGCOMM)}, pages = {365--379}, month = 8 year = 2022, }
2019
-
@inproceedings{jiff, title = {Tutorial: Deploying secure multi-party computation on the web using JIFF}, author = {Dak Albab, Kinan and Issa, Rawane and Lapets, Andrei and Flockhart, Peter and Qin, Lucy and Globus-Harris, Ira}, booktitle = {Proceedings of the 2019 IEEE Secure Development Conference (SecDev)}, pages = {3--3}, month = 9, year = 2019 }
2018
-
@inproceedings{qin2019usability, title = {From usability to secure computing and back again}, author = {Qin, Lucy and Lapets, Andrei and Jansen, Frederick and Flockhart, Peter and Dak Albab, Kinan and Globus-Harris, Ira and Roberts, Shannon and Varia, Mayank}, booktitle = {Proceedings of the 15th USENIX Symposium on Usable Privacy and Security (SOUPS 2019)}, pages = {191--210}, month = 8, year = 2019 } -
@inproceedings{lapets2018accessible, title = {Accessible privacy-preserving web-based data analysis for assessing and addressing economic inequalities}, author = {Lapets, Andrei and Jansen, Frederick and Dak Albab, Kinan and Issa, Rawane and Qin, Lucy and Varia, Mayank and Bestavros, Azer}, booktitle = {Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies (COMPASS)}, pages = {1--5}, month = 6, year = 2018 }