Scott David Dexter

• An adversary-centric logic of security and authenticity