On the (f)utility of untrusted data sanitization. - Ashish Gehani; David Hanz; John Rushby; Grit Denker; Rance DeLong (MILCOM, 2011)

Combining MILS with Contract-Based Design for Safety and Security Requirements. - Alessandro Cimatti; Rance DeLong; Davide Marcantonio; Stefano Tonetta (SAFECOMP Workshops, 2015)

Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides. - Alessandro Cimatti; Rance DeLong; Ivan Stojic; Stefano Tonetta (MILS@DSN, 2018)

A Model-based Approach to Certification of Adaptive MILS. - Dorien Koelemeijer; Rasma Araby; Ayoub Nouri; Marius Bozga; Rance DeLong (MILS@DSN, 2018)

Cross-CPP - An Ecosystem for Provisioning, Consolidating, and Analysing Big Data from Cyber-Physical Products. - Ana Correia; Christian Wolff 002; Massimiliano Zanin; Ernestina Menasalvas; Elisa A. Herrmann; Victor Corral; Miriam Kachelmann; Rance DeLong; Pavel Smrz (CPSS@IOT, 2019)

Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems. - Alessandro Cimatti; Rance DeLong; Ivan Stojic; Stefano Tonetta (SAFECOMP, 2019)