Login / Signup
Formal Security Analysis of Widevine through the W3C EME Standard.
Stéphanie Delaune
Joseph Lallemand
Gwendal Patat
Florian Roudot
Mohamed Sabt
Published in:
USENIX Security Symposium (2024)
Keyphrases
</>
security analysis
security requirements
public key
high security
security properties
security model
smart card
query language
authentication protocol
image encryption
encryption scheme
formal model
information systems
high dimensional
encryption algorithm
user authentication