9 citations
- University of OxfordGB5 papers
- The University of Texas at AustinUS3 papers
- University of California San DiegoUS2 papers
- Forschungszentrum JülichDE1 paper
- Fujitsu (Japan)JP1 paper
- Integrated Software (United States)US1 paper
- Intel (United Kingdom)GB1 paper
- Northeastern UniversityUS1 paper
- Technische Universität BerlinDE1 paper
- Universidad del NoresteMX1 paper
- University of WyomingUS1 paper
Showing 2023 · cs.LOShow all
3 papers · 2 filters
cs.LO2023★ 8 cited
Formal Verification of Zero-Knowledge Circuits
Alessandro Coglio, Eric McCarthy, Eric W. Smith
Zero-knowledge circuits are sets of equality constraints over arithmetic expressions interpreted in a prime field; they are used to encode computations in cryptographic zero-knowle…
cs.LO2023★ 1 cited
Using Counterexample Generation and Theory Exploration to Suggest Missing Hypotheses
Ruben Gamboa, Panagiotis Manolios, Eric Smith +1
Newcomers to ACL2 are sometimes surprised that ACL2 rejects formulas that they believe should be theorems, such as (REVERSE (REVERSE X)) = X. Experienced ACL2 users will recognize…
cs.LO2023
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications
Alessandro Coglio, Sol Swords
This volume contains the proceedings of the Eighteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2023), a two-day workshop held at the University…