Carbide: A Highly Reliable and Programmable Software Defined Coalition (SDC) Architecture using Multiple Control Plane Composition with Distributed Verification

Abstract n/a
  • Kerim Gokarslan (Yale)
  • Geng Li (Yale)
  • Patrick Baker (Dstl)
  • Franck Le (IBM US)
  • Sastry Kompella
  • Kelvin Marcus (ARL)
  • Vinod Mishra (ARL)
  • Jeremy Tucker (Dstl)
  • Richard Yang (Yale)
  • Paul Yu (ARL)
Date Sep-2019
Venue Annual Fall Meeting of the DAIS ITA, 2019