Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL

Article Details
Title:	Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL
Article URLs:	https://doi.org/10.1109/CSF.2017.27 http://doi.ieeecomputersociety.org/10.1109/CSF.2017.27
Alternative Article URLs:
Authors:	Andreas Viktor Hess	Technical University of Denmark, DTU Compute
Authors:	Sebastian Mödersheim	Technical University of Denmark, DTU Compute
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://www2.compute.dtu.dk/~samo/typing-soundness/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/csfw/HessM17
Author Comments:

IEEE Computer Security Foundations Symposium, CSF 2017