research
∙
03/29/2022
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs
We present ZK-SecreC, a domain-specific language for zero-knowledge proo...
share
research
∙
07/01/2020
Equational Reasoning for MTL Type Classes
Ability to use definitions occurring in the code directly in equational ...
research
∙
06/20/2017
