A systematic study of cache side channels across AES implementations Mantel, Heiko Weber, Alexandra Köpf, Boris 2017 - TUHH Open Research
Transformational typing and unification for automatically correcting insecure programs Köpf, Boris Mantel, Heiko 2007 - TUHH Open Research
Eliminating implicit information leaks by transformational typing and unification Köpf, Boris Mantel, Heiko 2005 - TUHH Open Research