A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
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.
Submitted by Hamed Okhravi on October 30th, 2013
Abstract:
The objective of this research is to develop energy-efficient integrity estab- lishment techniques for dynamic networks of cyber physical devices. In such dynamic networks, devices connect opportunistically and perform general-purpose computations on behalf of other devices. However, some devices may be malicious in intent and affect the integrity of computation. The approach is to develop new trust establishment mechanisms for dynamic networks.
Submitted by Vinod Ganapathy on October 28th, 2013
File
Secure Telerobotics
Abstract:
Telerobotic systems, such as those used in rescue operations, remotely-operated vehicles or the next-generation robotic surgery, human operators interact with robots through a communi- cation network.
Submitted by Howard Chizeck on October 24th, 2013
Abstract:
Many academic researchers are conducting research into cybersecurity topics. Collectively, their work promises the development of a systematic body of knowledge termed the Science of Security. The current Science of Security Academic Survey project consisted of three elements: first, we conducted a systematic survey of academic researchers in computer science, electrical and computer engineering, and mathematics, to determine whether they think that a Science of Security exists or is possible.
Submitted by Dan Wolf on October 23rd, 2013
Abstract:
This project's objective is to enable assertion-‐driven development and debugging cyber-‐ physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.
Submitted by Christine Julien on October 23rd, 2013
Submitted by Anonymous on October 22nd, 2013
Submitted by S. Sastry on October 18th, 2013
Darren Cofer is a Principal Systems Engineer with Rockwell Collinsí Advanced Technology Center. He received the Ph.D. in Electrical and Computer Engineering from The University of Texas at Austin. His principal area of expertise is applying formal methods and tools to the verification and certification of high-integrity avionics systems. He is the principal investigator for the air vehicle team in DARPA's High Assurance Cyber Military Systems project, focusing on formal proof of security properties for unmanned air vehicles.
Submitted by Darren Cofer on October 18th, 2013
Speaker Bio:
Submitted by George Pappas on October 17th, 2013
Submitted by Insup Lee on October 17th, 2013