Yuri Gurevich [Speaker-Timeline] [Speaker-Links]

Tell us about missing data
Title Conference Tags
Explicating SDKs: Uncovering Assumptions Underlying Secure Authentication and Authorization USENIX-2013 - Washington, D.C.
DKAL*: Constructing Executable Specifications of Authorization Protocols ESSoS-2013 - Paris ,France