Andrei Lapets

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