User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier. - Andrei Lapets (VERIFY@IJCAR, 2010)

Safe compositional network sketches: formal framework. - Azer Bestavros; Assaf J. Kfoury; Andrei Lapets; Michael J. Ocean (HSCC, 2010)

A User-friendly Interface for a Lightweight Verification System. - Andrei Lapets; Assaf J. Kfoury (UITP, 2010)

The Complexity of Restricted Variants of the Stable Paths Problem. - Kevin Donnelly; Assaf J. Kfoury; Andrei Lapets (Fundam. Informaticae, 2010)

Safe Compositional Equation-based Modeling of Constrained Flow Networks. - Nate Soule; Azer Bestavros; Assaf J. Kfoury; Andrei Lapets (EOOLT, 2011)

Formal Verification of SLA Transformations. - Vatche Ishakian; Andrei Lapets; Azer Bestavros; Assaf J. Kfoury (SERVICES, 2011)

The Filter-Placement Problem and its Application to Minimizing Information Multiplicity. - Dóra Erdös; Vatche Ishakian; Andrei Lapets; Evimaria Terzi; Azer Bestavros (Proc. VLDB Endow., 2012)

Verifiably-safe software-defined networks for CPS. - Richard William Skowyra; Andrei Lapets; Azer Bestavros; Assaf J. Kfoury (HiCoNS, 2013)

Abstract resource cost derivation for logical quantum circuit descriptions. - Andrei Lapets; Martin Roetteler (FPCDSL@ICFP, 2013)

QuaFL: a typed DSL for quantum programming. - Andrei Lapets; Marcus P. da Silva; Mike Thome; Aaron Adler; Jacob Beal; Martin Roetteler (FPCDSL@ICFP, 2013)

Towards accessible integration and deployment of formal tools and techniques. - Andrei Lapets; Richard Skowyra; Azer Bestavros; Assaf J. Kfoury (TOPI@ICSE, 2013)

Postlude: seamless composition and integration - a perspective on formal methods research. - Azer Bestavros; Assaf J. Kfoury; Andrei Lapets (Math. Struct. Comput. Sci., 2013)

A Verification Platform for SDN-Enabled Applications. - Richard Skowyra; Andrei Lapets; Azer Bestavros; Assaf J. Kfoury (IC2E, 2014)

Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure. - Nikolaj Volgushev; Andrei Lapets; Azer Bestavros (HotWeb, 2015)

Secure MPC for Analytics as a Web Application. - Andrei Lapets; Nikolaj Volgushev; Azer Bestavros; Frederick Jansen; Mayank Varia (SecDev, 2016)

DEMO: Integrating MPC in Big Data Workflows. - Nikolaj Volgushev; Malte Schwarzkopf; Andrei Lapets; Mayank Varia; Azer Bestavros (IACR Cryptol. ePrint Arch., 2016)

Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization. - Kinan Dak Albab; Rawane Issa; Andrei Lapets; Azer Bestavros; Nikolaj Volgushev (IEEE Symposium on Security and Privacy Workshops, 2017)

Brief Announcement: Federated Code Auditing and Delivery for MPC. - Frederick Jansen; Kinan Dak Albab; Andrei Lapets; Mayank Varia (SSS, 2017)

User-centric distributed solutions for privacy-preserving analytics. - Azer Bestavros; Andrei Lapets; Mayank Varia (Commun. ACM, 2017)

Role-Based Ecosystem Model for Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications. - Andrei Lapets; Mayank Varia; Azer Bestavros; Frederick Jansen (IACR Cryptol. ePrint Arch., 2017)

Accessible Privacy-Preserving Web-Based Data Analysis for Assessing and Addressing Economic Inequalities. - Andrei Lapets; Frederick Jansen; Kinan Dak Albab; Rawane Issa; Lucy Qin; Mayank Varia; Azer Bestavros (COMPASS, 2018)

Conclave: secure multi-party computation on big data. - Nikolaj Volgushev; Malte Schwarzkopf; Ben Getchell; Mayank Varia; Andrei Lapets; Azer Bestavros (EuroSys, 2019)

Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF. - Kinan Dak Albab; Rawane Issa; Andrei Lapets; Peter Flockhart; Lucy Qin; Ira Globus-Harris (SecDev, 2019)

Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications. - Andrei Lapets; Kinan Dak Albab; Rawane Issa; Lucy Qin; Mayank Varia; Azer Bestavros; Frederick Jansen (SecDev, 2019)

Conclave: secure multi-party computation on big data (extended TR). - Nikolaj Volgushev; Malte Schwarzkopf; Ben Getchell; Mayank Varia; Andrei Lapets; Azer Bestavros (CoRR, 2019)

From Usability to Secure Computing and Back Again. - Lucy Qin; Andrei Lapets; Frederick Jansen; Peter Flockhart; Kinan Dak Albab; Ira Globus-Harris; Shannon Roberts; Mayank Varia (IACR Cryptol. ePrint Arch., 2019)

An Embedded Domain-Specific Language for Logical Circuit Descriptions with Applications to Garbled Circuits. - Andrei Lapets; Wyatt Howe; Ben Getchell; Frederick Jansen (IACR Cryptol. ePrint Arch., 2020)

Privacy-Preserving Privacy Profile Proposal Protocol. - Wyatt Howe; Andrei Lapets (IACR Cryptol. ePrint Arch., 2021)

Asynchronous Delegated Private Set Intersection with Hiding of Intersection Size. - Wyatt Howe; Andrei Lapets; Frederick Jansen; Tanner Braun; Ben Getchell (IACR Cryptol. ePrint Arch., 2022)

Implementing Arbitrary Maps over Small Finite Domains using Ring Addition and Scalar Multiplication. - Andrei Lapets (IACR Cryptol. ePrint Arch., 2023)

Evaluation of Arithmetic Sum-of-Products Expressions in Linear Secret Sharing Schemes with a Non-Interactive Computation Phase. - Miguel de Vega; Andrei Lapets; Stanislaw Jarecki; Wicher Malten; Mehmet Ugurbil; Wyatt Howe (IACR Cryptol. ePrint Arch., 2023)

An Embedded Domain-Specific Language for Using One-Hot Vectors and Binary Matrices in Secure Computation Protocols. - Andrei Lapets (IACR Cryptol. ePrint Arch., 2024)

TLShare: Private Authenticated MPC and FHE Inputs Over TLS. - Manuel B. Santos; Dimitris Mouris; Xiang Xie; Miguel de Vega; Andrei Lapets (IACR Cryptol. ePrint Arch., 2025)