| Project Title | Involved Team Members | Description |
| 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. |