3 Einträge gefunden

1. A systematic study of cache side channels across AES implementations

   1. Mantel, Heiko
   2. Weber, Alexandra
   3. Köpf, Boris

   2017 - TUHH Open Research
2. Transformational typing and unification for automatically correcting insecure programs

   1. Köpf, Boris
   2. Mantel, Heiko

   2007 - TUHH Open Research
3. Eliminating implicit information leaks by transformational typing and unification

   1. Köpf, Boris
   2. Mantel, Heiko

   2005 - TUHH Open Research