PhD Student
Kinan is a PhD student in the Department of Computer Science at Boston University. He is co-advised by Prof. Assaf Kfoury and Prof. Azer Bestavros. He joined the PhD programing in September 2016.
His research lies in ensuring safety and security of cloud-based distributed systems. He is interested in designing cryptographic protocols for distributed systems at scale to ensure security and privacy, and utilizing formal program analysis techniques (proof assistants) and novel programming models and frameworks to reason about the correctness and security of whole system at large.
He recieved a B.S. in Computer Science in 2015 from the American University of Beirut with a Minor in Mathematics. He mainly worked with Prof. Paul Attie and Prof Mohamad Jaber.
Recent Publications
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 (ACM COMPASS)
San Jose, CA, USA, 2018, Article 48
Published version
Brief Announcement: Federated Code Auditing and Delivery for MPC
Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia
Stabilization, Safety, and Security of Distributed Systems. SSS 2017
Lecture Notes in Computer Science, vol 10616. Springer, Cham
Published version
Scalable Secure Multi-Party Network Vulnerability Analysis via Symbolic Optimization
Kinan Dak Al Bab, Rawane Issa, Andrei Lapets, Azer Bestavros, and Nikolaj Volgushev
2017 IEEE Security and Privacy Workshops (SPW)
San Jose, CA, USA, 2017, pp. 211-216
Published version