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

Poeplau, Sebastian
Thesis


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:

PERMALINK : https://www.eurecom.fr/publication/6331