Skip to content

High Confidence Software and Systems (HCSS) Conference

Calendar icon to
Report Event
Description Schedule Speakers Booths

Speakers

Matt Wilding

Collins Aerospace

Philomena Zimmerman

Office of the USD R&E

Jerome Hugues

CMU/SEI

Konrad Slind

Collins Aerospace

Jeannette Wing

Columbia

David Burke

Galois

Gregory Malecha

BedRock Systems

Michael Hicks

Correct Computation Inc and University of Maryland

Marijn Heule

Carnegie Mellon University

Stanley Bak

Safe Sky Analytics LLC

Joey Dodds

Galois

Laura Humphrey

Air Force Research Laboratory

Henny Sipma

Kestrel Technology, LLC

Andrew Gacek

Amazon Web Services

Mark Jones

Portland State University

Robert Rand

University of Chicago

Matthew Brecknell

Data61, CSIRO, Australia

Sam Woolley

UT Austin

John Launchbury

Galois

Darren Cofer

Fellow in the Trusted Systems group at Collins Aerospace

Brad Martin

Technical director within NSA’s Laboratory for Advanced Cybersecurity Research

Ray Richards

Keynote

Paul E. Black

NIST

The event is over

Hosted by

HoTSoS Organizers

Booths

Lindsay Errington

A New Kind of Program Logic

Anwar Mamat

Affix: Micro-executing Binaries to Produce Static Analysis Models

Srini Srinivasan

Architecture Modeling for Resource Margin Estimation

Irena Bojanova & Carlos Galhardo

Memory Bugs Classes in the NIST Bugs Framework (BF)

Yiannis Kantaros

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems