DCSL Projects Related to
Security Protocol Design and Verification


Project TitleInvolved Team MembersDescription
Automated Verification of Security Protocols Prof. Tom Coffey, Dr. Reiner Dojen, Dr. Thomas Newe, Prof. Ioan Salomi, Mike Cronin, Francis Flannery This research proposal concerns the automated verification of cryptographic security protocols. The proposed verification technique is based on a logic of knowledge and belief.

More Details