7 citations · 7 across the 8 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…