- 21
- 6
- 5
- 5
- 4
- 3
- 3
- 1
Presentation
Publications
- 10
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 6
- 2
- 5
- 2
- 6
- 5
- 2
- 4
- 1
- 3
- 3
- 1
- 2
- 1
- 1
- 3
|
Hidden Issuer Anonymous CredentialProceedings on Privacy Enhancing Technologies, 2022, 2022, pp.571 - 607. ⟨10.56553/popets-2022-0123⟩
Journal articles
hal-03789485v1
|
Protection des données personnelles dans le système d'informationTechniques de l'Ingénieur, 2015, Sécurité des SI : organisation dans l'entreprise et législation, TIB458DUO (h5455), pp.21
Journal articles
hal-01221892v1
|
|
|
La protection des données personnelles, un enjeu organisationnel et techniqueFlux - Cahiers scientifiques internationaux Réseaux et territoires, 2013, 274, pp.VIII-IX
Journal articles
hal-00845803v1
|
Outils informatiques pour la protection de la vie privéeInterstices, 2011, http://interstices.info/outils-protection
Journal articles
hal-00657244v1
|
|
Representing privacy regulations with deontico-temporal operatorsWeb Intelligence and Agent Systems, 2011, 9 (3), pp.209-226. ⟨10.3233/WIA-2011-0215⟩
Journal articles
hal-00657248v1
|
|
Déléguer la protection des données personnelles à des agents cognitifsRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2010, 24 (3), pp.357-390. ⟨10.3166/ria.24.357-390⟩
Journal articles
hal-00547336v1
|
|
Une architecture pour la protection étendue des données personnellesRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2010, 24 (5), pp.695-715. ⟨10.3166/ria.24.695-715⟩
Journal articles
hal-00547335v1
|
|
URSID: Automatically Refining a Single Attack Scenario into Multiple Cyber Range ArchitecturesFPS 2023 - 16th International Symposium on Foundations & Practice of Security, Dec 2023, Bordeaux, France. pp.1-16
Conference papers
hal-04317073v1
|
|
The robustness of security and privacy properties in decentralized applicationsSurveillance, Resilience & Privacy Conference 2018, Dec 2018, Paris, France
Conference papers
hal-01988306v1
|
|
Suivi de flux d'information correct sous Linux16èmes journées AFADL (Approches formelles dans l'assistance au développement de logiciels), Jun 2017, Montpellier, France. pp.19-26
Conference papers
hal-01535937v1
|
|
Information Flow Tracking for Linux Handling Concurrent System Calls and Shared Memory15th International Conference on Software Engineering and Formal Methods (SEFM 2017), Sep 2017, Trento, Italy. pp.1-16, ⟨10.1007/978-3-319-66197-1_1⟩
Conference papers
hal-01535949v1
|
|
Connectivity Graph Reconstruction for Networking Cloud Infrastructures2017 IEEE 16th International Symposium on Network Computing and Applications (NCA), Oct 2017, Cambridge, United States. ⟨10.1109/nca.2017.8171337⟩
Conference papers
hal-01612988v1
|
|
Connectivity Extraction in Cloud Infrastructures2017 13th International Conference on Network and Service Management (CNSM), Nov 2017, Tokyo, Japan. pp.1-5, ⟨10.23919/cnsm.2017.8256010⟩
Conference papers
hal-01593346v1
|
|
Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux5th International FME Workshop on Formal Methods in Software Engineering, May 2017, Buenos Aires, Argentina. pp.10-16, ⟨10.1109/FormaliSE.2017.1⟩
Conference papers
hal-01535862v1
|
The articulation between the legal and technical means of erasure of data online, from the perspective of the user6ème Atelier sur la Protection de la Vie Privée (APVP'15), Jun 2015, Mosnes, France
Conference papers
hal-01166402v1
|
|
Les techniques d'effacement des donnéesLe droit à l'oubli numérique, enjeux et perspectives, Institut de l'Ouest : Droit et Europe, Mar 2015, Rennes, France
Conference papers
hal-01241492v1
|
|
Towards a Formal Semantics for System Calls in terms of Information FlowTenth International Conference on Systems (ICONS 2015), Apr 2015, Barcelone, Spain. pp.1-4
Conference papers
hal-01149471v1
|
|
La protection des données personnelles vue par un informaticienJournées thématiques: Respect de la vie privée et services mobiles sans contact, May 2015, Meudon, France
Conference papers
hal-01241511v1
|
|
Equity-preserving Management of Privacy Conflicts in Social Network SystemsThe Sixth ASE International Conference on Privacy, Security, Risk and Trust (PASSAT 2014), Academy of Science and Engineering, Dec 2014, Cambridge, United States
Conference papers
hal-01090668v1
|
|
La vie privée sur Internet, une question de confiance ?Journée Web et Confiance, Jan 2013, Lyon, France
Conference papers
hal-00777430v1
|
|
|
Dégradation de données par publication éphémère4ème Atelier sur la Protection de la Vie Privée (APVP'13), Jun 2013, Les Loges en Josas, France
Conference papers
hal-00845567v1
|
|
Le droit à l'oubli : Présentation du projet DAO4ème Atelier sur la Protection de la Vie Privée (APVP'13), Jun 2013, Les Loges en Josas, France
Conference papers
hal-00845780v1
|
|
An Analysis Grid for Privacy-related Properties of Social Network SystemsSOCIALCOM 2013, Sep 2013, Washington D.C., United States. pp.520-525, ⟨10.1109/PASSAT/SocialCom.2013.79⟩
Conference papers
hal-00908339v1
|
Protection de la vie privée : appréhension de concepts éthiques par un agent autonomeAtelier D2A2 "Agents Autonomes et Éthique" à RFIA 2012, Jan 2012, Lyon, France
Conference papers
hal-00682660v1
|
|
Privacy Policy Requirements for Distributed Social Network SystemsAPVP'12, Jun 2012, Groix, France
Conference papers
hal-00736023v1
|
|
From SSIR to CIDre: a New Security Research Group in Rennes1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands
Conference papers
hal-00656940v1
|
|
|
Delegation of Obligations and Responsibility26th International Information Security Conference (SEC), Jun 2011, Lucerne, Switzerland. pp.197-209, ⟨10.1007/978-3-642-21424-0_16⟩
Conference papers
hal-00606018v1
|
|
The Coprelobri project: the logical approach to privacy2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France
Conference papers
hal-00606014v1
|
A dyadic operator for the gradation of desirability10th international conference on deontic logic in computer science (DEON'10), Jul 2010, Fiesole, Italy. pp.33-49, ⟨10.1007/978-3-642-14183-6_5⟩
Conference papers
hal-00547338v1
|
|
Protection de la vie privée : droit, modèles et outilsAtelier Protection de la Vie Privée, May 2010, Annecy, France
Conference papers
hal-00547343v1
|
|
|
Délégation d'agents pour la protection étendue des données personnelles17èmes Journées Francophones des Systèmes Multi-Agents (JFSMA'09), Oct 2009, Lyon, France. pp.35-46
Conference papers
inria-00425372v1
|
|
Addressing Temporal Aspects of Privacy-Related Norms18th European Conference on Artificial Intelligence (ECAI'08), ECCAI, Jul 2008, Patras, Greece. pp.863-864, ⟨10.3233/978-1-58603-891-5-863⟩
Conference papers
inria-00423802v1
|
|
Une Logique pour Raisonner sur la Protection des Données Personnelles16e congrès francophone AFRIF-AFIA sur la Reconnaissance de Formes et l'Intelligence Artificielle (RFIA'08), AFRIF - AFIA, Jan 2008, Amiens, France. 8p
Conference papers
inria-00423797v1
|
|
Obligations with deadlines and maintained interdictions in privacy regulation frameworks8th IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'08), IEEE/WIC/ACM, Dec 2008, Sidney, Australia. pp.162-168, ⟨10.1109/WIIAT.2008.168⟩
Conference papers
inria-00423807v1
|
Les systèmes multi-agents normatifs : organisations, institutions et normesColloque pluridisciplinaire Ordre et Désordre, May 2008, Grenoble, France
Conference papers
inria-00425208v1
|
|
Des systèmes normatifs comme outils de protection de la vie privée1er atelier "Intelligence Artificielle et Web Intelligence" associé à la plate-forme AFIA (IAWI'07), Jul 2007, Grenoble, France
Conference papers
hal-00405585v1
|
|
From theory to practice: forgiveness as a mechanism to repair conflicts in {CMC}4th International Conference on Trust Management (iTrust 2006), May 2006, Pisa, Italy. pp.397-411, ⟨10.1007/11755593_29⟩
Conference papers
hal-01172671v1
|
|
Proposing new ways of resolving online conflicts: an intelligent facilitation of forgiveness in {CMC}Reinventing trust, collaboration and compliance in social systems (Reinvent06) at CHI 2006, Apr 2006, Montréal, Canada
Conference papers
hal-01172684v1
|
|
|
Privacy Management in User-Centred Multi-Agent Systems7th Annual International Workshop on Engineering Societies in the Agents World (ESAW'06), Sep 2006, Dublin, Ireland. pp.354-367, ⟨10.1007/978-3-540-75524-1_20⟩
Conference papers
inria-00423731v1
|
Proposing new ways of resolving online conflicts: an intelligent facilitation of forgiveness in {CMC}Humaine WP8 Workshop on Communication and Emotion, Dec 2005, Trento, Italy
Conference papers
hal-01172658v1
|
Normes et logique déontiquePierre Marquis; Odile Papini; Henri Prade. Panorama de l'Intelligence Artificielle : Volume 1. Représentation des connaissances et formalisation des raisonnements, Cépaduès Editions, pp.215-237, 2014
Book sections
hal-00997137v1
|
|
Droits et obligations à l'ère numérique : protection de la vie privéeLisette Calderan, Bernard Hidoine et Jacques Millet. L'usager numérique, ADBS éditions, pp.63-88, 2010, Sciences et Techniques de l'Information
Book sections
hal-00606021v1
|
|
Le droit à l'oubli[Rapport de recherche] 11-25, Mission de recherche Droit et Justice. 2015, pp.216
Reports
halshs-01223778v1
|
Analyse de logs guidée par des vérifications de formules de responsabilité exprimées en CTL[Rapport de recherche] D4.1, Supélec. 2011
Reports
hal-01172702v1
|
|
Forgiveness in multi-agent systems[University works] Imperial College, Department of Computing. 2005
Reports
hal-01172645v1
|
|
Affective computing, software agents and online communities[University works] Imperial College London, Department of Computing. 2005
Reports
hal-01172636v1
|
|
Trust management formal techniques and systems[University works] Imperial College London, Department of Computing. 2004
Reports
hal-01172621v1
|
|
Agents utilisateurs pour la protection des données personnelles : modélisation logique et outils informatiquesIntelligence artificielle [cs.AI]. Université Joseph-Fourier - Grenoble I, 2009. Français. ⟨NNT : ⟩
Theses
tel-00401295v1
|