Skip to content

Home Search Authors Pakistan News Saved

SciRah

SciRah does not host or store research papers. Results come live from free, official scholarly APIs, and every paper links back to its original source.

Data sources

OpenAlex
Semantic Scholar
Crossref
CORE
arXiv
PubMed

Privacy policy Terms of service

A. Lapets · SciRah

Researcher profile · Semantic Scholar

A. Lapets

Share profile

A. Lapets — researcher profile on SciRah

h-index: 14
Works: 75
Citations: 685

Most-cited papers

Conclave: secure multi-party computation on big data
Nikolaj Volgushev, Malte Schwarzkopf, Ben Getchell, Mayank Varia +2 more
2019European Conference on Computer Systems197 citations Open access
Semantic Scholar
Accessible Privacy-Preserving Web-Based Data Analysis for Assessing and Addressing Economic Inequalities
A. Lapets, F. Jansen, Kinan Dak Albab, Rawane Issa +3 more
2018The Compass54 citations Open access
Semantic Scholar
Verifiably-safe software-defined networks for CPS
R. Skowyra, A. Lapets, Azer Bestavros, A. Kfoury
2013International Conference on High Confidence Networked Systems44 citations Open access
Semantic Scholar
A Verification Platform for SDN-Enabled Applications
R. Skowyra, A. Lapets, Azer Bestavros, A. Kfoury
2014IEEE International Conference on Consumer Electronics41 citations
Semantic Scholar
User-centric distributed solutions for privacy-preserving analytics
Azer Bestavros, A. Lapets, Mayank Varia
2017Communications of the ACM36 citations Open access
Semantic Scholar
Secure MPC for Analytics as a Web Application
A. Lapets, Nikolaj Volgushev, Azer Bestavros, F. Jansen +1 more
2016IEEE Cybersecurity Development25 citations
Semantic Scholar
From Usability to Secure Computing and Back Again
Lucy Qin, A. Lapets, F. Jansen, Peter Flockhart +4 more
2019IACR Cryptology ePrint Archive24 citations
Semantic Scholar
Safe compositional network sketches: formal framework
Azer Bestavros, A. Kfoury, A. Lapets, M. J. Ocean
2010International Conference on Hybrid Systems: Computation and Control22 citations
Semantic Scholar
Secure multi-party computation for analytics deployed as a lightweight web application
A. Lapets, Nikolaj Volgushev, Azer Bestavros, F. Jansen +1 more
201621 citations
Semantic Scholar
A User-friendly Interface for a Lightweight Verification System
A. Lapets, A. Kfoury
2012UITP21 citations Open access
Semantic Scholar
QuaFL: a typed DSL for quantum programming
A. Lapets, M. P. da Silva, M. Thome, A. Adler +2 more
2013FPCDSL '1317 citations
Semantic Scholar
The Filter-Placement Problem and its Application to Minimizing Information Multiplicity
Dóra Erdös, Vatche Isahagian, A. Lapets, E. Terzi +1 more
2012Proceedings of the VLDB Endowment16 citations Open access
Semantic Scholar
Safe Compositional Equation-based Modeling of Constrained Flow Networks
Nate Soule, Azer Bestavros, A. Kfoury, A. Lapets
2011International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools16 citations
Semantic Scholar
Improving the Accessibility of Lightweight Formal Verification Systems
A. Lapets
200916 citations
Semantic Scholar
Formal Verification of SLA Transformations
Vatche Isahagian, A. Lapets, Azer Bestavros, A. Kfoury
20112011 IEEE World Congress on Services14 citations
Semantic Scholar
Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF
Kinan Dak Albab, Rawane Issa, A. Lapets, Peter Flockhart +2 more
2019IEEE Cybersecurity Development12 citations
Semantic Scholar
Verification with Natural Contexts: Soundness of Safe Compositional Network Sketches
A. Lapets, A. Kfoury
200912 citations
Semantic Scholar
DEMO: Integrating MPC in Big Data Workflows
Nikolaj Volgushev, Malte Schwarzkopf, A. Lapets, Mayank Varia +1 more
2016IACR Cryptology ePrint Archive9 citations Open access
Semantic Scholar
Web-based multi-party computation with application to anonymous aggregate compensation analytics
A. Lapets, E. Dunton, Kyle Holzinger, F. Jansen +1 more
20159 citations
Semantic Scholar
Safe Compositional Network Sketches: Tool & Use Cases
Azer Bestavros, A. Kfoury, A. Lapets, M. J. Ocean
20099 citations
Semantic Scholar
User-friendly Support for Common Concepts in a Lightweight Verifier
A. Lapets
20108 citations
Semantic Scholar
Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code
A. Lapets
20098 citations
Semantic Scholar
Abstract resource cost derivation for logical quantum circuit descriptions
A. Lapets, M. Roetteler
2013FPCDSL '135 citations
Semantic Scholar
Efficient Support for Common Relations in Lightweight Formal Reasoning Systems
A. Lapets, D. House
20095 citations
Semantic Scholar
GOLDBAR: A Framework for Combinatorial Biological Design.
Nicholas Roehner, James Roberts, A. Lapets, Dany Gould +5 more
2024ACS Synthetic Biology4 citations
Semantic Scholar
Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications
A. Lapets, Kinan Dak Albab, Rawane Issa, Lucy Qin +3 more
2019IEEE Cybersecurity Development4 citations
Semantic Scholar
Programming Support for an Integrated Multi-Party Computation and MapReduce Infrastructure
Nikolaj Volgushev, A. Lapets, Azer Bestavros
2015IEEE Workshop on Hot Topics in Web Systems and Technologies4 citations Open access
Semantic Scholar
The Ideal Class Group
A. Lapets
20064 citations
Semantic Scholar
Role-Based Ecosystem Model for Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications
A. Lapets, Mayank Varia, Azer Bestavros, F. Jansen
2017IACR Cryptology ePrint Archive3 citations
Semantic Scholar
Implementing Arbitrary Maps over Small Finite Domains using Ring Addition and Scalar Multiplication
A. Lapets
2023IACR Cryptology ePrint Archive2 citations
Semantic Scholar
Brief Announcement: Federated Code Auditing and Delivery for MPC
F. Jansen, Kinan Dak Albab, A. Lapets, Mayank Varia
2017Safety-critical Systems Symposium2 citations
Semantic Scholar
Scather: programming with multi-party computation and MapReduce
Nikolaj Volgushev, A. Lapets, Azer Bestavros
20152 citations
Semantic Scholar
Accessible integrated formal reasoning environments in classroom instruction of mathematics
A. Lapets
20122 citations
Semantic Scholar
Towards accessible integrated formal reasoning environments for protocol design
A. Lapets, R. Skowyra, Christine Bassem, Sanaz Bahargam +2 more
20122 citations
Semantic Scholar
Use cases for compositional modeling and analysis of equation-based constrained flow networks
Nate Soule, Azer Bestavros, Vatche Isahagian, A. Kfoury +1 more
20112 citations
Semantic Scholar
The filter-placement problem and its application to content de-duplication
Azer Bestavros, D. Erdős, Vatche Isahagian, A. Lapets +1 more
20112 citations
Semantic Scholar
Safe Compositional Network Sketches
A. Lapets, A. Kfoury, Azer Bestavros
20102 citations
Semantic Scholar
Algebraic Semantics of Domain-Specific Languages
A. Lapets
20062 citations
Semantic Scholar
An Embedded Domain-Specific Language for Logical Circuit Descriptions with Applications to Garbled Circuits
A. Lapets, Wyatt Howe, Ben Getchell, F. Jansen
2020IACR Cryptology ePrint Archive1 citations
Semantic Scholar
Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization
Kinan Dak Albab, Rawane Issa, A. Lapets, Azer Bestavros +1 more
20172017 IEEE Security and Privacy Workshops (SPW)1 citations
Semantic Scholar
Towards accessible integration and deployment of formal tools and techniques
A. Lapets, Rick Skowyra, Azer Bestavros, A. Kfoury
20132013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI)1 citations Open access
Semantic Scholar
Towards an Infrastructure for Integrated Accessible Formal Reasoning Environments
A. Lapets, R. Skowyra, Christine Bassem, A. Kfoury +1 more
20121 citations
Semantic Scholar
Towards lightweight integration of SMT solvers
A. Lapets, Saber Mizraei
20121 citations
Semantic Scholar
The Complexity of Restricted Variants of the Stable Paths Problem
K. Donnelly, A. Kfoury, A. Lapets
2010Fundamenta Informaticae1 citations
Semantic Scholar
The complexity of natural extensions of efficiently solvable problems
A. Lapets
20101 citations
Semantic Scholar
The NP-completeness of the Restricted Stable Paths Problem with Three Aggregating Functions
A. Lapets, A. Kfoury
20101 citations
Semantic Scholar
Ontology Support for a Lightweight Formal Verification System
A. Lapets, Prakash Lalwani, A. Kfoury
20101 citations
Semantic Scholar
A Typed Language for Truthful One-Dimensional Mechanism Design
A. Lapets, Alex Levin, D. Parkes
20081 citations
Semantic Scholar
Restricted Truthful Combinatorial Auction Mechanisms
A. Lapets, Alex Levin
20071 citations
Semantic Scholar
TLShare: Private Authenticated MPC and FHE Inputs Over TLS
Manuel B. Santos, Dimitris Mouris, Xiang Xie, M. de Vega +1 more
2025IACR Cryptology ePrint Archive0 citations
Semantic Scholar

Frequent co-authors

Invite them to SciRah by sharing their profile.

Azer Bestavros×19
Invite
Azer Bestavros — researcher profile on SciRah
A. Kfoury×16
Invite
A. Kfoury — researcher profile on SciRah
Mayank Varia×10
Invite
Mayank Varia — researcher profile on SciRah
F. Jansen×9
Invite
F. Jansen — researcher profile on SciRah

Nikolaj Volgushev

×7

Invite

Nikolaj Volgushev — researcher profile on SciRah

Azer Bestavros×5

Invite

Azer Bestavros — researcher profile on SciRah

Kinan Dak Albab×4

Invite

Kinan Dak Albab — researcher profile on SciRah

Invite

Rawane Issa — researcher profile on SciRah

Invite

Lucy Qin — researcher profile on SciRah

Invite

R. Skowyra — researcher profile on SciRah

Vatche Isahagian×4

Invite

Vatche Isahagian — researcher profile on SciRah

Malte Schwarzkopf×2

Invite

Malte Schwarzkopf — researcher profile on SciRah