dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

XXXX Authentication Challenges in a Global Environment Stephanos Matsumoto, Carnegie Mellon University/ETH Zurich Raphael M. Reischuk, ETH Zurich Pawel Szalachowski, ETH Zurich Tiffany Hyun-Jin Kim, HRL Laboratories

Source URL: www.netsec.ethz.ch

• Cryptography
• Public-key cryptography
• Key management
• Transport Layer Security
• Internet Standards
• Public key infrastructure
• Domain Name System Security Extensions
• Public key certificate
• Certificate authority
• X.509
• DNS root zone
• Man-in-the-middle attack

UFO: Verification with Interpolants and Abstract Interpretation Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University

Source URL: arieg.bitbucket.io

• Compilers
• LLVM
• Carnegie Mellon University
• Unidentified flying object
• Mellon
• Carnegie
• Arie
• Software

PDF Document

Source URL: mellon.org

PDF Document

Source URL: mellon.org

PDF Document

Source URL: mellon.org

PDF Document

Source URL: mellon.org

DIPHONE COLLECTION AND SYNTHESIS
Kevin A. Lenzo , Alan W Black International Software Research Institute, Language Technologies Institute, Carnegie Mellon University,

Source URL: www.cs.cmu.edu

Bin He, Professor and Head Department of Biomedical Engineering, Carnegie Mellon University Ph.D., 1988, Tokyo Institute of Technology; Postdoc, Harvard University - M.I.T. Professor Bin He’s research is centered aroun

Source URL: www.bme.cmu.edu

Challenges and Solutions for Automated Repair of C Code Will Klieber Software Engineering Institute Carnegie Mellon University

Source URL: s3.amazonaws.com