Taxonomic Search: ben OR rodes
Results 1 - 10 of 23
Results
file
Dr. Ben Cook is currently acting senior manager of Sandia National Laboratories’ Information and Cognitive Sciences Group, which focuses on exploratory research in data analytics, visualization, cognitive science and mathematical modeling. This group also provides stewardship of Sandia’s Cyber Engineering Research Institute facility in New Mexico.
page
Hyatt Regency Philadelphia at Penn's Landing
file
ABSTRACT
Verification of binary programs is required to assure their correct execution. However, correctness verification of binary programs often involves significant user expertise and time-consuming manual effort. We present an approach for automatically verifying some x86 binary programs using symbolic execution on a formal model of the x86 instruction set architecture. Our approach can reduce the work involved in the proof development process by automating the verification of program fragments and sometimes even complete subroutines.
- Download
- 961.88 KB
- PDF document
- 0 views
- 20 downloads
page
Program Committee
- Ben Abbot, Southwest Research Institute, USA
- Nikola Bogunovic, University of Zagreb, Croatia
- Uwe Borghoff, Universität der Bundeswehr, Germany
- Klaus Buchenrieder, The University of the German Federal Armed Forces, Munich, Germany
- Dumitru Burdescu, University of Craiova, Romania
- Zenon Chaczko, University of Technology, Sydney, Australia
- Piotr Czapiewski, MSS, LLC, USA
- Darren Dalcher, University of Middlesex, UK
- Francesca De Crescenzio, Universitá di Bologna ,
