1 paper
Clément Aubert, Ross Horne, Christian Johansen +1
An ever-increasing number of critical infrastructures rely heavily on the assumption that security protocols satisfy a wealth of requirements. Hence, the importance of certifying e…