Author of the publication

Verifying the Reliability of Operating System-Level Information Flow Control Systems in Linux.

, , , , and . FormaliSE@ICSE, page 10-16. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Delegation of Obligations and Responsibility., , , , and . SEC, volume 354 of IFIP Advances in Information and Communication Technology, page 197-209. Springer, (2011)From Theory to Practice: Forgiveness as a Mechanism to Repair Conflicts in CMC., , and . iTrust, volume 3986 of Lecture Notes in Computer Science, page 397-411. Springer, (2006)URSID: Using formalism to Refine attack Scenarios for vulnerable Infrastructure Deployment., , , , and . CoRR, (2023)Forgiveness in multi-agent systems. Imperial College London, Dpt of Computing (supervisors: Jeremy Pitt and Keith Clark), London, United Kingdom, MSc Thesis, (September 2005)Trust management formal techniques and systems. Imperial College London, Dpt of Computing (supervisor: Fariba Sadri), London, United Kingdom, MSc ISO report, (December 2004)MSc background paper.Une logique pour raisonner sur la protection des données personnelles, and . 16e congrès francophone AFRIF-AFIA sur la Reconnaissance de Formes et l'Intelligence Artificielle (RFIA'08), Amiens, France, AFRIF-AFIA, (January 2008)Ordre et désordre : Imbrication et complémentarité des notions d'ordre et de désordre. chapter Les systèmes multi-agents normatifs : organisations, institutions et normes, L'Harmattan, (June 2009)Actes du colloque Ördre et Désordre" tenu en juin 2008 à Grenoble, France.Affective computing, software agents and online communities. Imperial College London, Dpt of Computing (supervisors: Jeremy Pitt and Keith Clark), London, United Kingdom, MSc ISO report, (April 2005)MSc background paper.Proposing new ways of resolving online conflicts: an intelligent facilitation of forgiveness in CMC., , and . Proceedings of the Workshop Reinventing trust, collaboration and compliance in social systems (Reinvent06) at CHI 2006, Montreal, Quebec, (April 2006)Des systèmes normatifs comme outils de protection de la vie privée, , , and . Intelligence Artificielle et Web Intelligence (IAWI'07), Grenoble, France, AFIA, (July 2007)