Organize Your Lab's Research Projects with Labguru
Formal Derivation of Security Protocols Anupam DattaAnte Derek John C. Mitchell Dusko Pavlovic Stanford University Kestrel Institute HCSS April 15, 2004.
Abstraction and Refinement in Protocol Derivation Anupam DattaAnte Derek John C. Mitchell Dusko Pavlovic Stanford University Kestrel Institute CSFW June.
MPOWER From FCTC towards MPOWER B Tsogzolmaa NPO/NCD WHO/Mongolia.
English Speaking User Group The ‘Metadatacentric’ approach – End to End demonstration and discussion Jason Housley Associate Director, Data Management.
Jason Housley Associate Director, Data Management / Infrastructure, Shire
