DMCA

Cryptographically-sound protocol-model abstractions (2008)

by Christoph Sprenger
Venue:CSF
Citations:5 - 0 self