Formal Reasoning About Trusted Third Party Protocols.

Aaron Hunter

Browse the full ICAART paper archive.