Author Info
Name
Affiliation
Papers
JAMES LEIFER
MSR-INRIA Joint Centre
2
Collaborators
Citations 
PageRank 
5
44
2.20
Referers 
Referees 
References 
93
65
53
Title
Citations
PageRank
Year
A secure compiler for session abstractions150.652008
Secure Implementations for Typed Session Abstractions291.552007