Taxonomic Search: Carnegie Mellon University

Results 1 - 10 of 48

Results

file

Visible to the public Logical Foundations of Cyber-Physical Systems

License: 
Creative Commons 2.5

We study the logical foundations of cyber-physical systems (CPS), i.e. systems that combine cyber aspects such as communication and computer control with physical aspects such as movement in space. CPS applications abound.  Ensuring their correct functioning, however, is a serious challenge.  Scientists and engineers need analytic tools to understand and predict the behavior of their systems.  That's the key to designing smart and reliable control. 

file

Visible to the public Designed-In Security Panel

License: 
Creative Commons 2.5

Abstract:

The Designed-in Security (DIS) theme focuses on designing and producing software systems that are resistant to attacks by dramatically reducing the number of exploitable flaws. Using assurance-focused engineering practices, languages, and tools, software developers will be able to develop a system while simultaneously generating the assurance artifacts necessary to attest to the level of confidence in the system's capabilities to withstand attack.

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