research
∙
12/05/2022
A Generic Methodology for the Modular Verification of Security Protocol Implementations
Security protocols are essential building blocks of modern IT systems. S...
research
∙
10/14/2020