Scholar

Derek Leung

Google Scholar ID: v4UZWmcAAAAJ

Graduate Student, MIT

formal verificationdistributed systemsapplied cryptography

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

801

H-index

6

i10-index

6

Publications

6

Co-authors

0

Contact

No contact links provided.

Publications

2 items

$π$Creds: Privately Inferred Credentials

2026

Cited

0

Shipwright: Proving liveness of distributed systems with Byzantine participants

2025

Cited

0

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)