Knowledge Tree

researcher / Steve Kremer

Steve Kremer

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Efficient verification of observational equivalences of cryptographic processes : theory and practice

Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants

Vérification formelle de protocoles basés sur de courtes chaines authentifiées

Verification and composition of security protocols with applications to electronic voting