ALDINI, ALESSANDRO
ALDINI, ALESSANDRO
Dipartimento di Scienze Pure e Applicate (DiSPeA)
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems
2019 Klopfenstein, CUNO LORENZ; Delpriori, Saverio; Aldini, Alessandro; Bogliolo, Alessandro
16th International Conference on Availability, Reliability and Security - Welcome Message from the BASS Workshop Organizers
2021 Aldini, Alessandro
A Calculus for Trust and Reputation Systems
2014 Aldini, Alessandro
A Collaborative Framework for Generating Probabilistic Contracts
2013 F., Martinelli; A., Saracino; D., Sgandurra; Aldini, Alessandro
A Formal Approach to the Integrated Analysis of Security and QoS
2007 Aldini, Alessandro; Bernardo, Marco
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems
2016 Aldini, Alessandro
A Framework Balancing Privacy and Cooperation Incentives in User-Centric Networks
2015 Aldini, Alessandro
A General Approach to Deadlock Freedom Verification for Software Architectures
2003 Aldini, Alessandro; Bernardo, Marco
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
2009 Aldini, Alessandro; Bernardo, Marco
A hierarchical characterization of ignorance in epistemic Logic
2023 Aldini, Alessandro; Graziani, Pierluigi; Tagliaferri, Mirko
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management
2005 Acquaviva, Andrea; Aldini, Alessandro; Bernardo, Marco; Bogliolo, Alessandro; Bontà, Edoardo; Lattanzi, Emanuele
A Note on Knowing Machines
2015 Aldini, Alessandro; Fano, Vincenzo; Graziani, Pierluigi
A Probabilistic Formulation of Imperfect Cryptography
2003 Troina, A; Aldini, Alessandro; Gorrieri, R.
A probabilistic modal logic for context-aware trust based on evidence
2024 Aldini, Alessandro; Curzi, Gianluca; Graziani, Pierluigi; Tagliaferri, Mirko
A Process Algebraic Approach to Software Architecture Design
2010 Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio
A Process-algebraic Approach for the Analysis of Probabilistic Non-interference
2004 Aldini, Alessandro; Bravetti, M; Gorrieri, R.
A Quantitative Approach to Noninterference for Probabilistic Systems
2004 Aldini, Alessandro; DI PIERRO, A.
A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance
2023 Aldini, Alessandro; Moreno, Suzana M. B. Maranhão; Seigneur, Jean-Marc
A Secure Protocol for Voice-Operated E-Commerce Systems over IP Networks
2003 Aldini, Alessandro; Amoroso, A; Roccetti, M.
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods
1999 Aldini, Alessandro; Bernardo, Marco; Gorrieri, Roberto; Roccetti, Marco