Model and program repair via SAT solving. - Paul C. Attie; Ali Cherri; Kinan Dak-Al-Bab; Mouhammad Sakr; Jad Saklawi (MEMOCODE, 2015)

Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization. - Kinan Dak Albab; Rawane Issa; Andrei Lapets; Azer Bestavros; Nikolaj Volgushev (IEEE Symposium on Security and Privacy Workshops, 2017)

Brief Announcement: Federated Code Auditing and Delivery for MPC. - Frederick Jansen; Kinan Dak Albab; Andrei Lapets; Mayank Varia (SSS, 2017)

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 001; Yliès Falcone; Kinan Dak-Al-Bab; John Abou-Jaoudeh; Mostafa El-Katerji (Int. J. Softw. Tools Technol. Transf., 2018)

Model and Program Repair via SAT Solving. - Paul C. Attie; Kinan Dak-Al-Bab; Mouhammad Sakr (ACM Trans. Embed. Comput. Syst., 2018)

Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF. - Kinan Dak Albab; Rawane Issa; Andrei Lapets; Peter Flockhart; Lucy Qin; Ira Globus-Harris (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 (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 (IACR Cryptol. ePrint Arch., 2019)

Batched Differentially Private Information Retrieval. - Kinan Dak Albab; Rawane Issa; Mayank Varia; Kalman Graffi (IACR Cryptol. ePrint Arch., 2020)

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)

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 (OSDI, 2023)

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 (SOSP, 2024)