Search Results

AUTHOR:	`MORITZ BECK`
Found 1 entry

Quantifying the Information Leak in Cache Attacks through Symbolic Execution
Sudipta Chattopadhyay, Moritz Beck, Ahmed Rezine, Andreas Zeller
15th ACM-IEEE International Conference on Formal Methods and Models for System Designn, MEMCODE 17

( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan (v3.1, p5.2, September-2002-)