1 |
Modeling and Verifying Security Protocols with the Applied Pi Calculus and ProVerif
|
|
|
|
In: ISSN: 2474-1558 ; Foundations and Trends® in Privacy and Security ; https://hal.inria.fr/hal-01423760 ; Foundations and Trends® in Privacy and Security , Now publishers inc, 2016, 1 (1-2), pp.1 - 135. ⟨10.1561/3300000004⟩ (2016)
|
|
BASE
|
|
Show details
|
|
2 |
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
|
|
|
|
In: Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 3rd Workshop on Formal Integrated Development Environment ; https://hal.inria.fr/hal-01401849 ; 3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus ; https://sites.google.com/site/fideworkshop2016/ (2016)
|
|
BASE
|
|
Show details
|
|
|
|