Andrei Lapets

According to our database1, Andrei Lapets authored at least 31 papers between 2010 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Evaluation of Arithmetic Sum-of-Products Expressions in Linear Secret Sharing Schemes with a Non-Interactive Computation Phase.
IACR Cryptol. ePrint Arch., 2023

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

2022
Asynchronous Delegated Private Set Intersection with Hiding of Intersection Size.
IACR Cryptol. ePrint Arch., 2022

2021
Privacy-Preserving Privacy Profile Proposal Protocol.
IACR Cryptol. ePrint Arch., 2021

2020
An Embedded Domain-Specific Language for Logical Circuit Descriptions with Applications to Garbled Circuits.
IACR Cryptol. ePrint Arch., 2020

2019
From Usability to Secure Computing and Back Again.
IACR Cryptol. ePrint Arch., 2019

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

Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications.
Proceedings of the 2019 IEEE Cybersecurity Development, 2019

Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF.
Proceedings of the 2019 IEEE Cybersecurity Development, 2019

Conclave: secure multi-party computation on big data.
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.
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.
IACR Cryptol. ePrint Arch., 2017

User-centric distributed solutions for privacy-preserving analytics.
Commun. ACM, 2017

Brief Announcement: Federated Code Auditing and Delivery for MPC.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2017

Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization.
Proceedings of the 2017 IEEE Security and Privacy Workshops, 2017

2016
DEMO: Integrating MPC in Big Data Workflows.
IACR Cryptol. ePrint Arch., 2016

Secure MPC for Analytics as a Web Application.
Proceedings of the IEEE Cybersecurity Development, 2016

2015
Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure.
Proceedings of the Third IEEE Workshop on Hot Topics in Web Systems and Technologies, 2015

2014
A Verification Platform for SDN-Enabled Applications.
Proceedings of the 2014 IEEE International Conference on Cloud Engineering, 2014

2013
Postlude: seamless composition and integration - a perspective on formal methods research.
Math. Struct. Comput. Sci., 2013

Towards accessible integration and deployment of formal tools and techniques.
Proceedings of the 3rd International Workshop on Developing Tools as Plug-ins, 2013

QuaFL: a typed DSL for quantum programming.
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Abstract resource cost derivation for logical quantum circuit descriptions.
Proceedings of the 1st annual workshop on Functional programming concepts in domain-specific languages, 2013

Verifiably-safe software-defined networks for CPS.
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.
Proc. VLDB Endow., 2012

2011
Formal Verification of SLA Transformations.
Proceedings of the World Congress on Services, 2011

Safe Compositional Equation-based Modeling of Constrained Flow Networks.
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.
Fundam. Informaticae, 2010

A User-friendly Interface for a Lightweight Verification System.
Proceedings of the 9th International Workshop On User Interfaces for Theorem Provers, 2010

Safe compositional network sketches: formal framework.
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.
Proceedings of the 6th International Verification Workshop, 2010


  Loading...