Home

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