output
20142025
most citedThe Security Protocol Verifier ProVerif and its Horn Clause Resolution Algorithm

11 citations

Showing quant-phShow all

3 papers · 1 filter