IEEE Symposium on Security and Privacy·19 min
Industry experts analyze emerging threats surrounding Verifying and Synthesizing Constant-Resource Implementations with Types.
verifyingsynthesizingconstant-resource+3
constant-resource
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…