DMCA

First Building Blocks for Implementations of Security Protocols Verified in Coq

Cached

Download Links

by Reynald Affeldt , Kazuhiko Sakaguchi