Research Organization

file

Visible to the public QRM.tar.gz

Submitted by janssen on Sat, 06/14/2014 - 2:51am

This file contains the source code for PARC's QRM system.

file

Visible to the public Cryptol version 2: An Open Source Cryptol

Submitted by brad_martin on Sat, 04/26/2014 - 8:08am. Contributor:

Abstract

HCSS participants, in the main, know about Galois' Cryptol language and system and its capabilities. In short, Cryptol is a domain-specific language for programming, executing, testing, and formally reasoning about streams of bits. Cryptol particularly excels at specifying and reasoning about cryptographic algorithms.

Galois has decided to "reboot" Cryptol and create, from the ground up, a new Open Source Cryptol release: Cryptol version 2.

file

Visible to the public Programming Languages for High-Assurance Autonomous Vehicles

Submitted by leepike on Wed, 04/23/2014 - 6:39am. Contributor:

Presented as part of the 2014 HCSS conference.

Abstract:

file

Visible to the public Securing the Future of Transportation

Submitted by ulf on Wed, 01/29/2014 - 11:16am. Contributor:

Ulf Lindqvist manages R&D projects in infrastructure security and leads SRI's support for the U.S. Department of Homeland Security Cyber Security R&D Center. Dr. Lindqvist's expertise and interests are focused on the protection of critical infrastructure systems against electronic attacks, in particular analysis and detection of such attacks. He has more than twenty publications in the computer security area, many of which are bridging the gap between theoretical and applied research, and he holds one patent.

file

Visible to the public Systematic Analysis of Defenses Against Return-Oriented Programming

Submitted by okhravi on Wed, 10/30/2013 - 4:28pm

This paper describes a systematic approach for analyzing code reuse attacks and defenses. It was presented at RAID'13 Symposium and published in Lecture Notes in Computer Science (LNCS) Volume 8145.

news

Visible to the public The MD PnP Project on SourceForge

Submitted by KNEW on Fri, 08/16/2013 - 6:47pm

The MD PnP project on SourceForge has been established to share code and documentation developed by the Medical Device Plug-and-Play program and its collaborators with the broader community. This project creates an opportunity for others to leverage artifacts produced by the group and contribute their improvements.