Publication Overview

Michael Backes and Boris Köpf

Quantifying Information Flow in Cryptographic Systems

Published in: Mathematical Structures in Computer Science (accepted for publication)