Uclinux: a linux security module for trusted-computing-based usage controls enforcement. - David Kyle; José Carlos Brustoloni (STC, 2007)

Updates and Asynchronous Communication in Trusted Computing Systems. - José Carlos Brustoloni; David Kyle (ICDCS, 2008)

Evaluating the usability of usage controls in electronic collaboration. - José Carlos Brustoloni; Ricardo Villamarín-Salomón; Peter Djalaliev; David Kyle (SOUPS, 2008)

Efficient Detection of Bots in Subscribers' Computers. - José Carlos Brustoloni; Nicholas L. Farnan; Ricardo Villamarín-Salomón; David Kyle (ICC, 2009)

Optimizing Robotic Team Performance with Probabilistic Model Checking. - Sagar Chaki; Joseph Andrew Giampapa; David Kyle; John P. Lehoczky (SIMPAR, 2014)

Statistical Model Checking of Distributed Adaptive Real-Time Software. - David Kyle; Jeffery P. Hansen; Sagar Chaki (RV, 2015)

Input Attribution for Statistical Model Checking Using Logistic Regression. - Jeffery P. Hansen; Sagar Chaki; Scott A. Hissam; James R. Edmondson; Gabriel A. Moreno; David Kyle (RV, 2016)