Showing 1 - 1 results of 1 for search 'Takehiko Mieno', query time: 0.02s
Refine Results
-
1
How to Formalize Loop Iterations in Cryptographic Protocols Using ProVerif by Takehiko Mieno, Hiroyuki Okazaki, Kenichi Arai, Yuichi Futa
Published 2024-01-01
Article