Theses

• Valerio Genovese
  "Modalities in Access Control:
  Logics, Proof-theory and Applications"
  PhD Thesis, University of Luxembourg and University of Torino, 2012
  pdf

• Valerio Genovese
  "A Logical Foundation for Access Control and Trust Management:
  Fibred Security Language"
  Master Thesis, Università di Torino, 2009
  pdf

• Valerio Genovese
  "A meta model for Roles in Multi Agent Systems and Object Oriented Programming"
  Bachelor Thesis, Università di Torino, 2007
  pdf

Journals

• C. Benzmüller, D. M. Gabbay, V. Genovese and D. Rispoli
  Embedding and automating conditional logics in classical higher-order logic
  Annals of Mathematics and Artificial Intelligence, 2012
  html

• S. Barker and V. Genovese
  Access Control with Privacy Enhancements A Unified Approach
  ACM Transactions on Dependable and Secure Computing, 2012
  html

• S. Barker, G. Boella, D. M. Gabbay and V. Genovese.
  "Reasoning about Delegation and Revocation Schemes in Answer Set Programming"
  Journal of Logic and Computation, 2012
  html

• G. Boella, D. M. Gabbay, V. Genovese, and L. van der Torre.
  "Fibred Security Language"
  Studia Logica 92:395-436, 2009
  html

• S. Barker, G. Boella, D. M. Gabbay, and V. Genovese.
  "A Meta-model of Access Control in a Fibred Security Language"
  Studia Logica 92:437-477, 2009
  html

Conferences and Workshop Proceedings

• V. Genovese, D. Garg and D. Rispoli
  "Labeled Goal-directed Search in Access Control Logic"
  8th International Workshop on Security and Trust Management - STM 2012
  pdf - full version

• V. Genovese, D. Garg and D. Rispoli
  "Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction"
  25th IEEE Computer Security Foundations Symposium - CSF 2012
  pdf

• D. Garg, V. Genovese and S. Negri
  "Countermodels from Sequent Calculi in Multi-Modal Logics"
  27th Annual ACM/IEEE Symposium on Logics in Computer Science - LICS 2012
  pdf - full version

• G. Boella, S. Colombo Tosatto, A. d'Avila Garcez, V. Genovese, A. Perotti, L. van der Torre
  "Learning and Reasoning about Norms using Neural-Symbolic Systems"
  11th International Conference on Autonomous Agents and Multiagent Systems - AAMAS 2012

• Christoph Benzmüller and Valerio Genovese
  "Quantified Conditional Logics are Fragments of HOL"
  International Conference on Non-classical Modal and Predicate Logic - NCMPL 2011
  

• Steve Barker and Valerio Genovese
  "Socially Constructed Trust for Distributed Authorization"
  16th European Symposium on Research in Computer Security - ESORICS 2011
  pdf

• Valerio Genovese and Deepak Garg
  "New Modalities for Access Control Logics: Permission, Control and Ratification"
  7th International Workshop on Security and Trust Management - STM 2011
  pdf - full version

• G. Aucher, S. Barker, G. Boella, V. Genovese and L. van der Torre
  "Dynamics in Delegation and Revocation Schemes: A Logical Approach"
  25th IFIP WG 11.3 Conference on Data and Applications Security and Privacy - DBSEC 2011
  pdf

• V. Genovese, L. Giordano, V. Gliozzi and G. L. Pozzato
  "A Conditional Constructive Logic for Access Control and its Sequent Calculus"
  20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2011
  pdf

• S. Barker and V. Genovese
  "Secommunity: a Framework for Distributed Access Control"
  11th International Conference on Logic Programming and Nonmonotonic Reasoning - LPNMR 2011
  pdf

• G. Boella, S. Colombo Tosatto, A. d'Avila Garcez, V. Genovese, D. Ienco and L. van der Torre
  "Neural Symbolic Systems for Normative Agents"
  10th International Conference on Autonomous Agents and Multiagent Systems - AAMAS 2011 (short paper)
  pdf

• V. Genovese, D. Rispoli, D. M. Gabbay and L. van der Torre
  "Modal Access Control Logic: Axiomatization Semantics and FOL Theorem Proving"
  5th European Starting AI Researcher Symposium - STAIRS 2010
  pdf, link

• V. Genovese, L. Giordano, V. Gliozzi and G. L. Pozzato
  "Logics for Access Control: a Conditional Approach"
  1st International Workshop on Logics in Security - LIS 2010 (informal proceedings)
  pdf

• V. Genovese, L. Giordano, V. Gliozzi, and G. L. Pozzato
  "A Constructive Conditional Logic for Access Control: a Preliminary Report"
  19th European Conference on Artificial Intelligence - ECAI 2010 (short paper)
  pdf, poster

• G. Boella, D. M. Gabbay, V. Genovese and L. van der Torre
  "Higher-Order Coalition Logic"
  19th European Conference on Artificial Intelligence - ECAI 2010
  pdf

• S. Barker and V. Genovese
  "A Logic of Privacy"
  24th Working Conference on Data and Applications Security - DBSec 2010
  pdf

• G. Boella, S. Colombo Tosatto, A. d'Avila Garcez, V. Genovese
  "On the Relationship between I-O Logic and Connectionism"
  13th International Workshop on Non-Monontonic Reasoning (NMR2010)
  pdf

• V. Genovese, L. Giordano, V. Gliozzi and G. L. Pozzato
  "A Constructive Conditional Logic for Access Control: a Completeness Result and a Sequent Calculus"
  25th Convegno Italiano di Logica Computazionale - CILC 2010
  pdf

• G. Boella, D. M. Gabbay, V. Genovese, and L. van der Torre.
  "A Multimodal view on Access Control and Trust Management: Fibred Security Language"
  5th International Workshop on Security and Trust Management, STM09
  pdf

• G. Boella, V. Genovese, L. van der Torre and Serena Villata.
  "Checking Consistency in role oriented Dependence Networks"
  21st Benelux Conference on Artificial Intelligence, BNAIC09
  pdf

• G. Boella, D. M. Gabbay, V. Genovese, and L. van der Torre.
  "FSL - Fibred Security Language"
  4th International Workshop on Normative Multiagent Systems, NorMAS 2009, Dagstuhl, Germany, March 2009
  pdf

• M. Baldoni, G. Boella, V. Genovese, R. Grenna, A. Mugnaini and L. van der Torre.
  "A middleware for Modeling Organizations and Roles in Jade"
  International Workshop on Programming Multi-Agent Systems, ProMAS 2009
  pdf

• M. Baldoni, G.Boella, V. Genovese, R. Grenna, and L. van der Torre.
  "How to Program Organizations and Roles in the JADE Framework"
  Multiagent System Technologies, MATES 2008, volume 5244 of Lecture Notes in Artificial Intelligence (LNAI), pages 25-36, Germany, September 2008
  pdf

• V. Genovese, R. Grenna, L. van der Torre, and M. Baldoni.
  "Adding Organizations and Roles as Primitives to JADE Framework"
  3rd International Workshop on Normative Multiagent Systems, NorMAS 2008, pages 95-111, Luxembourg, July 2008
  pdf

• G. Boella, V. Genovese, R. Grenna, and L. van der Torre.
  "Merging Roles in Coordination and in Agent Deliberation"
  11th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, LNAI 5044 ,Springer, Bankok, Thailand, March 2007
  pdf

• E. Arnaudo, M. Baldoni, G. Boella, V. Genovese, and R. Grenna
  "An implementation of roles as affordances: powerJava"
  WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pp 8-13, Genova, Italy, September 2007
  pdf

• G. Boella, V. Genovese, R. Grenna, and L. van der Torre
  "Roles in Coordination and in Agent Deliberation: A Merger of Concepts"
  Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies, MALLOW-AWESOME'007, pp. 59-75, Durham, GB, September 2007
  pdf

• Valerio Genovese
  "A Meta-model for Roles: Introducing Sessions"
  2nd Workshop on Roles and Relationships in Object Oriented Programming, Multiagent Systems, and Ontologies, Berlin, Germany, July 2007
  pdf

• Valerio Genovese
  "Towards a General Framework for Modelling Roles"
  2nd International Workshop on Normative Multiagent Systems, NorMAS 2007, Dagstuhl, Germany, March 2007
  pdf

Technical Reports

• C. Benzmuller, D. M. Gabbay, V. Genovese and D. Rispoli
  Embedding and Automating Conditional Logics in Classical Higher-Order Logic
  Technical Report, arXiv.org:1106.3685.

• G. Aucher, S. Barker, G. Boella, V. Genovese and L. van der Torre
  Dynamics in Delegation and Revocation Schemes: A Logical Approach
  Technical Report, Individual and Collective Reasoning Group, University of Luxembourg, Luxembourg, May 2011
  pdf

• V. Genovese, L. Giordano, V. Gliozzi and G. L. Pozzato
  "A Conditional Constrctive Logic for Access Control and its Sequent Calculus"
  Technical Report 127/2010, Dipartimento di Informatica, Università degli Studi di Torino, Italy, February 2010
  pdf

• V. Genovese, L. Giordano, V. Gliozzi and G. L. Pozzato
  "A Constructive Conditional Logic for Access Control: a Completeness Result"
  Technical Report 125/2010, Dipartimento di Informatica, Università degli Studi di Torino, Italy, February 2010
  pdf