Awesome
tamarin-shs
This repository contains the Tamarin source files that verify the security of shs.
==============================================================================
summary of summaries:
analyzed: shs_proof.spthy
cpa_resistance (all-traces): verified (81 steps)
caps_pubkey (all-traces): verified (746 steps)
delegation_reuse (all-traces): verified (10 steps)
secrecy_capabilities (all-traces): verified (62 steps)
uniqueness (all-traces): verified (611 steps)
auth_explicit (all-traces): verified (1670 steps)
secrecy_sessionkey (all-traces): verified (1618 steps)
==============================================================================
real 19m35.420s
user 115m36.980s
sys 51m8.676s