EasyChair Smart SlideDocs/Log in
Author: Steve Kremer

This page shows all presentations of this author published in EasyChair Smart Slide.

An extensive formal analysis of multi-factor authentication protocols

An extensive formal analysis of multi-factor authentication protocols

Charlie Jacomme and Steve Kremer

The DEEPSEC prover

The DEEPSEC prover

Vincent Cheval, Steve Kremer and Itsaka Rakotonirina

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair