Taxonomic Search: Carnegie Mellon University

Results 1 - 10 of 46

Results

file

Visible to the public Security Reasoning For Distributed Systems with Uncertainties

The project team includes Andre' Platzer who is an assistant professor in the computer science department at Carnegie Mellon University. He is an expert in verification and analysis of hybrid, distributed, and stochastic dynamic systems, including cyber-physical systems.  The team further includes Erik P. Zawdzki, who is a fourth year graduate student in the computer science department at Carnegie Mellon University and is developing reasoning techniques for first-order MILPs and fast propositional solvers for probabilistic model counting.

file

Visible to the public Automatically Identifying Exploitable Bugs

License: 
Creative Commons 2.5
file

Visible to the public Parametric Verification of Address Space Separation

License: 
Creative Commons 2.5
file

Visible to the public Automatic Numeric Abstractions for Heap-Manipulating Programs

License: 
Creative Commons 2.5
file

Visible to the public An Introduction to Separation Logic

License: 
Creative Commons 2.5
file

Visible to the public Architecture-based Self-securing Systems

License: 
Creative Commons 2.5

ABSTRACT

file

Visible to the public Direct Software Assurance

License: 
Creative Commons 2.5
file

Visible to the public Foundations for Survivable Systems Engineering

License: 
Creative Commons 2.5