DMCA

Cryptographically sound implementations for communicating processes (2006)

by Pedro Adão , Cédric Fournet
Citations:16 - 4 self