8 citations · 10 across the 5 of their papers we have counts for
5 papers
GCD: Garbled, Corrected, Demonstrandum -- Fixing and Proving Go's Extended GCD Implementation
Linard Arquint
We verify the 'extendedGCD' implementation in Go's standard library ('crypto/internal/fips140/bigmod'), which plays a crucial role in the generation of RSA key pairs. Even though t…
The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version)
Linard Arquint, Samarth Kishor, Jason R. Koenig +3
Existing program verifiers can prove advanced properties about security protocol implementations, but are difficult to scale to large codebases because of the manual effort require…
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
Linard Arquint, Felix A. Wolf, Joseph Lallemand +5
We provide a framework consisting of tools and metatheorems for the end-to-end verification of security protocols, which bridges the gap between automated protocol verification and…
A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)
Linard Arquint, Malte Schwerhoff, Vaibhav Mehta +1
Security protocols are essential building blocks of modern IT systems. Subtle flaws in their design or implementation may compromise the security of entire systems. It is, thus, im…
Gobra: Modular Specification and Verification of Go Programs (extended version)
Felix A. Wolf, Linard Arquint, Martin Clochard +3
Go is an increasingly-popular systems programming language targeting, especially, concurrent and distributed systems. Go differentiates itself from other imperative languages by of…