Worachet UTTHA

PhD Student, LIF, Aix-Marseille Université

Contact
Mail : worachet.uttha[at]lif.univ-mrs.fr
Adresse :
Laboratoire d’Informatique Fondamentale
Parc Scientifique de Luminy
163 avenue de Luminy - Case 901
F-13288 Marseille Cedex 9, France

Research

I'm interested in Specification and Verification of access control models and policies and Software Engineering.
Publications :

Clara Bertolissi, Worachet Uttha. Automated analysis of rule-based access control policies. In Proceedings of PLPV'13, co-located with POPL'13, Rome, Italy. ACM Press. [slide]

Report :

Spécification et vérification des politiques de sécurité basées sur la réécriture. Master thesis 2012, Aix-Marseille University. [slide]

Curriculum Vitae

Education

2012 - present
PhD Student, Laboratoire d'Informatique Fondamental de Marseille (LIF), Aix-Marseille University.

2010 - 2012
Master in Computer Science, Aix-Marseille University

2009 - 2010
Bachelor in Computer Science, Aix-Marseille University

2007 - 2009
DUT in Computer Science, Aix-Marseille University

Skills

Java, Python, C, PHP/MYSQL, Perl, OCAML, ASP.NET/C#, JavaScripts, PROMELA, SPIN, UPPAAL, HTML, CSS

Languages

Thai, English, French