arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗

Source URL: arxiv.org

• Embedded systems
• Computer hardware
• Computing
• USB
• Electronics
• Firmware
• Intel MCS-51
• Microcontroller
• Human interface device
• Computer
• USB human interface device class

Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw

Source URL: www.ieee-security.org

• Software engineering
• Computer programming
• Computing
• Object-oriented programming languages
• KeY
• Symbolic execution
• Thread
• LLVM
• Parallel computing
• D
• Concolic testing

Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution

Source URL: smt2014.it.uu.se

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• High-level programming languages
• Abstract interpretation
• Computer science
• Symbolic execution
• D
• Pure
• Concolic testing

Symbolic Execution for a Clash-Free Subset of ASMs ? Gerhard Schellhorna , Gidon Ernsta , J¨org Pf¨ahlera , Stefan Bodenm¨ ullera , a Wolfgang Reif a Institute

Source URL: www.isse.uni-augsburg.de

Symbolic execution for BIOS security1 Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer2 Intel Corporation May 25, 2015 Abstract We are building a tool that uses symbolic execution to

Source URL: www.markrtuttle.com

Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany

Source URL: cl-informatik.uibk.ac.at

Prototyping Symbolic Execution Engines for Interpreted Languages Stefan Bucur Johannes Kinder

Source URL: dslab.epfl.ch

Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur Vlad Ureche

Source URL: dslab.epfl.ch

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov

Source URL: binsec.gforge.inria.fr

Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz

Source URL: www.sri.inf.ethz.ch