SAPIC+: protocol verifiers of the world, unite!

Publication
USENIX Security Symposium (USENIX Security), 2022

Sur le même sujet