Browse by Author

Authors (A-Z) Köpf, Boris Alexander

3 Results for Köpf, Boris Alexander

Subscribe to RSS feed for this result set

1. Eliminating Implicit Information Leaks by Transformational Typing and Unification

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


Reports

2. Formal approaches to countering side-channel attacks

Köpf, Boris Alexander (2007)


Doctoral and Habilitation Theses

3. Timing-sensitive information flow analysis for synchronous systems

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


Reports