PCAL: Language Support for Proof-Carrying Authorization Systems.

Avik Chaudhuri, Deepak Garg

Browse the full ESORICS paper archive.