IEEE Symposium on Security and Privacy·19 min
Security researchers examine technical aspects of CirC: Compiler infrastructure for proof systems, software verification, and more.
infrastructurecirccompiler+2
circ
1 talk tagged with this topic.
Filters+
Loading filters…
1–1 of 1 talk · loading…