Andrei Lapets is an author at Boston University specializing in computer science, engineering, and data security.
Top concepts
EngineeringComputer ScienceData SecurityData ScienceVerificationFormal MethodsFormal VerificationComputer EngineeringInformation SecuritySecurity
Publications per year
2010–2018
11
11
A Verification Platform for SDN-Enabled Applications
Richard Skowyra, Andrei Lapets, Azer Bestavros et al. · 2014 · 37 citations
Named Data Networking, Engineering, Verification Platform +15
Verifiably-safe software-defined networks for CPS
Richard Skowyra, Andrei Lapets, Azer Bestavros et al. · 2013 · 37 citations
Safe compositional network sketches
Azer Bestavros, A. J. Kfoury, Andrei Lapets et al. · 2010 · 18 citations
Rows per page
1–5 of 11