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

Abstract	n/a
Authors	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