Jacob Swales

Identifiers

No identifiers captured yet.

Papers (1)

1. Zero-Knowledge Model Checking cs.CR · 2026 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Mirco Giacobbe 1 shared papers
• Pascal Berrang 1 shared papers
• Xiao Yang 1 shared papers