Our thanks to USENIX for publishing their Presenter’s outstanding USENIX Security ’22 Conference content on the organization’s’ YouTube channel.
Permalink
The post USENIX Security ’22 – Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann – ‘SAPIC+: Protocol Verifiers Of The World, Unite!’ appeared first on Security Boulevard.
