Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Jean Everson Martina

Registered user since Sun 15 Jul 2018

Name:Jean Everson Martina

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.

Affiliation:UFSC - Universidade Federal de Santa Catarina
Research interests:Computer Security, Applied Formal Methods, Usable Security


Show activities from other conferences

POPL 2019-profile
View general profile