An Asynchronous Calculus for Generative-Reactive Probalistic Systems. - Alessandro Aldini; Mario Bravetti (ICALP Satellite Workshops, 2000)

Probabilistic Information Flow in a Process Algebra. - Alessandro Aldini (CONCUR, 2001)

Expressing Processes with Different Action Durations through Probabilities. - Mario Bravetti; Alessandro Aldini (PAPM-PROBMIV, 2001)

Non-determinism in Probabilistic Timed Systems with General Distributions. - Mario Bravetti; Alessandro Aldini (MTCS, 2001)

Comparing the QoS of Internet audio mechanisms via formal methods. - Alessandro Aldini; Marco Bernardo 001; Roberto Gorrieri; Marco Roccetti (ACM Trans. Model. Comput. Simul., 2001)

Two Formal Approaches for Approximating Noninterference Properties. - Alessandro Aldini; Mario Bravetti; Alessandra Di Pierro; Roberto Gorrieri; Chris Hankin; Herbert Wiklicky (FOSAD, 2002)

Security Analysis of a Probabilistic Non-repudiation Protocol. - Alessandro Aldini; Roberto Gorrieri (PAPM-PROBMIV, 2002)

A General Approach to Deadlock Freedom Verification for Software Architectures. - Alessandro Aldini; Marco Bernardo 001 (FME, 2003)

A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. - Alessandro Aldini; Roberto Gorrieri (Global Computing, 2003)

On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. - Alessandro Aldini; Marco Roccetti; Roberto Gorrieri (EURASIP J. Adv. Signal Process., 2003)

Coordination Model and Noninterference. - Alessandro Aldini (SecCo, 2003)

A Quantitative Approach to Noninterference for Probabilistic Systems. - Alessandro Aldini; Alessandra Di Pierro (MEFISTO, 2003)

Approximating Imperfect Cryptography in a Formal Model. - Angelo Troina; Alessandro Aldini; Roberto Gorrieri (MEFISTO, 2003)

Discrete time generative-reactive probabilistic processes with different advancing speeds. - Mario Bravetti; Alessandro Aldini (Theor. Comput. Sci., 2003)

Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. - Andrea Acquaviva; Alessandro Aldini; Marco Bernardo 001; Alessandro Bogliolo; Edoardo Bontà; Emanuele Lattanzi (DSN, 2004)

Towards a Formal Treatment of Secrecy Against Computational Adversaries. - Angelo Troina; Alessandro Aldini; Roberto Gorrieri (Global Computing, 2004)

TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. - Alessandro Aldini; Marco Bernardo 001 (QEST, 2004)

An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. - Alessandro Aldini; Marco Bernardo 001 (SAFECOMP, 2004)

On Quantitative Analysis of Probabilistic Protocols. - Alessandro Aldini; Alessandra Di Pierro (QAPL, 2004)

A process-algebraic approach for the analysis of probabilistic noninterference. - Alessandro Aldini; Mario Bravetti; Roberto Gorrieri (J. Comput. Secur., 2004)

A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. - Andrea Acquaviva; Alessandro Aldini; Marco Bernardo 001; Alessandro Bogliolo; Edoardo Bontà; Emanuele Lattanzi (SFM, 2005)

On the usability of process algebra: An architectural view. - Alessandro Aldini; Marco Bernardo 001 (Theor. Comput. Sci., 2005)

Component-Oriented Specification of Performance Measures. - Alessandro Aldini; Marco Bernardo 001 (QAPL, 2006)

Classification of security properties in a Linda-like process algebra. - Alessandro Aldini (Sci. Comput. Program., 2006)

Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. - Marco Bernardo 001; Alessandro Aldini (ICTCS, 2007)

Preface. - Alessandro Aldini; Franck van Breugel (QAPL, 2007)

A formal approach to the integrated analysis of security and QoS. - Alessandro Aldini; Marco Bernardo 001 (Reliab. Eng. Syst. Saf., 2007)

Mixing logics and rewards for the component-oriented specification of performance measures. - Alessandro Aldini; Marco Bernardo 001 (Theor. Comput. Sci., 2007)

Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. - Alessandro Aldini; Marco Bernardo 001 (WADS, 2008)

Preface. - Alessandro Aldini; Christel Baier (QAPL, 2008)

Preface. - Alessandro Aldini; Maurice H. ter Beek; Fabio Gadducci (VODCA@FOSAD, 2008)

Estimating the maximum information leakage. - Alessandro Aldini; Alessandra Di Pierro (Int. J. Inf. Sec., 2008)

A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. - Alessandro Aldini; Marco Bernardo 001 (ARSPA-WITS, 2009)

A Process Algebraic Approach to Software Architecture Design. - Alessandro Aldini; Marco Bernardo 001; Flavio Corradini (Springer, 2010)

Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior - Alessandro Aldini (QAPL, 2010)

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. - Marco Bernardo 001; Edoardo Bontà; Alessandro Aldini (J. Syst. Softw., 2010)

Performability Measure Specification: Combining CSRL and MSL. - Alessandro Aldini; Marco Bernardo 001; Jeremy Sproston (FMICS, 2011)

Component-oriented verification of noninterference. - Alessandro Aldini; Marco Bernardo 001 (J. Syst. Archit., 2011)

Virtual currency and reputation-based cooperation incentives in user-centric networks. - Alessandro Bogliolo; Paolo Polidori; Alessandro Aldini; Waldir A. Moreira; Paulo Mendes 001; Mürsel Yildiz; Carlos Ballester Lafuente; Jean-Marc Seigneur (IWCMC, 2012)

Approximating Markovian testing equivalence. - Alessandro Aldini (Theor. Comput. Sci., 2012)

A collaborative framework for generating probabilistic contracts. - Fabio Martinelli; Andrea Saracino; Daniele Sgandurra; Alessandro Aldini (CTS, 2013)

A Calculus for Trust and Reputation Systems. - Alessandro Aldini (IFIPTM, 2014)

On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based Networks. - Alessandro Aldini; Alessandro Bogliolo; Carlos Ballester Lafuente; Jean-Marc Seigneur (IFIPTM, 2014)

Do the Self-Knowing Machines Dream of Knowing Their Factivity? - Alessandro Aldini; Vincenzo Fano; Pierluigi Graziani (AIC, 2015)

Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis. - Alessandro Aldini; Vincenzo Fano; Pierluigi Graziani (HaPoC, 2015)

Formal Modeling and Verification of Opportunity-enabled Risk Management. - Alessandro Aldini; Jean-Marc Seigneur; Carlos Ballester Lafuente; Xavier Titi; Jonathan Guislain (TrustCom/BigDataSE/ISPA (1), 2015)

Detection of repackaged mobile applications through a collaborative approach. - Alessandro Aldini; Fabio Martinelli; Andrea Saracino; Daniele Sgandurra (Concurr. Comput. Pract. Exp., 2015)

Expected-Delay-Summing Weak Bisimilarity for Markov Automata. - Alessandro Aldini; Marco Bernardo 001 (QAPL, 2015)

Modeling and verification of trust and reputation systems. - Alessandro Aldini (Secur. Commun. Networks, 2015)

On Probabilistic Application Compliance. - Antonio La Marra; Fabio Martinelli; Andrea Saracino; Alessandro Aldini (Trustcom/BigDataSE/ISPA, 2016)

A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems. - Alessandro Aldini (FORECAST@STAF, 2016)

Combining Trust and Aggregate Computing. - Roberto Casadei; Alessandro Aldini; Mirko Viroli (SEFM Workshops, 2017)

Design and validation of a trust-based opportunity-enabled risk management system. - Alessandro Aldini; Jean-Marc Seigneur; Carlos Ballester Lafuente; Xavier Titi; Jonathan Guislain (Inf. Comput. Secur., 2017)

A Trust Logic for Pre-Trust Computations. - Mirko Tagliaferri; Alessandro Aldini (FUSION, 2018)

From Knowledge to Trust: A Logical Framework for Pre-trust Computations. - Mirko Tagliaferri; Alessandro Aldini (IFIPTM, 2018)

Introducing a flexible rewarding platform for mobile crowd-sensing applications. - Lorenz Cuno Klopfenstein; Saverio Delpriori; Alessandro Aldini; Alessandro Bogliolo (PerCom Workshops, 2018)

Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications. - Marco Bernardo 001; Edoardo Bontà; Alessandro Aldini (CoRR, 2018)

Towards attack-resistant Aggregate Computing using trust mechanisms. - Roberto Casadei; Alessandro Aldini; Mirko Viroli (Sci. Comput. Program., 2018)

Design and Verification of Trusted Collective Adaptive Systems. - Alessandro Aldini (ACM Trans. Model. Comput. Simul., 2018)

Logics to Reason Formally About Trust Computation and Manipulation. - Alessandro Aldini; Mirko Tagliaferri (ETAA@ESORICS, 2019)

A Trust Logic for the Varieties of Trust. - Mirko Tagliaferri; Alessandro Aldini (SEFM Workshops, 2019)

Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond. - Alessandro Aldini (QAPL@ETAPS, 2019)

"Worth one minute": An anonymous rewarding platform for crowd-sensing systems. - Lorenz Cuno Klopfenstein; Saverio Delpriori; Alessandro Aldini; Alessandro Bogliolo (J. Commun. Networks, 2019)

Modeling and Verification of the Worth-One-Minute Security Protocols. - Alessandro Aldini; Alessandro Bogliolo; Saverio Delpriori; Lorenz Cuno Klopfenstein; Giorgia Remedi (ITASEC, 2020)

Reasoning About Ignorance and Beliefs. - Alessandro Aldini; Pierluigi Graziani; Mirko Tagliaferri (SEFM, 2020)

The Italian Conference on Theoretical Computer Science. - Alessandro Aldini; Marco Bernardo 001 (Theor. Comput. Sci., 2020)

Trust Evidence Logic. - Alessandro Aldini; Gianluca Curzi; Pierluigi Graziani; Mirko Tagliaferri (ECSQARU, 2021)

Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology. - Annamaria Amura; Alessandro Aldini; Stefano Pagnotta; Emanuele Salerno; Anna Tonazzini; Paolo Triolo (J. Imaging, 2021)

Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices. - Alessandro Aldini; Antonio La Marra; Fabio Martinelli; Andrea Saracino (Soft Comput., 2021)

Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox. - Alessandro Aldini; Samuel Allen Alexander; Pierluigi Graziani (SEFM Workshops, 2022)

On the Modeling and Verification of Collective and Cooperative Systems. - Alessandro Aldini (Frontiers Robotics AI, 2022)

On the modeling and verification of the spread of fake news, algebraically. - Alessandro Aldini (J. Log. Comput., 2022)

From belief to trust: A quantitative framework based on modal logic. - Mirko Tagliaferri; Alessandro Aldini (J. Log. Comput., 2022)

Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (FORTE, 2023)

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

Frequentist Probability Logic. - Alessandro Aldini; Pierluigi Graziani; Mirko Tagliaferri (SEFM Workshops, 2023)

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

Noninterference Analysis of Reversible Probabilistic Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (FORTE, 2024)

A Process Algebraic Framework for Multi-Agent Dynamic Epistemic Systems. - Alessandro Aldini (ICTCS, 2024)

Hyperproperties for Safe and Secure RFID Systems. - Ludovico Fusco; Alessandro Aldini (ITASEC, 2024)

On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret. - Alessandro Aldini; Davide Fazio; Pierluigi Graziani; Raffaele Mascella; Mirko Tagliaferri (SEFM, 2024)

Towards Evaluating Large Language Models for Graph Query Generation. - Siraj Munir; Alessandro Aldini (CoRR, 2024)

Enabling compliant and inclusive financial services using a rule-language. - Alessandro Aldini; Suzana Mesquita de Borba Maranhão Moreno; Jean-Marc Seigneur (Int. J. Appl. Cryptogr., 2024)

A probabilistic modal logic for context-aware trust based on evidence. - Alessandro Aldini; Gianluca Curzi; Pierluigi Graziani; Mirko Tagliaferri (Int. J. Approx. Reason., 2024)

Formalizing Errors in CCS with 3-Valued Logic. - Alessandro Aldini; Claudio Antares Mezzina (COORDINATION, 2025)

Noninterference Analysis ofStochastically Timed Reversible Systems. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (FORTE, 2025)

Support + Belief = Decision Trust. - Alessandro Aldini; Agata Ciabattoni; Dominik Pichler; Mirko Tagliaferri (SIROCCO, 2025)

Exploiting usage control for implementation and enforcement of security by contract. - Marco Rasori; Paolo Mori; Andrea Saracino; Alessandro Aldini (Internet Things, 2025)

Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001; Sabina Rossi (Log. Methods Comput. Sci., 2025)

A logical perspective on intending to keep a true secret. - Alessandro Aldini; Davide Fazio; Pierluigi Graziani; Raffaele Mascella; Mirko Tagliaferri (J. Log. Comput., 2025)

Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities. - Andrea Esposito 006; Alessandro Aldini; Marco Bernardo 001 (CoRR, 2025)

Privacy-preserving and reward-based mechanisms of proof of engagement. - Matteo Marco Montanari; Alessandro Aldini (CoRR, 2025)