Follow
Andrei Lapets
Andrei Lapets
Reity LLC and Magnite Inc.
Verified email at reity.org - Homepage
Title
Cited by
Cited by
Year
Conclave: secure multi-party computation on big data
N Volgushev, M Schwarzkopf, B Getchell, M Varia, A Lapets, A Bestavros
Proceedings of the Fourteenth EuroSys Conference 2019, 1-18, 2019
742019
Verifiably-safe software-defined networks for CPS
RW Skowyra, A Lapets, A Bestavros, A Kfoury
Proceedings of the 2nd ACM international conference on High confidence …, 2013
572013
A verification platform for sdn-enabled applications
R Skowyra, A Lapets, A Bestavros, A Kfoury
2014 IEEE International Conference on Cloud Engineering, 337-342, 2014
522014
Secure MPC for analytics as a web application
A Lapets, N Volgushev, A Bestavros, F Jansen, M Varia
2016 IEEE Cybersecurity Development (SecDev), 73-74, 2016
402016
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
392018
User-centric distributed solutions for privacy-preserving analytics
A Bestavros, A Lapets, M Varia
Communications of the ACM 60 (2), 37-39, 2017
392017
Safe compositional network sketches: Formal framework
A Bestavros, A Kfoury, A Lapets, MJ Ocean
Proceedings of the 13th ACM international conference on Hybrid systems …, 2010
302010
A user-friendly interface for a lightweight verification system
A Lapets, A Kfoury
Electronic Notes in Theoretical Computer Science 285, 29-41, 2012
232012
The filter-placement problem and its application to minimizing information multiplicity
D Erdös, V Ishakian, A Lapets, E Terzi, A Bestavros
arXiv preprint arXiv:1201.6565, 2012
202012
Safe Compositional Equation-based Modeling of Constrained Flow Networks.
N Soule, A Bestavros, AJ Kfoury, A Lapets
EOOLT, 35-44, 2011
182011
Safe Compositional Network Sketches: Tool & Use Cases
A Bestavros, A Kfoury, A Lapets, M Ocean
Boston University Computer Science Department, 2009
182009
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
162019
Formal verification of SLA transformations
V Ishakian, A Lapets, A Bestavros, A Kfoury
2011 IEEE World Congress on Services, 540-547, 2011
162011
Improving the accessibility of lightweight formal verification systems
A Lapets
Boston University Computer Science Department, 2009
152009
QuaFL: A typed DSL for quantum programming
A Lapets, MP da Silva, M Thome, A Adler, J Beal, M Rötteler
Proceedings of the 1st annual workshop on Functional programming concepts in …, 2013
142013
Verification with Natural Contexts: Soundness of Safe Compositional Network Sketches
A Lapets, A Kfoury
CS Dept., Boston University, Tech. Rep. BUCS-TR-2009-030, 2009
112009
Integrating mpc in big data workflows
N Volgushev, M Schwarzkopf, A Lapets, M Varia, A Bestavros
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications …, 2016
102016
User-friendly support for common concepts in a lightweight verifier
A Lapets
CS Department, Boston University, 2010
102010
Web-based multi-party computation with application to anonymous aggregate compensation analytics
A Lapets, E Dunton, K Holzinger, F Jansen, A Bestavros
Computer Science Department, Boston University, 2015
72015
Safe Compositional Network Sketches: Formalism
A Bestavros, A Lapets
72009
The system can't perform the operation now. Try again later.
Articles 1–20