Andrei Lapets
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
10
Active years
2010–2019
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | EuroSys | Conclave: secure multi-party computation on big data. | Nikolaj Volgushev, Malte Schwarzkopf, Ben Getchell, Mayank Varia, Andrei Lapets, Azer Bestavros |
| 2019 | SOUPS | 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 |
| 2017 | SP | Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization. | Kinan Dak Albab, Rawane Issa, Andrei Lapets, Azer Bestavros, Nikolaj Volgushev |
| 2017 | SSS | Brief Announcement: Federated Code Auditing and Delivery for MPC. | Frederick Jansen, Kinan Dak Albab, Andrei Lapets, Mayank Varia |
| 2016 | CCS | DEMO: Integrating MPC in Big Data Workflows. | Nikolaj Volgushev, Malte Schwarzkopf, Andrei Lapets, Mayank Varia, Azer Bestavros |
| 2014 | IC2E | A Verification Platform for SDN-Enabled Applications. | Richard Skowyra, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury |
| 2013 | ICFP | Abstract resource cost derivation for logical quantum circuit descriptions. | Andrei Lapets, Martin Roetteler |
| 2013 | ICFP | QuaFL: a typed DSL for quantum programming. | Andrei Lapets, Marcus P. da Silva, Mike Thome, Aaron Adler, Jacob Beal, Martin Roetteler |
| 2013 | ICSE | Towards accessible integration and deployment of formal tools and techniques. | Andrei Lapets, Richard Skowyra, Azer Bestavros, Assaf J. Kfoury |
| 2011 | SERVICES | Formal Verification of SLA Transformations. | Vatche Ishakian, Andrei Lapets, Azer Bestavros, Assaf J. Kfoury |
| 2010 | CADE | User-friendly Support for Common Mathematical Concepts in a Lightweight Verifier. | Andrei Lapets |