HASE: Hardware-Assisted Symbolic Execution

Jörg Thalheim, Pramod Bhatotia, Pedro Fonseca, Baris Kasikci

Research output: Contribution to conference › Other › peer-review

Original language	English
Number of pages	13
Publication status	Accepted/In press - 1 Feb 2018
Event	KLEE Workshop 2018 - London, United Kingdom Duration: 19 Apr 2018 → 20 Apr 2018 https://srg.doc.ic.ac.uk/klee18/

Cite this

@conference{6ac140113f3e4753ad68850daca8e654,

title = "HASE: Hardware-Assisted Symbolic Execution",

author = "J{\"o}rg Thalheim and Pramod Bhatotia and Pedro Fonseca and Baris Kasikci",

year = "2018",

month = feb,

day = "1",

language = "English",

note = "KLEE Workshop 2018 ; Conference date: 19-04-2018 Through 20-04-2018",

url = "https://srg.doc.ic.ac.uk/klee18/",

}