GOLDBAR: A Framework for Combinatorial Biological Design
Roehner, Nicholas, Roberts, James, Lapets, Andrei, Gould, Dany, Akavoor, Vidya, Qin, Lucy, Gordon, D. Benjamin, Voigt, Christopher, Densmore, Douglas
Published in ACS synthetic biology (20.09.2024)
Published in ACS synthetic biology (20.09.2024)
Get full text
Journal Article
Postlude: seamless composition and integration – a perspective on formal methods research
BESTAVROS, AZER, KFOURY, ASSAF, LAPETS, ANDREI
Published in Mathematical structures in computer science (01.08.2013)
Published in Mathematical structures in computer science (01.08.2013)
Get full text
Journal Article
Secure MPC for Analytics as a Web Application
Lapets, Andrei, Volgushev, Nikolaj, Bestavros, Azer, Jansen, Frederick, Varia, Mayank
Published in 2016 IEEE Cybersecurity Development (SecDev) (01.11.2016)
Published in 2016 IEEE Cybersecurity Development (SecDev) (01.11.2016)
Get full text
Conference Proceeding
A Verification Platform for SDN-Enabled Applications
Skowyra, Richard, Lapets, Andrei, Bestavros, Azer, Kfoury, Assaf
Published in 2014 IEEE International Conference on Cloud Engineering (01.03.2014)
Published in 2014 IEEE International Conference on Cloud Engineering (01.03.2014)
Get full text
Conference Proceeding
A User-friendly Interface for a Lightweight Verification System
Lapets, Andrei, Kfoury, Assaf
Published in Electronic notes in theoretical computer science (19.09.2012)
Published in Electronic notes in theoretical computer science (19.09.2012)
Get full text
Journal Article
Tutorial: Deploying Secure Multi-Party Computation on the Web Using JIFF
Dak Albab, Kinan, Issa, Rawane, Lapets, Andrei, Flockhart, Peter, Qin, Lucy, Globus-Harris, Ira
Published in 2019 IEEE Cybersecurity Development (SecDev) (01.09.2019)
Published in 2019 IEEE Cybersecurity Development (SecDev) (01.09.2019)
Get full text
Conference Proceeding
Conclave: secure multi-party computation on big data (extended TR)
Volgushev, Nikolaj, Schwarzkopf, Malte, Getchell, Ben, Varia, Mayank, Lapets, Andrei, Bestavros, Azer
Published in arXiv.org (17.02.2019)
Published in arXiv.org (17.02.2019)
Get full text
Paper
Journal Article
Role-Based Ecosystem for the Design, Development, and Deployment of Secure Multi-Party Data Analytics Applications
Lapets, Andrei, Dak Albab, Kinan, Issa, Rawane, Qin, Lucy, Varia, Mayank, Bestavros, Azer, Jansen, Frederick
Published in 2019 IEEE Cybersecurity Development (SecDev) (01.09.2019)
Published in 2019 IEEE Cybersecurity Development (SecDev) (01.09.2019)
Get full text
Conference Proceeding
Scalable Secure Multi-party Network Vulnerability Analysis via Symbolic Optimization
Albab, Kinan Dak, Issa, Rawane, Lapets, Andrei, Bestavros, Azer, Volgushev, Nikolaj
Published in 2017 IEEE Security and Privacy Workshops (SPW) (01.05.2017)
Published in 2017 IEEE Security and Privacy Workshops (SPW) (01.05.2017)
Get full text
Conference Proceeding
Towards accessible integration and deployment of formal tools and techniques
Lapets, Andrei, Skowyra, Rick, Bestavros, Azer, Kfoury, Assaf
Published in 2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) (01.05.2013)
Published in 2013 3rd International Workshop on Developing Tools as Plug-Ins (TOPI) (01.05.2013)
Get full text
Conference Proceeding
The Filter-Placement Problem and its Application to Minimizing Information Multiplicity
Erdös, Dóra, Ishakian, Vatche, Lapets, Andrei, Terzi, Evimaria, Bestavros, Azer
Year of Publication 31.01.2012
Year of Publication 31.01.2012
Get full text
Journal Article
Formal Verification of SLA Transformations
Ishakian, V., Lapets, A., Bestavros, A., Kfoury, A.
Published in 2011 IEEE World Congress on Services (01.07.2011)
Published in 2011 IEEE World Congress on Services (01.07.2011)
Get full text
Conference Proceeding