#proverif

icon subthematics
Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage
Category

Documents

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

Bruno Blanchet

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage Alternate Text
Category

Documents

Rapports de stage

Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

Bruno Blanchet

Book

15 pages

Flag

English

  • 1
Alternate Text