In the last years, AI systems, in particular neural networks, have seen ...
Reliable evaluation of adversarial defenses is a challenging task, curre...
Recent work introduces zkay, a system for specifying and enforcing data
...
Permissionless blockchains allow the execution of arbitrary programs (ca...