Tomas Flanagan

Statistics

Publications

Citations

H-Index

Active since

2003

Affiliations

Tomas Flanagan is an author at University of Limerick specializing in protocol formal verification, cryptographic protocols, and security protocol verification.

Publications per year

2003–2003

Publications

Formal verification: an imperative step in the design of security protocols

Tom Coffey, Reiner Dojen, Tomas Flanagan · Computer Networks · 2003 · 31 citations

Computing, Computer Engineering, Computer Science +16

On the automated implementation of modal logics used to verify security protocols

Tom Coffey, Reiner Dojen, Tomas Flanagan · 2003 · 11 citations

Computing, Computer Engineering, Computer Science +17

1–2 of 2