Reliable Evidence: Auditability by Typing.

Nataliya Guts, Cdric Fournet, Francesco Zappa Nardelli

Browse the full ESORICS paper archive.