IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding Sound Verification of Security Protocols: From Design to Interoperable Implementations.
protocolssoundverification+3
2 talks tagged with this topic.
Loading filters…
1–2 of 2 talks · loading…
IEEE Symposium on Security and Privacy·15 min
Industry experts analyze emerging threats surrounding Sound Verification of Security Protocols: From Design to Interoperable Implementations.
IEEE Symposium on Security and Privacy·17 min
Security researchers examine technical aspects of XCLAIM: Trustless Interoperable Cryptocurrency Backed Assets.