Andrei Lapets

According to our database, Andrei Lapets authored at least 32 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Embedded Domain-Specific Language for Using One-Hot Vectors and Binary Matrices in Secure Computation Protocols.

Andrei Lapets

IACR Cryptol. ePrint Arch., 2024

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

Implementing Arbitrary Maps over Small Finite Domains using Ring Addition and Scalar Multiplication.

Andrei Lapets

IACR Cryptol. ePrint Arch., 2023

2022

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

2021

Privacy-Preserving Privacy Profile Proposal Protocol.

Wyatt Howe, Andrei Lapets

IACR Cryptol. ePrint Arch., 2021

2020

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

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

Conclave: secure multi-party computation on big data (extended TR).

Nikolaj Volgushev, Malte Schwarzkopf, Ben Getchell, Mayank Varia, Andrei Lapets, Azer Bestavros

CoRR, 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

Proceedings of the 2019 IEEE Cybersecurity Development, 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

Proceedings of the 2019 IEEE Cybersecurity Development, 2019

Conclave: secure multi-party computation on big data.

Nikolaj Volgushev, Malte Schwarzkopf, Ben Getchell, Mayank Varia, Andrei Lapets, Azer Bestavros

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

2018

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

Proceedings of the 1st ACM SIGCAS Conference on Computing and Sustainable Societies, 2018

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

User-centric distributed solutions for privacy-preserving analytics.

Azer Bestavros, Andrei Lapets, Mayank Varia

Commun. ACM, 2017

Brief Announcement: Federated Code Auditing and Delivery for MPC.

Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization.

Kinan Dak Albab, Rawane Issa, Andrei Lapets, Azer Bestavros, Nikolaj Volgushev

Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

2016

DEMO: Integrating MPC in Big Data Workflows.

Nikolaj Volgushev, Malte Schwarzkopf, Andrei Lapets, Mayank Varia, Azer Bestavros

IACR Cryptol. ePrint Arch., 2016

Secure MPC for Analytics as a Web Application.

Andrei Lapets, Nikolaj Volgushev, Azer Bestavros, Frederick Jansen, Mayank Varia

Proceedings of the IEEE Cybersecurity Development, 2016

2015

Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure.

Nikolaj Volgushev, Andrei Lapets, Azer Bestavros

Proceedings of the Third IEEE Workshop on Hot Topics in Web Systems and Technologies, 2015

2014

A Verification Platform for SDN-Enabled Applications.

Richard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury

Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014

2013

Postlude: seamless composition and integration - a perspective on formal methods research.

Azer Bestavros, Assaf J. Kfoury, Andrei Lapets

Math. Struct. Comput. Sci., 2013

Towards accessible integration and deployment of formal tools and techniques.

Andrei Lapets, Richard Skowyra, Azer Bestavros, Assaf J. Kfoury

Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013

QuaFL: a typed DSL for quantum programming.

Andrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Abstract resource cost derivation for logical quantum circuit descriptions.

Andrei Lapets, Martin Roetteler

Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Verifiably-safe software-defined networks for CPS.

Richard William Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury

Proceedings of the 2nd ACM International Conference on High Confidence Networked Systems (part of CPS Week), 2013

2012

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

2011

Formal Verification of SLA Transformations.

Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury

Proceedings of the World Congress on Services, 2011

Safe Compositional Equation-based Modeling of Constrained Flow Networks.

Nate Soule, Azer Bestavros, Assaf J. Kfoury, Andrei Lapets

Proceedings of the 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2011

2010

The Complexity of Restricted Variants of the Stable Paths Problem.

Kevin Donnelly, Assaf J. Kfoury, Andrei Lapets

Fundam. Informaticae, 2010

A User-friendly Interface for a Lightweight Verification System.

Andrei Lapets, Assaf J. Kfoury

Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

Safe compositional network sketches: formal framework.

Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier.

Andrei Lapets

Proceedings of the 6th International Verification Workshop, 2010