Thomas Demongeot

According to our database, Thomas Demongeot authored at least 3 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Politique de contrôle de flux d'information définie par les utilisateurs pour les orchestrations de services. Mise en oeuvre dans un orchestrateur BPEL. (Information Flow Policy Defined by Users for Service Orchestration. Implementation in a BPEL orchestrator).

Thomas Demongeot

PhD thesis, 2013

2011

Preventing data leakage in service orchestration.

Thomas Demongeot, Eric Totel, Yves Le Traon

Proceedings of the 7th International Conference on Information Assurance and Security, 2011

2009

Runtime verification of declassification for imperative programs: Formal foundations.

Thomas Demongeot, Julien Mallet, Yves Le Traon

Proceedings of the CRiSIS 2009, 2009