Publications

2025

• Tahini: Practical and attestable end-to-end privacy compliance in distributed systems
  Alexandre Doukhan
  Masters Thesis, EPFL, September 2025

  Publication incoming...

• PEAR: Practical Interprocedural Analyses in Rust
  Artem Agvanian
  Honors Thesis, Brown University, May 2025

  @thesis{artem-honorsthesis,
    title        = {P{EAR}: {Practical Interprocedural Analyses in Rust}},
    author       = {Artem Agvanian},
    school       = {Brown University},
    year         = 2025,
    month        = 5,
    type         = {Honors Thesis}
  }

• Sniffer: Surfacing Dangerous Unsafe Code in Rust
  Corinn Tiffany
  Honors Thesis, Brown University, May 2025

  @thesis{corinn-honorsthesis,
    title        = {Sniffer: {Surfacing Dangerous Unsafe Code in Rust}},
    author       = {Corinn Tiffany},
    school       = {Brown University},
    year         = 2025,
    month        = 5,
    type         = {Honors Thesis}
  }

• Practical privacy via new systems and abstractions
  Kinan Dak Albab
  Ph.D. Dissertation, Brown University, May 2025

  @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

• 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, and Malte Schwarzkopf
  SOSP 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

• K9db: Privacy-Compliant storage for web applications by construction
  Kinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron Jeyaraj, Raj Paul, Artem Agvanian, Leonhard Spiegelberg, and Malte Schwarzkopf
  OSDI 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

• Batched Differentially Private Information Retrieval
  Kinan Dak Albab, Rawane Issa, Mayank Varia, and Kalman Graffi
  USENIX Security 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
  }

• 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, and Minlan Yu
  SIGCOMM 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

• Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF
  Kinan Dak Albab, Rawane Issa, Andrei Lapets, Peter Flockhart, Lucy Qin, and Ira Globus-Harris
  IEEE SecDev 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

• From usability to secure computing and back again
  Lucy Qin, Andrei Lapets, Frederick Jansen, Peter Flockhart, Kinan Dak Albab, Ira Globus-Harris, Shannon Roberts, and Mayank Varia
  USENIX SOUPS 2019

  @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
  }

• Accessible privacy-preserving web-based data analysis for assessing and addressing economic inequalities
  Andrei Lapets, Frederick Jansen, Kinan Dak Albab, Rawane Issa, Lucy Qin, Mayank Varia, and Azer Bestavros
  ACM COMPASS 2018

  @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
  }