International Association for Cryptologic Research
Mitsuhiro Okada Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2010 | Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols | eprint | online |
| 2 | 2007 | Computational Semantics for Basic Protocol Logic - A Stochastic Approach | eprint | online |
Coauthors of Mitsuhiro Okada |