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

Contacts

Rick Kuhn
kuhn@nist.gov
Address: https://www.nist.gov/people/d-richard-kuhn

Raghu Kacker
raghu.kacker@nist.gov
301-975-2109
Address: http://math.nist.gov/~RKacker/

M S Raunak
raunak@nist.gov

Topics

Security and Privacy: assurance, modeling, testing & validation

Technologies: software & firmware

Created May 24, 2016, Updated June 13, 2024