DORAS | DCU Research Repository ***TEST***
Explore open access research and scholarly works from DCU
Advanced Search
Browse by Author
Up a level
Group by:
Date |
No GroupingNumber of items: 1.
Oehl, Frederic Enoha
(2006)
Defining an approximation to formally verify cryptographic protocols.
Master of Science thesis, Dublin City University.
This list was generated on Wed Jun 10 20:19:34 2026 UTC.