Automatic Detection of Attacks on Cryptographic Protocols: A Case Study

Author(s):  
Ivan Cibrario B. ◽  
Luca Durante ◽  
Riccardo Sisto ◽  
Adriano Valenzano
2015 ◽  
Vol 106 (1) ◽  
pp. 69-77 ◽  
Author(s):  
Guillermo Salazar Lugo ◽  
Luis-Felipe Rodríguez ◽  
Ramona Imelda García López ◽  
Adrián Macías Estrada ◽  
Moisés Rodríguez Echeverría

2018 ◽  
Vol 19 (2) ◽  
pp. 265-274
Author(s):  
Robert Lorentsson ◽  
Nasser Hosseini ◽  
Jan-Olof Johansson ◽  
Wiebke Rosenberg ◽  
Benny Stenborg ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document