27 citations · 33 across the 9 of their papers we have counts for
1 paper · 1 filter
Son Ho, Cédric Fournet, Jonathan Protzenko +7
We develop a new methodology for verifying cryptographic software. We target production code written in Rust for performance and system integration, rather than verification conven…