DMCA

Secure two-party computation in applied pi-calculus: models and verification

Cached

Download Links

by Sergiu Bursuc