5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CR2025
Coinductive Proofs of Regular Expression Equivalence in Zero Knowledge
John Kolesar, Shan Ali, Timos Antonopoulos +1
Zero-knowledge (ZK) protocols enable software developers to provide proofs of their programs' correctness to other parties without revealing the programs themselves. Regular expres…
cs.LO2016★ 5 cited
Proceedings Fifth Workshop on Synthesis
Ruzica Piskac, Rayna Dimitrova
The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in…