Trust models and trustworthy systems

Computational Trust relies on the willingness to depend on something (or somebody) with a feeling of relative security, although negative consequences are possible. This notion plays a central role in computer-mediated interactions and, broadly, is the leitmotif of the research I am currently leading.

The two mainstreams are related to (1) trust models and trust verification and (2) verification of trustworthy systems.

Several funded projects are active on trust-related topics, like:

• PRIN projects 

  1. AsCoT-SCE (Assessing Compliance of IoT API for Security Critical Environments)  - see the following achievements of the project:

     • Exploiting usage control for implementation and enforcement of security by contract, Internet of Things, Elsevier

     • A Rust Library for Behaviours Assessment in Software Certification, IEEE Internet of Things

  2. DeKLA (Developing Kleene Logics and their Applications)

  3. NiRvAna (Noninterference and Reversibility Analysis in Private Blockchains) 

• DiSPeA project "Paradigmi di modellazione e tecniche di analisi per sistemi complessi"

The summer school FOSAD is another venue where scholars can investigate the interplay between cybersecurity and trust.

If you are interested in applying for a position, you are encouraged to contact me. Here, you can find a list of current and past collaborators (PhD students and postdocs):

• Ludovico Fusco

• Cuno Lorenz Klopfenstein

• Giuseppe Marco Bianco

• Mirko Tagliaferri

• Matteo Marco Montanari

• Siraj Munir

• Tommaso Petrelli

• Stefano Calboli

• Annamaria Amura

• Luca Sanchioni

For more details about the two main strands of research in trust models and trustworthy systems, check the following lists of publications of recent years to get some insights - see more in the bibliography and Google Scholar.

• Trust models and trust verification

  • Alessandro Aldini, Agata Ciabattoni, Dominik Pichler and Mirko Tagliaferri: Support + Belief = Decision Trust. SIROCCO 2025.

  • Alessandro Aldini: A process algebraic framework for multi-agent dynamic epistemic systems. ICTCS 2024.

  • Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri: A probabilistic modal logic for context-aware trust based on evidence. Journal of Approximate Reasoning 169 (2024)

  • Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri: Frequentist Probability Logic. CIFMA 2023.

  • Alessandro Aldini: On the modeling and verification of the spread of fake news, algebraically. Journal of Logic and Computation 32(6), 1272-1291 (2022)

  • Mirko Tagliaferri, Alessandro Aldini: From belief to trust: A quantitative framework based on modal logic. Journal of Logic and Computation 32(6), 1017-1047 (2022)

• Verification of trustworthy systems

  • Alessandro Aldini, Luca Ardito, Giuseppe Marco Bianco, Michele Valsesia: A Rust Library for Behaviours Assessment in Software Certification. IEEE Internet of Things, 2025.

  • Marco Rasori, Paolo Mori, Andrea Saracino, Alessandro Aldini: Exploiting usage control for implementation and enforcement of security by contract. Internet of Things, 33, 2025.

  • Alessandro Aldini, Luca Ardito, Giuseppe Marco Bianco, Michele Valsesia: Lich: Enhancing IoT Supply Chain Security Through Automated Firmware Analysis. DCOSS-IoT 2025.

  • Andrea Esposito, Alessandro Aldini, Marco Bernardo: Noninterference Analysis of Stochastically Timed Reversible Systems. FORTE 2025.

  • Alessandro Aldini, Claudio Antares Mezzina: Formalizing  Errors in CCS with 3-Valued Logic. COORDINATION 2025.

  • Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi: Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. Logical Methods in Computer Science, 21(1), 2025.

  • Alessandro Aldini, Suzana M.B. Maranhão Moreno, Jean-Marc Seigneur: Enabling compliant and inclusive financial services using a rule-language. International Journal of Applied Cryptography, 2025 Vol 5 No 1.

  • Siraj Munir, Alessandro Aldini: Towards Evaluating Large Language Models for Graph Query Generation. 2024 International Conference on Computational Science and Computational Intelligence.  CSCI-RTAI 2024: Research Track on Artificial Intelligence.

  • Alessandro Aldini, Tommaso Petrelli: Image-based detection and classification of Android malware through CNN models. ARES 2024.

  • Ludovico Fusco, Alessandro Aldini: Hyperproperties for Safe and Secure RFID Systems. ITASEC 2024 and HYPER 2024.

  • Andrea Esposito, Alessandro Aldini, Marco Bernardo: Noninterference Analysis of Reversible Probabilistic Systems. FORTE 2024: 39-59.

  • Andrea Esposito, Alessandro Aldini, Marco Bernardo: Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. FORTE 2023: 57-74.

  • Alessandro Aldini, Suzana Mesquita de Borba Maranhão Moreno, Jean-Marc Seigneur: A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance. PST 2023.

  • Alessandro Aldini: On the Modeling and Verification of Collective and Cooperative Systems. Frontiers Robotics AI 9 (2022).