Kestrel Institute

file

An Information Architecture Platform for Mobile, Secure, and Resilient Distributed Systems

Submitted by gabor on Tue, 04/22/2014 - 12:20pm. Contributors:

Presented as part of the 2014 HCSS conference.

Abstract:

file

Generating Proof-Carrying Code for the UDP protocol

Submitted by brad_martin on Tue, 04/22/2014 - 11:38am. Contributors:

Presented as part of the 2014 HCSS conference.

Abstract:

file

Axe: An Automated Formal Equivalence Checking Tool for Programs

Submitted by TimTh on Tue, 05/08/2012 - 10:01pm. Contributor:

Eric Smith

Presented as part of the 2012 HCSS conference.

Abstract:

file

Synthesis of Concurrent Garbage Collectors

Submitted by TimTh on Tue, 05/01/2012 - 10:04pm. Contributors:

Presented as part of the 2012 HCSS conference.

file

VIBRANCE: Automatic Removal of Security Vulnerabilities from Java Applications

Submitted by TimTh on Tue, 05/01/2012 - 9:41pm. Contributor:

Alessandro Coglio

Presented as part of the 2012 HCSS conference.

Abstract:

file

Network Vulnerability Analysis, A Formal Approach

Submitted by TimTh on Mon, 02/13/2012 - 5:38pm. Contributors:

file

An Approach to Software Vulnerability Analysis (SVA)

Submitted by TimTh on Mon, 02/13/2012 - 5:34pm. Contributor:

James McDonald

Presented as part of the 2001 HCSS conference .

file

A Formal Specification of Java - Class Loading

Submitted by TimTh on Mon, 02/13/2012 - 5:29pm. Contributors:

file

Toward a Provably-Correct Implementation of the JVM Bytecode Verifier

Submitted by TimTh on Mon, 02/13/2012 - 5:25pm. Contributors:

file

High Assurance Java Virtual Machine

Submitted by brad_martin on Mon, 02/13/2012 - 5:15pm. Contributor:

Alessandro Coglio

Presented as part of the 2001 HCSS conference .

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

Kestrel Institute

An Information Architecture Platform for Mobile, Secure, and Resilient Distributed Systems

Generating Proof-Carrying Code for the UDP protocol

Axe: An Automated Formal Equivalence Checking Tool for Programs

Synthesis of Concurrent Garbage Collectors

VIBRANCE: Automatic Removal of Security Vulnerabilities from Java Applications

Network Vulnerability Analysis, A Formal Approach

An Approach to Software Vulnerability Analysis (SVA)

A Formal Specification of Java - Class Loading

Toward a Provably-Correct Implementation of the JVM Bytecode Verifier

High Assurance Java Virtual Machine