1![arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗ arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗](https://www.pdfsearch.io/img/b5a3eb4d55ec35947804efab80273bd6.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-08-19 13:20:33
|
---|
2![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 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](https://www.pdfsearch.io/img/2947c480543c2baacf63d98f14c77bfc.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-30 18:44:12
|
---|
3![Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014
Dynamic Symbolic Execution Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014
Dynamic Symbolic Execution](https://www.pdfsearch.io/img/30e4710a31e5edb01ffc2db5aedfde1f.jpg) | Add to Reading ListSource URL: smt2014.it.uu.seLanguage: English - Date: 2014-07-20 11:22:00
|
---|
4![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 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](https://www.pdfsearch.io/img/dec8423e8a1ab5c539ee0e4c55e7c5d5.jpg) | Add to Reading ListSource URL: www.isse.uni-augsburg.deLanguage: English - Date: 2017-08-23 11:21:22
|
---|
5![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 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](https://www.pdfsearch.io/img/8fa95f64c5327bd1689f98c07e3a2e48.jpg) | Add to Reading ListSource URL: www.markrtuttle.comLanguage: English - Date: 2015-08-01 14:12:14
|
---|
6![Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany Termination Analysis of Programs with Bitvector Arithmetic by Symbolic Execution J¨ urgen Giesl LuFG Informatik 2, RWTH Aachen University, Germany](https://www.pdfsearch.io/img/2441f08c99db0ca3fcaef9d71b0219a4.jpg) | Add to Reading ListSource URL: cl-informatik.uibk.ac.atLanguage: English - Date: 2016-09-11 10:26:10
|
---|
7![Prototyping Symbolic Execution Engines for Interpreted Languages Stefan Bucur Johannes Kinder Prototyping Symbolic Execution Engines for Interpreted Languages Stefan Bucur Johannes Kinder](https://www.pdfsearch.io/img/33aeaa9932a0f70948303d380a14e12e.jpg) | Add to Reading ListSource URL: dslab.epfl.chLanguage: English - Date: 2018-08-14 09:29:24
|
---|
8![Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur Vlad Ureche Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur Vlad Ureche](https://www.pdfsearch.io/img/9078e610bc0ec7d9852ec08068f8ba95.jpg) | Add to Reading ListSource URL: dslab.epfl.chLanguage: English - Date: 2018-08-14 09:29:24
|
---|
9![Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria ? S´ebastien Bardin Nikolai Kosmatov](https://www.pdfsearch.io/img/b47319d932feb7303efcf279ab40316b.jpg) | Add to Reading ListSource URL: binsec.gforge.inria.frLanguage: English - Date: 2017-11-15 05:31:12
|
---|
10![Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz Parallelizing User-Defined Aggregations using Symbolic Execution Veselin Raychev Madanlal Musuvathi Todd Mytkowicz](https://www.pdfsearch.io/img/73c32cb23ddeae862880c728b406a213.jpg) | Add to Reading ListSource URL: www.sri.inf.ethz.chLanguage: English - Date: 2018-05-15 09:28:46
|
---|