research
∙
03/18/2021
Zooid: a DSL for Certified Multiparty Computation
We design and implement Zooid, a domain specific language for certified ...
research
∙
10/09/2020