| 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 | 64 | 2018 |
| 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 | 30 | 2019 |
| Model and program repair via sat solving PC Attie, KDA Bab, M Sakr ACM Transactions on Embedded Computing Systems (TECS) 17 (2), 32, 2018 | 24 | 2018 |
| 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 | 24 | 2015 |
| 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 | 13 | 2022 |
| 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 | 12 | 2019 |
| Batched differentially private information retrieval KD Albab, R Issa, M Varia, K Graffi 31st USENIX Security Symposium (USENIX Security 22), 3327-3344, 2022 | 11 | 2022 |
| 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 | 11* | 2019 |
| 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 |
| 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 | 6 | 2023 |
| 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 | 3 | 2017 |
| 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 | 2 | 2017 |
Andrei LapetsReity and NillionVerified email at reity.org
