3 citations · 3 across the 13 of their papers we have counts for
1 paper · 1 filter
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…