Andrei Lapets

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 19

Top Topics

Set Intersection

Scalar Multiplication

Preserving Privacy

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Miguel de Vega, Andrei Lapets, Stanislaw Jarecki, Wicher Malten, Mehmet Ugurbil, Wyatt Howe
Evaluation of Arithmetic Sum-of-Products Expressions in Linear Secret Sharing Schemes with a Non-Interactive Computation Phase. IACR Cryptol. ePrint Arch. 2023 (2023)
Andrei Lapets
Implementing Arbitrary Maps over Small Finite Domains using Ring Addition and Scalar Multiplication. IACR Cryptol. ePrint Arch. 2023 (2023)
Wyatt Howe, Andrei Lapets, Frederick Jansen, Tanner Braun, Ben Getchell
Asynchronous Delegated Private Set Intersection with Hiding of Intersection Size. IACR Cryptol. ePrint Arch. 2022 (2022)
Wyatt Howe, Andrei Lapets
Privacy-Preserving Privacy Profile Proposal Protocol. IACR Cryptol. ePrint Arch. 2021 (2021)
Andrei Lapets, Wyatt Howe, Ben Getchell, Frederick Jansen
An Embedded Domain-Specific Language for Logical Circuit Descriptions with Applications to Garbled Circuits. IACR Cryptol. ePrint Arch. 2020 (2020)
Kinan Dak Albab, Rawane Issa, Andrei Lapets, Peter Flockhart, Lucy Qin, Ira Globus-Harris
Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF. SecDev (2019)
Lucy Qin, Andrei Lapets, Frederick Jansen, Peter Flockhart, Kinan Dak Albab, Ira Globus-Harris, Shannon Roberts, Mayank Varia
From Usability to Secure Computing and Back Again. IACR Cryptol. ePrint Arch. 2019 (2019)
Andrei Lapets, Kinan Dak Albab, Rawane Issa, Lucy Qin, Mayank Varia, Azer Bestavros, Frederick Jansen
Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications. SecDev (2019)
Nikolaj Volgushev, Malte Schwarzkopf, Ben Getchell, Mayank Varia, Andrei Lapets, Azer Bestavros
Conclave: secure multi-party computation on big data (extended TR). CoRR (2019)
Lucy Qin, Andrei Lapets, Frederick Jansen, Peter Flockhart, Kinan Dak Albab, Ira Globus-Harris, Shannon Roberts, Mayank Varia
From Usability to Secure Computing and Back Again. SOUPS @ USENIX Security Symposium (2019)
Nikolaj Volgushev, Malte Schwarzkopf, Ben Getchell, Mayank Varia, Andrei Lapets, Azer Bestavros
Conclave: secure multi-party computation on big data. EuroSys (2019)
Andrei Lapets, Frederick Jansen, Kinan Dak Albab, Rawane Issa, Lucy Qin, Mayank Varia, Azer Bestavros
Accessible Privacy-Preserving Web-Based Data Analysis for Assessing and Addressing Economic Inequalities. COMPASS (2018)
Kinan Dak Albab, Rawane Issa, Andrei Lapets, Azer Bestavros, Nikolaj Volgushev
Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization. IEEE Symposium on Security and Privacy Workshops (2017)
Andrei Lapets, Mayank Varia, Azer Bestavros, Frederick Jansen
Role-Based Ecosystem Model for Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications. IACR Cryptol. ePrint Arch. 2017 (2017)
Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia
Brief Announcement: Federated Code Auditing and Delivery for MPC. SSS (2017)
Azer Bestavros, Andrei Lapets, Mayank Varia
User-centric distributed solutions for privacy-preserving analytics. Commun. ACM 60 (2) (2017)
Nikolaj Volgushev, Malte Schwarzkopf, Andrei Lapets, Mayank Varia, Azer Bestavros
DEMO: Integrating MPC in Big Data Workflows. CCS (2016)
Andrei Lapets, Nikolaj Volgushev, Azer Bestavros, Frederick Jansen, Mayank Varia
Secure MPC for Analytics as a Web Application. SecDev (2016)
Nikolaj Volgushev, Malte Schwarzkopf, Andrei Lapets, Mayank Varia, Azer Bestavros
DEMO: Integrating MPC in Big Data Workflows. IACR Cryptol. ePrint Arch. 2016 (2016)
Nikolaj Volgushev, Andrei Lapets, Azer Bestavros
Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure. HotWeb (2015)
Richard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury
A Verification Platform for SDN-Enabled Applications. IC2E (2014)
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets
Postlude: seamless composition and integration - a perspective on formal methods research. Math. Struct. Comput. Sci. 23 (4) (2013)
Andrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler
QuaFL: a typed DSL for quantum programming. FPCDSL@ICFP (2013)
Andrei Lapets, Richard Skowyra, Azer Bestavros, Assaf J. Kfoury
Towards accessible integration and deployment of formal tools and techniques. TOPI@ICSE (2013)
Richard William Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury
Verifiably-safe software-defined networks for CPS. HiCoNS (2013)
Andrei Lapets, Martin Roetteler
Abstract resource cost derivation for logical quantum circuit descriptions. FPCDSL@ICFP (2013)
Dóra Erdös, Vatche Ishakian, Andrei Lapets, Evimaria Terzi, Azer Bestavros
The Filter-Placement Problem and its Application to Minimizing Information Multiplicity. Proc. VLDB Endow. 5 (5) (2012)
Dóra Erdös, Vatche Ishakian, Andrei Lapets, Evimaria Terzi, Azer Bestavros
The Filter-Placement Problem and its Application to Minimizing Information Multiplicity CoRR (2012)
Andrei Lapets, Assaf J. Kfoury
A User-friendly Interface for a Lightweight Verification System. Electron. Notes Theor. Comput. Sci. 285 (2012)
Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury
Formal Verification of SLA Transformations. SERVICES (2011)
Nate Soule, Azer Bestavros, Assaf J. Kfoury, Andrei Lapets
Safe Compositional Equation-based Modeling of Constrained Flow Networks. EOOLT (2011)
Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets
The Complexity of Restricted Variants of the Stable Paths Problem. Fundam. Informaticae 103 (1-4) (2010)
Andrei Lapets
User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier. VERIFY@IJCAR (2010)
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean
Safe compositional network sketches: formal framework. HSCC (2010)