Zero-overhead path prediction with progressive symbolic execution
Richard Rutledge, Sunjae Park, Haider Khan, Alessandro Orso, Milos Prvulovic, Alenka Zajic[doi] [Google Scholar] [DBLP] [Citeseer]
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE)
Volume
Pages 234-245
May 2019
Note(s): symbolic execution, side channel
Volume
Pages 234-245
May 2019
Note(s): symbolic execution, side channel