Jean Martina

Name:	Jean Martina
Affiliation:	Federal University of Santa Catarina / Brazil
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Thu Feb 02 15:30:37 +0000 2012

Public lists managed by Jean Martina

Talks given by Jean Martina

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

• An Updated Threat Model for Security Ceremonies
• A Proposed Framework for Analysing Security Ceremonies
• Verification of Multicast Protocols
• Proving Correctness of Secret Sharing Protocols using the Inductive Method
• OpenHSM: An Open key life cycle protocol for Public Key Infrastructure's Hardware Security Modules

Talks organised by Jean Martina

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Jean Martina actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.