PublicCheck: Public Integrity Verification for Services of Run-time Deep Models
Analysts investigate attack surfaces and defenses concerning PublicCheck: Public Integrity Verification for Services of Run-time Deep Models.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
IEEE Symposium on Security and Privacy·14 min
Analysts investigate attack surfaces and defenses concerning An Interactive Prover for Protocol Verification in the Computational Model.
interactiveproverprotocol+2
IEEE Symposium on Security and Privacy·15 min
Engineers explore architecture and security mechanisms for An I/O Separation Model for Formal Verification of Kernel Implementations.
kernelseparationmodel+3
IEEE Symposium on Security and Privacy·15 min
Analysts investigate attack surfaces and defenses concerning VerX: Safety Verification of Smart Contracts.
safetysmart-contractsverx+3