cole-cooke documents

1 Types and Effects for Asymmetric Cryptographic Protocols Andy Gordon, Microsoft Research Joint work with Alan Jeffrey, DePaul University Imperial College,
Documents 1 Types and Effects for Asymmetric Cryptographic Protocols Andy Gordon, Microsoft Research Joint work with Alan Jeffrey, DePaul University Imperial College,
1 Critical appraisal of research Sarah Lawson sarah.lawson@kcl.ac.uk sarah.lawson@kcl.ac.uk
Documents 1 Critical appraisal of research Sarah Lawson [email protected] [email protected]