1. Eliminating Implicit Information Leaks by Transformational Typing and Unification

Köpf, Boris Alexander und Mantel, Heiko (2005)

Reports

2. Formal approaches to countering side-channel attacks

Köpf, Boris Alexander (2007)

Dissertationen und Habilitationen

3. Timing-sensitive information flow analysis for synchronous systems

Köpf, Boris Alexander und Basin, David A.

Reports