Accéder directement au contenu

Rémi Douence

1
Documents
Affiliations actuelles
  • 495900
  • 489559

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

Functional Languages Semantics Certified Programming Haskell Agda Java Object-Oriented Languages

Publications

"yves-roudier"

Reference monitors for security and interoperability in OAuth 2.0

Ronan-Alexandre Cherrueau , Rémi Douence , Jean-Claude Royer , Mario Südholt , Anderson Santana de Oliveira
SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Communication dans un congrès hal-00846810v1