Write a Blog >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
Jean Everson Martina

Registered user since Sun 15 Jul 2018

Name: Jean Everson Martina

Bio: I am currently a Senior Lecutrer and Researcher at LabSEC (Computer Security Laboratory) – Universidade Federal de Santa Catarina. I am currently working on authentication protocols for telemedicine environments, on the formalisation of security ceremonies, the desing of IoT-tailored security protocols and Blockchain Applications. I am also a visiting lecturer in Computer Science at University of Hertfordshire working mainly as project supervisor for B.Sc. and M.Sc degrees. I received my degrees in Computer Science from the Federal University of Santa Catarina (Bachelor/2001 and MSc/2005 – supported by RNP) and where I current live. I spent sometime in Milan/Italy during 2005 pursuing some personal projects. After that I spent 5 years in the UK first as a PhD student at the Computer Lab – Cambridge University (supported by CAPES Foundation/Brazil, Cambridge Overseas Trust and Cambridge Overseas Research), working with formalizations on cryptography protocols under supervision of Professor Lawrence C Paulson and after as a Visiting Lecturer at University of Hertfordshire.

Country: Brazil

Affiliation: UFSC - Universidade Federal de Santa Catarina

Personal website: http://jeanmartina.paginas.ufsc.br/

Research interests: Computer Security, Applied Formal Methods, Usable Security


CPP 2019Committee Member in Program Committee within the CPP 2019-track
Show activities from other conferences

Using general profile