| Title: |
Automated Analysis of Security Protocols with Global State |
| Article URLs: |
|
| Alternative Article URLs: |
http://hal.inria.fr/docs/00/95/58/69/PDF/sapic.pdf |
| Authors: |
Steve Kremer |
-
INRIA Nancy - Grand’Est & Loria, France
|
| Robert Künnemann |
-
Saarland University, Germany, Computer Science
-
CISPA, Germany
|
| Sharing: |
Research produced artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/sp/KremerK14
|
| Author Comments: |
|