Thierry Sans

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 1

Top Topics

Programming Language

Oriented Programming

Top Venues

Fundam. Informaticae

Publications

Thierry Sans, Ziming Liu, Kevin Oh
A Decentralized Mnemonic Backup System for Non-custodial Cryptocurrency Wallets. FPS (2022)
Iliano Cervesato, Thierry Sans
Substructural Meta-Theory of a Type-Safe Language for Web Programming. Fundam. Informaticae 130 (1) (2014)
Thierry Sans, Iliano Cervesato, Soha Hussein
Controlling Data Flow with a Policy-Based Programming Language for the Web. NordSec (2013)
Andreas Karatsolis, Iliano Cervesato, Khaled A. Harras, Yonina Cooper, Kemal Oflazer, Nael B. Abu-Ghazaleh, Thierry Sans
Getting CS undergraduates to communicate effectively. ITiCSE (2011)
Thierry Sans, Iliano Cervesato
QWeS2T for Type-Safe Web Programming. LAM@LICS (2010)
Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia
OPA: Onion Policy Administration Model - Another approach to manage rights in DRM. SEC (2007)
Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia
A Framework to Enforce Access Control, Usage Control and Obligations. Ann. des Télécommunications 62 (11-12) (2007)
Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix
Security policy compliance with violation management. FMSE (2007)
Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans
XML-BB: A Model to Handle Relationships Protection in XML Documents. KES (3) (2007)
Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia
A Flexible and Distributed Architecture to Enforce Dynamic Access Control. SEC (2006)
Thierry Sans, Frédéric Cuppens, Nora Cuppens-Boulahia
FORM : A Federated Rights Expression Model for Open DRM Frameworks. ASIAN (2006)
Frédéric Cuppens, Fabien Autrel, Yacine Bouzida, Joaquín García, Sylvain Gombault, Thierry Sans
Anti-correlation as a criterion to select appropriate counter-measures in an intrusion detection framework. Ann. des Télécommunications 61 (1-2) (2006)
Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans
Nomad: A Security Model with Non Atomic Actions and Deadlines. CSFW (2005)
Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans
Protection of Relationships in XML Documents with the XML-BB Model. ICISS (2005)
Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Alexandre Miège
A Formal Approach to Specify and Deploy a Network Security Policy. Formal Aspects in Security and Trust (2004)
Frédéric Cuppens, Sylvain Gombault, Thierry Sans
Selecting Appropriate Counter-Measures in an Intrusion Detection Framework. CSFW (2004)