External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Adversary Safety by Construction in a Language of Cryptographic Protocols

Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, Adam Chlipala. Adversary Safety by Construction in a Language of Cryptographic Protocols. In 35th IEEE Computer Security Foundations Symposium, CSF 2022, Haifa, Israel, August 7-10, 2022. pages 412-427, IEEE, 2022. [doi]

Authors

Timothy M. Braje

This author has not been identified. Look up 'Timothy M. Braje' in Google

Alice R. Lee

This author has not been identified. Look up 'Alice R. Lee' in Google

Andrew Wagner

This author has not been identified. Look up 'Andrew Wagner' in Google

Benjamin Kaiser

This author has not been identified. Look up 'Benjamin Kaiser' in Google

Daniel Park

This author has not been identified. Look up 'Daniel Park' in Google

Martine Kalke

This author has not been identified. Look up 'Martine Kalke' in Google

Robert K. Cunningham

This author has not been identified. Look up 'Robert K. Cunningham' in Google

Adam Chlipala

This author has not been identified. It may be one of the following persons: Look up 'Adam Chlipala' in Google
runs on