Synthesising End-to-End Security Protocols.

Charles Thevathayan, Peter Bertk, George Fernandez

Browse the full TrustCom paper archive.