Specifications and Requirements (HCSS'14)

file

Visible to the public Through the Lens of Abstraction

This talk deals with the use of abstraction in two areas of automated reasoning: verification of programs, and decision procedures for logics.

file

Visible to the public Local Temporal Reasoning

Abstract:

Programming languages that use higher-order functionality (e.g. Java, C#, F#, Haskell, Ocaml, Perl, Python, Ruby) have become commonplace. Higher-order language features such as map, grep, Google's Map/Reduce, are used widely and applauded for their simplicity and modularity.

file

Visible to the public Hardware-Based Tagging: Building in Security from the Ground Up

Abstract:

This talk provides an overview of hardware-based security tagging architectures (STA) and the use of these a building blocks for secure computing. This talk is based on a recently completed AFRL-funded study into the use of STAs, specifically on the benefits and limitations of this technology beyond the lab. We will expand on the following