Follow
Kinan Dak Albab
Kinan Dak Albab
PhD Student, Brown University
Verified email at brown.edu - Homepage
Title
Cited by
Cited by
Year
Accessible privacy-preserving web-based data analysis for assessing and addressing economic inequalities
A Lapets, F Jansen, KD Albab, R Issa, L Qin, M Varia, A Bestavros
Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable …, 2018
562018
From usability to secure computing and back again
L Qin, A Lapets, F Jansen, P Flockhart, KD Albab, I Globus-Harris, ...
Fifteenth Symposium on Usable Privacy and Security ({SOUPS} 2019), 191-210, 2019
272019
Model and program repair via sat solving
PC Attie, KDA Bab, M Sakr
ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 32, 2018
222018
Model and program repair via SAT solving
P Attie, A Cherri, KD Al Bab, M Sakr, J Saklawi
2015 ACM/IEEE International Conference on Formal Methods and Models for …, 2015
222015
SwitchV: automated SDN switch validation with P4 models
KD Albab, J DiLorenzo, S Heule, A Kheradmand, S Smolka, K Weitz, ...
Proceedings of the ACM SIGCOMM 2022 Conference, 365-379, 2022
112022
Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications
A Lapets, K Dak Albab, R Issa, L Qin, M Varia, A Bestavros, F Jansen
2019 IEEE Cybersecurity Development (SecDev), 2019
112019
A high-level modeling language for the efficient design, implementation, and testing of Android applications
M Jaber, Y Falcone, K Dak-Al-Bab, J Abou-Jaoudeh, M El-Katerji
International Journal on Software Tools for Technology Transfer 20, 1-18, 2018
8*2018
Batched differentially private information retrieval
KD Albab, R Issa, M Varia, K Graffi
31st USENIX Security Symposium (USENIX Security 22), 3327-3344, 2022
72022
Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF
K Dak Albab, R Issa, A Lapets, P Flockhart, L Qin, I Globus-Harris
2019 IEEE Cybersecurity Development (SecDev), 2019
72019
Scalable secure multi-party network vulnerability analysis via symbolic optimization
KD Albab, R Issa, A Lapets, A Bestavros, N Volgushev
2017 IEEE Security and Privacy Workshops (SPW), 211-216, 2017
32017
K9db: Privacy-Compliant Storage For Web Applications By Construction
KD Albab, I Sharma, J Adam, B Kilimnik, A Jeyaraj, R Paul, A Agvanian, ...
17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23), 2023
22023
Brief Announcement: Federated Code Auditing and Delivery for MPC
F Jansen, K Dak Albab, A Lapets, M Varia
International Symposium on Stabilization, Safety, and Security of …, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–12