1. Publications
  2. Increasing the performance of symbolic execution by compiling symbolic handling into binaries
print

Increasing the performance of symbolic execution by compiling symbolic handling into binaries

Poeplau, Sebastian
Thesis


Detail
BIBTEX
Type:
Thesis
Date:
2020-11-19
Department:
Digital Security
Eurecom Ref:
6331
Copyright:
© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :
See also:
POEPLAU Sebastian
PERMALINK : https://www.eurecom.fr/publication/6331