Scholar

Christoph Sprenger

Google Scholar ID: 0mJ9-PcAAAAJ

Senior researcher at ETH Zurich

formal methodsinformation securitysecurity protocols

Google Scholar↗

Citations & Impact

All-time

Citations

413

H-index

10

i10-index

11

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

2 items

VerIso: Verifiable Isolation Guarantees for Database Transactions

2025

Cited

1

Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions

arXiv.org · 2024

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)