R. DeLong

Combining MILS with Contract-Based Design for Safety and Security Requirements

Alessandro Cimatti, Stefano Tonetta, Rance DeLong, 2014, SAFECOMP Workshops.

An Evaluation and Certification Scheme for MILS

R. DeLong, 2010 .

A Model-based Approach to Certification of Adaptive MILS

Rance DeLong, Marius Bozga, Dorien Koelemeijer, 2018, MILS@DSN.

The MILS component integration approach to secure information sharing

J. Rushby, C. Boettcher, R. DeLong, 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

Data Protection by Design Tool for Automated GDPR Compliance Verification Based on Semantically Modeled Informed Consent

Tek Raj Chhetri, A. Fensel, R. DeLong, 2022, Sensors.

Model-Based Run-Time Synthesis of Architectural Configurations for Adaptive MILS Systems

Alessandro Cimatti, Stefano Tonetta, Rance DeLong, 2019, SAFECOMP.

On the (f)utility of untrusted data sanitization

Grit Denker, John Rushby, Ashish Gehani, 2011, 2011 - MILCOM 2011 Military Communications Conference.