A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)

5 December 2022

Papers citing "A Generic Methodology for the Modular Verification of Security Protocol Implementations (extended version)"

1 / 1 papers shown

Title
Symbolic Parallel Composition for Multi-language Protocol Verification Faezeh Nasrabadi Robert Künnemann Hamed Nemati 31 0 0 09 Apr 2025