System-Level Design Group

KU Information and Telecommunication Technology Center

KBOR Awarded

KBOR has given SLDG an award to continue ArmoredSoftware development. We will be working on synthesis and verification of attestation protocols.