- From: anonymous-submission-papers via GitHub <sysbot+gh@w3.org>
- Date: Wed, 07 Feb 2024 16:17:47 +0000
- To: public-html-media@w3.org
anonymous-submission-papers has just created a new issue for https://github.com/w3c/encrypted-media: == Formal Analysis of EME == Dear Authors of EME, I am an associate professor from the University of Rennes in France. With my colleagues, we have formalized EME as instantiated by Widevine (arguably the most deployed DRM). We use Tamarin to accomplish automated analysis regarding a new formalization of the concept of piracy. If you are interested about our study, we can send you a draft. Regards, Mohamed Sabt Please view or discuss this issue at https://github.com/w3c/encrypted-media/issues/522 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Wednesday, 7 February 2024 16:17:49 UTC