Total Visits

Views
Modelling and Proving Cryptographic Protocols in the Spi Calculus using Coq60

Total Visits Per Month

March 2019April 2019May 2019June 2019July 2019August 2019September 2019
Modelling and Proving Cryptographic Protocols in the Spi Calculus using Coq361252023

File Visits

Views
Brock Tonet, Adam 2019.pdf82
1
1

Top country views

Views
United States18
China13
Canada6
Germany3
United Kingdom3
Russia3
France2
India2
Netherlands2
Egypt1

Top cities views

Views
Guangzhou5
Ann Arbor3
Redmond3
Indore2
Montréal2
Niagara-on-the-lake2
Philadelphia2
Rochester2
Wuhan2
Amsterdam1