Scholar
Linard Arquint
Google Scholar ID: V99JpsoAAAAJ
Doctoral Student, ETH Zurich
Protocol Verification
Program Verification
Security Protocols
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
171
H-index
5
i10-index
4
Publications
12
Co-authors
0
Publications
2 items
GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation
2026
Cited
0
The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
2025
Cited
0
