Clara Bertolissi

ORCID

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 10

Top Venues

SACMAT

ICITST

CODASPY

ESSoS Doctoral Symposium

National Polytechnic Institute of Lorraine, Nancy, France (PHD)

Education History

National Polytechnic Institute of Lorraine, Nancy, France

PHD

Publications

Clara Bertolissi, Alba Martinez Anton, Nicola Zannone
Data Sharing in Social Networks. SACMAT (2023)
Clara Bertolissi, Maribel Fernández
Modular Composition of Access Control Policies: A Framework to Build Multi-Site Multi-Level Combinations. SACMAT (2022)
Clara Bertolissi, Maribel Fernández, Bhavani M. Thuraisingham
Graph-Based Specification of Admin-CBAC Policies. CODASPY (2021)
Clara Bertolissi, Maribel Fernández, Bhavani M. Thuraisingham
Admin-CBAC: An Administration Model for Category-Based Access Control. CODASPY (2020)
Clara Bertolissi, Jerry den Hartog, Nicola Zannone
Using Provenance for Secure Data Fusion in Cooperative Systems. SACMAT (2019)
Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise
Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques. SACMAT (2018)
Clara Bertolissi, Omar Boucelma, Worachet Uttha
Enhancing security in the cloud: When traceability meets access control. ICITST (2017)
Clara Bertolissi, Jean-Marc Talbot, Didier Villevalois
Analysis of access control policy updates through narrowing. PPDP (2016)
Worachet Uttha, Clara Bertolissi, Silvio Ranise
Modeling Authorization Policies for Web Services in Presence of Transitive Dependencies. SECRYPT (2015)
Clara Bertolissi, Daniel Ricardo dos Santos, Silvio Ranise
Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes. AsiaCCS (2015)
Worachet Uttha, Clara Bertolissi, Silvio Ranise
Towards a Reference Architecture for Access Control in Distributed Web Applications. ESSoS Doctoral Symposium (2014)
Clara Bertolissi, Maribel Fernández
A metamodel of access control for distributed environments: Applications and properties. Inf. Comput. 238 (2014)
Clara Bertolissi, Silvio Ranise
Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows. FroCos (2013)
Clara Bertolissi, Silvio Ranise
A methodology to build run-time monitors for security-aware workflows. ICITST (2013)
Clara Bertolissi, Worachet Uttha
Automated analysis of rule-based access control policies. PLPV (2013)
Clara Bertolissi, Maribel Fernández
Rewrite Specifications of Access Control Policies in Distributed Environments. STM (2010)
Clara Bertolissi, Maribel Fernández
Category-Based Authorisation Models: Operational Semantics and Expressive Power. ESSoS (2010)
Paolo Baldan, Clara Bertolissi
Sharing in the Graph Rewriting Calculus. WADT (2010)
Steve Barker, Clara Bertolissi, Maribel Fernández
Action Control by Term Rewriting. Electron. Notes Theor. Comput. Sci. 234 (2009)
Clara Bertolissi, Maribel Fernández
Distributed event-based access control. Int. J. Inf. Comput. Secur. 3 (3/4) (2009)
Clara Bertolissi, Maribel Fernández
A rewriting framework for the composition of access control policies. PPDP (2008)
Clara Bertolissi, Maribel Fernández
Time and Location Based Services with Access Control. NTMS (2008)
Clara Bertolissi, Maribel Fernández
An algebraic-functional framework for distributed access control. CRiSIS (2008)
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
Towards a Sharing Strategy for the Graph Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 204 (2008)
Clara Bertolissi, Claude Kirchner
The Rewriting Calculus as a Combinatory Reduction System. FoSSaCS (2007)
Clara Bertolissi, Maribel Fernández, Steve Barker
Dynamic Event-Based Access Control as Term Rewriting. DBSec (2007)
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
A rewriting calculus for cyclic higher-order term graphs. Math. Struct. Comput. Sci. 17 (3) (2007)
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
Expressing combinatory reduction systems derivations in the rewriting calculus. High. Order Symb. Comput. 19 (4) (2006)
Clara Bertolissi
The Graph Rewriting Calculus: Confluence and Expressiveness. ICTCS (2005)
Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner
A Rewriting Calculus for Cyclic Higher-order Term Graphs. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
Clara Bertolissi, Horatiu Cirstea, Claude Kirchner
Translating Combinatory Reduction Systems into the Rewriting Calculus. Electron. Notes Theor. Comput. Sci. 86 (2) (2003)

Clara Bertolissi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Clara Bertolissi