354 followers
8/ José Moreira, Mark Ryan, Flavio D. Garcia. Protocols for a Two-Tiered Trusted Computing Base. ESORICS 2022 https://t.co/RO761rONEf
8/ José Moreira, Mark Ryan, Flavio D. Garcia. Protocols for a Two-Tiered Trusted Computing Base. ESORICS 2022 https://t.co/RO761rONEf
RT @KuniSuzaki: Memo A Formal Analysis of the FIDO2 Protocols[ESORICS 2022] https://t.co/AtiEFZh39g FIDO2プロトコルの形式検証ソースコード https://t.co/zIph…
Categorized: https://t.co/dk0R2lRMgn
Memo A Formal Analysis of the FIDO2 Protocols[ESORICS 2022] https://t.co/AtiEFZh39g FIDO2プロトコルの形式検証ソースコード https://t.co/zIphWkBcAH