Translating Combinatory Reduction Systems into the Rewriting Calculus. - Clara Bertolissi; Horatiu Cirstea; Claude Kirchner (RULE@RDP, 2003)

A Rewriting Calculus for Cyclic Higher-order Term Graphs. - Clara Bertolissi; Paolo Baldan; Horatiu Cirstea; Claude Kirchner (TERMGRAPH, 2004)

The Graph Rewriting Calculus: Confluence and Expressiveness. - Clara Bertolissi (ICTCS, 2005)

The graph rewriting calculus: properties and expressive capabilities. - Clara Bertolissi (2005)

Expressing combinatory reduction systems derivations in the rewriting calculus. - Clara Bertolissi; Horatiu Cirstea; Claude Kirchner (High. Order Symb. Comput., 2006)

Dynamic Event-Based Access Control as Term Rewriting. - Clara Bertolissi; Maribel Fernández; Steve Barker (DBSec, 2007)

The Rewriting Calculus as a Combinatory Reduction System. - Clara Bertolissi; Claude Kirchner (FoSSaCS, 2007)

Towards a Sharing Strategy for the Graph Rewriting Calculus. - Paolo Baldan; Clara Bertolissi; Horatiu Cirstea; Claude Kirchner (WRS@RDP, 2007)

An algebraic-functional framework for distributed access control. - Clara Bertolissi; Maribel Fernández (CRiSIS, 2008)

Time and Location Based Services with Access Control. - Clara Bertolissi; Maribel Fernández (NTMS, 2008)

A rewriting framework for the composition of access control policies. - Clara Bertolissi; Maribel Fernández (PPDP, 2008)

Action Control by Term Rewriting. - Steve Barker; Clara Bertolissi; Maribel Fernández (SecReT@LICS/CSF, 2008)

Distributed event-based access control. - Clara Bertolissi; Maribel Fernández (Int. J. Inf. Comput. Secur., 2009)

Category-Based Authorisation Models: Operational Semantics and Expressive Power. - Clara Bertolissi; Maribel Fernández (ESSoS, 2010)

Rewrite Specifications of Access Control Policies in Distributed Environments. - Clara Bertolissi; Maribel Fernández (STM, 2010)

Sharing in the Graph Rewriting Calculus. - Paolo Baldan; Clara Bertolissi (WADT, 2010)

Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows. - Clara Bertolissi; Silvio Ranise (FroCos, 2013)

A methodology to build run-time monitors for security-aware workflows. - Clara Bertolissi; Silvio Ranise (ICITST, 2013)

Automated analysis of rule-based access control policies. - Clara Bertolissi; Worachet Uttha (PLPV, 2013)

Towards a Reference Architecture for Access Control in Distributed Web Applications. - Worachet Uttha; Clara Bertolissi; Silvio Ranise (ESSoS Doctoral Symposium, 2014)

A metamodel of access control for distributed environments: Applications and properties. - Clara Bertolissi; Maribel Fernández (Inf. Comput., 2014)

Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes. - Clara Bertolissi; Daniel Ricardo dos Santos; Silvio Ranise (AsiaCCS, 2015)

Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies. - Worachet Uttha; Clara Bertolissi; Silvio Ranise (SECRYPT, 2015)

Analysis of access control policy updates through narrowing. - Clara Bertolissi; Jean-Marc Talbot; Didier Villevalois (PPDP, 2016)

Enhancing security in the cloud: When traceability meets access control. - Clara Bertolissi; Omar Boucelma; Worachet Uttha (ICITST, 2017)

Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques. - Clara Bertolissi; Daniel Ricardo dos Santos; Silvio Ranise (SACMAT, 2018)

Using Provenance for Secure Data Fusion in Cooperative Systems. - Clara Bertolissi; Jerry den Hartog; Nicola Zannone (SACMAT, 2019)

Admin-CBAC: An Administration Model for Category-Based Access Control. - Clara Bertolissi; Maribel Fernández; Bhavani Thuraisingham (CODASPY, 2020)

Graph-Based Specification of Admin-CBAC Policies. - Clara Bertolissi; Maribel Fernández; Bhavani Thuraisingham (CODASPY, 2021)

Formal methods applied to access control policy design, verification and enforcement. - Clara Bertolissi (2022)

Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations. - Clara Bertolissi; Maribel Fernández (SACMAT, 2022)

Data Sharing in Social Networks. - Clara Bertolissi; Alba Martinez Anton; Nicola Zannone (SACMAT, 2023)

An Axiomatic Category-Based Access Control Model for Smart Homes. - Clara Bertolissi; Maribel Fernández; Bhavani Thuraisingham (LOPSTR, 2024)

A Bargaining-Game Framework for Multi-Party Access Control. - Gelareh Hasel Mehri; Benjamin Monmege; Clara Bertolissi; Nicola Zannone (SACMAT, 2024)

Solving Access Control Conflicts in Multi-User Systems. - Alba Martinez Anton; Clara Bertolissi; Jean-Marc Talbot (SECRYPT, 2024)

Category-Based Administrative Access Control Policies. - Clara Bertolissi; Maribel Fernández; Bhavani Thuraisingham (ACM Trans. Priv. Secur., 2025)