System-Level Design Group

KU Institute for Information Sciences

VOLTA Selected - 23 Dec 2018
Copland Paper Submitted - 22 Dec 2018
Logic and Reasoning Certificate - 02 Aug 2018
TEEE Awarded - 13 Sep 2016
EarthCube Awarded - 15 Aug 2016
Petz Defense - 12 Aug 2016
KBOR Awarded - 01 Jul 2016
May New Students - 21 May 2014
May Travel - 03 May 2014
January Travel - 04 Jan 2014
NDIST'13 (Day 3) - 12 Dec 2013
NDIST'13 - 10 Dec 2013
Of course - 24 Nov 2013
FM Submission - 17 Nov 2013
Oustanding Advisor - 14 Nov 2013
NSF Submission - 12 Nov 2013
ACHILLES Awarded - 01 Oct 2013
ArmoredSoftware Awarded - 28 Sep 2013

FM Submission

Brigid Halling and Perry Alexander submitted the paper “Verifying TPM Protocols Using a State Monad” to FM’14. The paper presents our techniques using monads to verify TPM attestation and migration protocols.