Proving and analysing security protocols with Tamarin Prover Tamarin Prover Man

Speaker : Guillaume NIBERT (UPMC) Check our website : www.lincs.fr Tamarin Prover is an open source model checker for …

by Pupusse LINCS

linux foundation