Built with and by Teycir Ben Soltane•
How to Use•FAQ•GitHub•arXiv.org•
Share:
ArXivCSExplorer
☆☆Bookmarks🏆RSSHow to UseFAQ
Home/Authors/Pascal Berrang

Pascal Berrang

1 indexed paper

Recent (6 mo)
1
With code
0
Influential cites
0
Benchmarked
0

Publications per year

1
26

Top categories

Crypto×1Logic×1

Frequent co-authors

Mirco Giacobbe1×
Jacob Swales1×
Xiao Yang1×

Research Timeline

2026
Zero-Knowledge Model Checking

The paper presents a novel technology that uses zero-knowledge proofs to formally verify a software system's correctness against a public specification without revealing the system's internal details.

Highlighted terms show continued research focus across papers

Papers

cs.CRcs.LORecentMay 1, 2026

Zero-Knowledge Model Checking

Pascal Berrang, Mirco Giacobbe, Jacob Swales, Xiao Yang

The paper presents a novel technology that uses zero-knowledge proofs to formally verify a software system's correctness against a public specification without revealing the system's internal details.

View →