16 citations
2 papers
cs.PL2022★ 2 cited
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs
Dan Bogdanov, Joosep Jääger, Peeter Laud +6
We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the…
eess.SY2020★ 16 cited
Robust Orbital Stabilization: A Floquet Theory-based Approach
Christian Fredrik Sætre, Anton S. Shiriaev, Leonid B. Freidovich +2
The design of robust orbitally stabilizing feedback is considered. From a known orbitally stabilizing controller for a nominal, disturbance-free system, a robustifying feedback ext…