Information Security & Occasional Forays Into Adjacent Realms

Web Log

USENIX Security '22 - Vincent Cheval, Charlie Jacomme, Steve Kremer, Robert Künnemann - ‘SAPIC+: Protocol Verifiers Of The World, Unite!’ →

April 05, 2023 by Marc Handelman in USENIX, USENIX Security, Security Conferences, Regulatory Education, Cybersecurity Education, Security Education, Infosec Education, Education, Privacy, Hardware Security, USENIX NSDI '24

Our thanks to USENIX for publishing their Presenter’s outstanding USENIX Security ’22 Conference content on the organization’s’ YouTube channel.

April 05, 2023 /Marc Handelman

USENIX, USENIX Security, Security Conferences, Regulatory Education, Cybersecurity Education, Security Education, Infosec Education, Education, Privacy, Hardware Security, USENIX NSDI '24

Newer
Older