Kinan Dak Albab

Assistant Professor

SPACE Lab
Faculty of Computing & Data Sciences, Boston University
Office: CDS 1336
Email: babman [at] bu [dot] edu

Interests: Computer systems, privacy-conscious systems, security, applied cryptography.

Publications

The list below is grouped by year. See also my Google Scholar profile.

2026

• We Need to Talk About the Actual Guarantees of Rust-based Systems
  Corinn Tiffany, Artem Agvanian, Ziyun Song, Isabella Szabo, Kinan Dak Albab, Will Crichton, Philip Levis, Akshay Narayan, Deepti Raghavan, Malte Schwarzkopf
  PLOS 2026

2024

• Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions [ACM]
  Kinan Dak Albab, Artem Agvanian, Allen Aby, Corinn Tiffany, Alexander Portland, Sarah Ridley, Malte Schwarzkopf
  SOSP 2024

2023

• K9db: Privacy-Compliant Storage for Web Applications by Construction [USENIX]
  Kinan Dak Albab, Ishan Sharma, Justus Adam, Benjamin Kilimnik, Aaron R. Jeyaraj, Raj Paul, Artem Agvanian, Leonhard F. Spiegelberg, Malte Schwarzkopf
  OSDI 2023

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, Minlan Yu
  SIGCOMM 2022
• Batched Differentially Private Information Retrieval [USENIX] [extended version]
  Kinan Dak Albab, Rawane Issa, Mayank Varia, Kalman Graffi
  USENIX Security 2022

2019

• Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF [IEEE]
  Kinan Dak Albab, Rawane Issa, Andrei Lapets, Peter Flockhart, Lucy Qin, Ira Globus-Harris
  IEEE SecDev 2019
• Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications
  Andrei Lapets, Kinan Dak Albab, Rawane Issa, Lucy Qin, Mayank Varia, Azer Bestavros, Frederick Jansen
  IEEE SecDev 2019
• 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
  SOUPS 2019

2018

• Model and Program Repair via SAT Solving [ACM]
  Paul C. Attie, Kinan Dak Albab, Mouhammad Sakr
  ACM Transactions on Embedded Computing Systems (TECS) 2018
• 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, Azer Bestavros
  COMPASS 2018
• A High-Level Modeling Language for the Efficient Design, Implementation, and Testing of Android Applications
  Mohamad Jaber, Yliès Falcone, Kinan Dak Albab, John Abou-Jaoudeh, Mostafa El-Katerji
  International Journal on Software Tools for Technology Transfer (STTT) 2018

2017

• Scalable Secure Multi-Party Network Vulnerability Analysis via Symbolic Optimization
  Kinan Dak Albab, Rawane Issa, Andrei Lapets, Azer Bestavros, Nikolaj Volgushev
  IEEE Security and Privacy Workshops (SPW) 2017
• Brief Announcement: Federated Code Auditing and Delivery for MPC
  Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia
  SSS 2017

2015

• Model and Program Repair via SAT Solving
  Paul C. Attie, Ali Cherri, Kinan Dak Albab, Mouhammad Sakr, Jad Saklawi
  MEMOCODE 2015

PhD Dissertation

• Practical Privacy Via New Systems and Abstractions
  Kinan Dak Albab
  PhD Dissertation, Brown University, 2025

Open Source Software

• K9db
  Privacy-compliant storage system for web applications.
• JIFF
  JavaScript library for secret-sharing-based secure multi-party computation.
• JIGG
  JavaScript library for garbled-circuit secure multi-party computation.
• p4-symbolic
  Symbolic execution engine for P4 programs.
• Web-MPC
  Web-based platform for secure multi-party computation.
• OPRF
  Oblivious pseudorandom function library.
• neptune-notebook.js
  Interactive, notebook-style documents in JavaScript.