Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Combinatorial Methods for Trust and Assurance

Assured Autonomy - briefings and videos

Conference presentations on combinatorial methods for assured autonomy

  • How Can we Provide Assured Autonomy?  International Conference on Cyber Security, Jan 8-10, 2024    PDF
  • Assured Autonomy through Combinatorial Methods, 6th IEEE Conference on Dependable and Secure Computing, November 7-9, 2023.   PDF
  • Combinatorial Coverage for Assured Autonomy.  The 1st IEEE International Workshop on Assured Autonomy, Artificial Intelligence and Machine Learning, Charlotte, October 31, 2022    PPT with audio narration   MP4 video
  • Assured Autonomy - Problems and Solutions,  USAF Testing Colloquium, Hill AFB, Nov 16-20, 2021.   PDF


Rick Kuhn

Raghu Kacker

M S Raunak


Security and Privacy: assurance, modeling, testing & validation

Technologies: software & firmware

Created May 24, 2016, Updated June 13, 2024