Kinan Dak Albab

According to our database, Kinan Dak Albab authored at least 12 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 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

Proceedings of the SIGCOMM '22: ACM SIGCOMM 2022 Conference, Amsterdam, The Netherlands, August 22, 2022

2020

Batched Differentially Private Information Retrieval.

Kinan Dak Albab, Rawane Issa, Mayank Varia, Kalman Graffi

IACR Cryptol. ePrint Arch., 2020

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

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

Proceedings of the 2019 IEEE Cybersecurity Development, 2019

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

Proceedings of the 2019 IEEE Cybersecurity Development, 2019

2018

Model and Program Repair via SAT Solving.

Paul C. Attie, Kinan Dak-Al-Bab, Mouhammad Sakr

ACM Trans. Embed. Comput. Syst., 2018

A high-level modeling language for the efficient design, implementation, and testing of Android applications.

Mohamad Jaber, Yliès Falcone, Kinan Dak-Al-Bab, John Abou-Jaoudeh, Mostafa El-Katerji

Int. J. Softw. Tools Technol. Transf., 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

Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, 2018

2017

Brief Announcement: Federated Code Auditing and Delivery for MPC.

Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization.

Kinan Dak Albab, Rawane Issa, Andrei Lapets, Azer Bestavros, Nikolaj Volgushev

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

2015

Model and program repair via SAT solving.

Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015