USENIX Security ’22 – Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann – ‘SAPIC+: Protocol Verifiers Of The World, Unite!’
Our thanks to USENIX for publishing their Presenter’s outstanding USENIX Security ’22 Conference content on the organization’s’ YouTube channel.
*** This is a Security Bloggers Network syndicated blog from Infosecurity.US authored by Marc Handelman. Read the original post at: https://www.youtube-nocookie.com/embed/-GObyDlAzXM