From november 2004, I work on my PhD thesis under the direction of Thomas Jensen and Thomas Genet at IRISA in the LANDE project.

Subject of my thesis

Tree automata completion for security analysis over programs running on embeded systems

TODO

Tree automata, security, J2ME