Login / Signup
Timothy M. Braje
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Lightweight
Cryptographic Protocols
Standard Model
Top Venues
CSF
</>
Publications
</>
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.
CSF
(2022)