Login / Signup

Secure information flow and program logics.

Lennart BeringerMartin Hofmann
Published in: CSF (2007)
Keyphrases