- 21
- 6
- 5
- 5
- 4
- 3
- 3
- 1
Présentation
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⟩
Article dans une revue
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
Article dans une revue
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
Article dans une revue
hal-00845803v1
|
Outils informatiques pour la protection de la vie privéeInterstices, 2011, http://interstices.info/outils-protection
Article dans une revue
hal-00657244v1
|
|
Representing privacy regulations with deontico-temporal operatorsWeb Intelligence and Agent Systems, 2011, 9 (3), pp.209-226. ⟨10.3233/WIA-2011-0215⟩
Article dans une revue
hal-00657248v1
|
|
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⟩
Article dans une revue
hal-00547335v1
|
|
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⟩
Article dans une revue
hal-00547336v1
|
|
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
Communication dans un congrès
hal-04317073v1
|
|
The robustness of security and privacy properties in decentralized applicationsSurveillance, Resilience & Privacy Conference 2018, Dec 2018, Paris, France
Communication dans un congrès
hal-01988306v1
|
|
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⟩
Communication dans un congrès
hal-01535949v1
|
|
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
Communication dans un congrès
hal-01535937v1
|
|
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⟩
Communication dans un congrès
hal-01612988v1
|
|
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⟩
Communication dans un congrès
hal-01535862v1
|
|
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⟩
Communication dans un congrès
hal-01593346v1
|
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
Communication dans un congrès
hal-01166402v1
|
|
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
Communication dans un congrès
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
Communication dans un congrès
hal-01241511v1
|
|
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
Communication dans un congrès
hal-01241492v1
|
|
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
Communication dans un congrès
hal-01090668v1
|
|
|
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⟩
Communication dans un congrès
hal-00908339v1
|
La vie privée sur Internet, une question de confiance ?Journée Web et Confiance, Jan 2013, Lyon, France
Communication dans un congrès
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
Communication dans un congrès
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
Communication dans un congrès
hal-00845780v1
|
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
Communication dans un congrès
hal-00682660v1
|
|
Privacy Policy Requirements for Distributed Social Network SystemsAPVP'12, Jun 2012, Groix, France
Communication dans un congrès
hal-00736023v1
|
|
|
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⟩
Communication dans un congrès
hal-00606018v1
|
|
The Coprelobri project: the logical approach to privacy2e Atelier Protection de la Vie Privée (APVP 2011), Jun 2011, Sorèze, France
Communication dans un congrès
hal-00606014v1
|
From SSIR to CIDre: a New Security Research Group in Rennes1st SysSec Workshop, Jul 2011, Amsterdam, Netherlands
Communication dans un congrès
hal-00656940v1
|
|
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⟩
Communication dans un congrès
hal-00547338v1
|
|
Protection de la vie privée : droit, modèles et outilsAtelier Protection de la Vie Privée, May 2010, Annecy, France
Communication dans un congrès
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
Communication dans un congrès
inria-00425372v1
|
|
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
Communication dans un congrès
inria-00423797v1
|
|
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⟩
Communication dans un congrès
inria-00423802v1
|
|
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⟩
Communication dans un congrès
inria-00423807v1
|
Les systèmes multi-agents normatifs : organisations, institutions et normesColloque pluridisciplinaire Ordre et Désordre, May 2008, Grenoble, France
Communication dans un congrès
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
Communication dans un congrès
hal-00405585v1
|
|
|
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⟩
Communication dans un congrès
inria-00423731v1
|
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
Communication dans un congrès
hal-01172684v1
|
|
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⟩
Communication dans un congrès
hal-01172671v1
|
|
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
Communication dans un congrès
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
Chapitre d'ouvrage
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
Chapitre d'ouvrage
hal-00606021v1
|
|
Le droit à l'oubli[Rapport de recherche] 11-25, Mission de recherche Droit et Justice. 2015, pp.216
Rapport
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
Rapport
hal-01172702v1
|
|
Forgiveness in multi-agent systems[University works] Imperial College, Department of Computing. 2005
Rapport
hal-01172645v1
|
|
Affective computing, software agents and online communities[University works] Imperial College London, Department of Computing. 2005
Rapport
hal-01172636v1
|
|
Trust management formal techniques and systems[University works] Imperial College London, Department of Computing. 2004
Rapport
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 : ⟩
Thèse
tel-00401295v1
|