Author Info
Name
Affiliation
Papers
ANDREAS VIKTOR HESS
DTU Compute, Technical University of Denmark, Kongens, Lyngby, Denmark
1
Collaborators
Citations 
PageRank 
1
1
0.36
Referers 
Referees 
References 
2
39
20
Title
Citations
PageRank
Year
Formalizing and Proving a Typing Result for Security Protocols in Isabelle/HOL10.362017