Alessandro Aldini

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 34

Top Topics

Description Languages

Trust And Reputation Systems

Top Venues

Publications

Ludovico Fusco, Alessandro Aldini
Hyperproperties for Safe and Secure RFID Systems. ITASEC (2024)
Alessandro Aldini
A process algebraic framework for multi-agent dynamic epistemic systems. CoRR (2024)
Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
A probabilistic modal logic for context-aware trust based on evidence. Int. J. Approx. Reason. 169 (2024)
Alessandro Aldini, Tommaso Petrelli
Image-based detection and classification of Android malware through CNN models. ARES (2024)
Andrea Esposito, Alessandro Aldini, Marco Bernardo
Noninterference Analysis of Reversible Probabilistic Systems. FORTE (2024)
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, Pierluigi Graziani, Mirko Tagliaferri
Frequentist Probability Logic. SEFM Workshops (2023)
Andrea Esposito, Alessandro Aldini, Marco Bernardo
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems. FORTE (2023)
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity. CoRR (2023)
Mirko Tagliaferri, Alessandro Aldini
From belief to trust: A quantitative framework based on modal logic. J. Log. Comput. 32 (6) (2022)
Alessandro Aldini
On the Modeling and Verification of Collective and Cooperative Systems. Future Internet 9 (2022)
Alessandro Aldini
On the modeling and verification of the spread of fake news, algebraically. J. Log. Comput. 32 (6) (2022)
Alessandro Aldini, Samuel Allen Alexander, Pierluigi Graziani
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox. SEFM Workshops (2022)
Alessandro Aldini
On the Modeling and Verification of Collective and Cooperative Systems. Frontiers Robotics AI 9 (2022)
Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
Trust Evidence Logic. ECSQARU (2021)
Alessandro Aldini, Antonio La Marra, Fabio Martinelli, Andrea Saracino
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices. Soft Comput. 25 (3) (2021)
Annamaria Amura, Alessandro Aldini, Stefano Pagnotta, Emanuele Salerno, Anna Tonazzini, Paolo Triolo
Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology. J. Imaging 7 (3) (2021)
Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, Lorenz Cuno Klopfenstein, Giorgia Remedi
Modeling and Verification of the Worth-One-Minute Security Protocols. ITASEC (2020)
Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri
Reasoning About Ignorance and Beliefs. SEFM (2020)
Alessandro Aldini, Marco Bernardo
The Italian Conference on Theoretical Computer Science. Theor. Comput. Sci. 815 (2020)
Mirko Tagliaferri, Alessandro Aldini
A Trust Logic for the Varieties of Trust. SEFM Workshops (2019)
Alessandro Aldini, Mirko Tagliaferri
Logics to Reason Formally About Trust Computation and Manipulation. ETAA@ESORICS (2019)
Alessandro Aldini
Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond. QAPL@ETAPS (2019)
Lorenz Cuno Klopfenstein, Saverio Delpriori, Alessandro Aldini, Alessandro Bogliolo
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems. J. Commun. Networks 21 (5) (2019)
Alessandro Aldini
Design and Verification of Trusted Collective Adaptive Systems. ACM Trans. Model. Comput. Simul. 28 (2) (2018)
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Towards attack-resistant Aggregate Computing using trust mechanisms. Sci. Comput. Program. 167 (2018)
Lorenz Cuno Klopfenstein, Saverio Delpriori, Alessandro Aldini, Alessandro Bogliolo
Introducing a flexible rewarding platform for mobile crowd-sensing applications. PerCom Workshops (2018)
Mirko Tagliaferri, Alessandro Aldini
A Trust Logic for Pre-Trust Computations. FUSION (2018)
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications. CoRR (2018)
Mirko Tagliaferri, Alessandro Aldini
From Knowledge to Trust: A Logical Framework for Pre-trust Computations. IFIPTM (2018)
Alessandro Aldini, Jean-Marc Seigneur, Carlos Ballester Lafuente, Xavier Titi, Jonathan Guislain
Design and validation of a trust-based opportunity-enabled risk management system. Inf. Comput. Secur. 25 (1) (2017)
Roberto Casadei, Alessandro Aldini, Mirko Viroli
Combining Trust and Aggregate Computing. SEFM Workshops (2017)
Antonio La Marra, Fabio Martinelli, Andrea Saracino, Alessandro Aldini
On Probabilistic Application Compliance. Trustcom/BigDataSE/ISPA (2016)
Alessandro Aldini
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems. FORECAST@STAF (2016)
Alessandro Aldini
Modeling and verification of trust and reputation systems. Secur. Commun. Networks 8 (16) (2015)
Alessandro Aldini, Marco Bernardo
Expected-Delay-Summing Weak Bisimilarity for Markov Automata. QAPL (2015)
Alessandro Aldini, Jean-Marc Seigneur, Carlos Ballester Lafuente, Xavier Titi, Jonathan Guislain
Formal Modeling and Verification of Opportunity-enabled Risk Management. TrustCom/BigDataSE/ISPA (1) (2015)
Alessandro Aldini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
Detection of repackaged mobile applications through a collaborative approach. Concurr. Comput. Pract. Exp. 27 (11) (2015)
Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis. HaPoC (2015)
Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani
Do the Self-Knowing Machines Dream of Knowing Their Factivity? AIC (2015)
Alessandro Aldini, Alessandro Bogliolo, Carlos Ballester Lafuente, Jean-Marc Seigneur
On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based Networks. IFIPTM (2014)
Alessandro Aldini
A Calculus for Trust and Reputation Systems. IFIPTM (2014)
Fabio Martinelli, Andrea Saracino, Daniele Sgandurra, Alessandro Aldini
A collaborative framework for generating probabilistic contracts. CTS (2013)
Alessandro Bogliolo, Paolo Polidori, Alessandro Aldini, Waldir A. Moreira, Paulo Mendes, Mürsel Yildiz, Carlos Ballester Lafuente, Jean-Marc Seigneur
Virtual currency and reputation-based cooperation incentives in user-centric networks. IWCMC (2012)
Alessandro Aldini
Approximating Markovian testing equivalence. Theor. Comput. Sci. 413 (1) (2012)
Alessandro Aldini, Marco Bernardo, Jeremy Sproston
Performability Measure Specification: Combining CSRL and MSL. FMICS (2011)
Alessandro Aldini, Marco Bernardo
Component-oriented verification of noninterference. J. Syst. Archit. 57 (3) (2011)
Alessandro Aldini
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior QAPL (2010)
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation. J. Syst. Softw. 83 (8) (2010)
Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci
Preface. Electron. Notes Theor. Comput. Sci. 236 (2009)
Alessandro Aldini, Marco Bernardo
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference. ARSPA-WITS (2009)
Alessandro Aldini, Alessandra Di Pierro
Estimating the maximum information leakage. Int. J. Inf. Sec. 7 (3) (2008)
Alessandro Aldini, Christel Baier
Preface. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Alessandro Aldini, Marco Bernardo
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems. WADS (2008)
Alessandro Aldini, Marco Bernardo
A formal approach to the integrated analysis of security and QoS. Reliab. Eng. Syst. Saf. 92 (11) (2007)
Alessandro Aldini, Franck van Breugel
Preface. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Marco Bernardo, Alessandro Aldini
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions. ICTCS (2007)
Alessandro Aldini, Marco Bernardo
Mixing logics and rewards for the component-oriented specification of performance measures. Theor. Comput. Sci. 382 (1) (2007)
Alessandro Aldini, Marco Bernardo
Component-Oriented Specification of Performance Measures. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Alessandro Aldini
Classification of security properties in a Linda-like process algebra. Sci. Comput. Program. 63 (1) (2006)
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. SFM (2005)
Alessandro Aldini, Alessandra Di Pierro
On Quantitative Analysis of Probabilistic Protocols. Electron. Notes Theor. Comput. Sci. 112 (2005)
Alessandro Aldini, Marco Bernardo
On the usability of process algebra: An architectural view. Theor. Comput. Sci. 335 (2-3) (2005)
Alessandro Aldini, Mario Bravetti, Roberto Gorrieri
A process-algebraic approach for the analysis of probabilistic noninterference. J. Comput. Secur. 12 (2) (2004)
Alessandro Aldini, Marco Bernardo
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation. QEST (2004)
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Approximating Imperfect Cryptography in a Formal Model. Electron. Notes Theor. Comput. Sci. 99 (2004)
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing (2004)
Alessandro Aldini, Alessandra Di Pierro
A Quantitative Approach to Noninterference for Probabilistic Systems. Electron. Notes Theor. Comput. Sci. 99 (2004)
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances. DSN (2004)
Alessandro Aldini, Marco Bernardo
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth. SAFECOMP (2004)
Alessandro Aldini
Coordination Model and Noninterference. Electron. Notes Theor. Comput. Sci. 85 (3) (2003)
Alessandro Aldini, Roberto Gorrieri
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism. Global Computing (2003)
Alessandro Aldini, Marco Bernardo
A General Approach to Deadlock Freedom Verification for Software Architectures. FME (2003)
Alessandro Aldini, Marco Roccetti, Roberto Gorrieri
On Securing Real-Time Speech Transmission over the Internet: An Experimental Study. EURASIP J. Adv. Signal Process. 2003 (10) (2003)
Mario Bravetti, Alessandro Aldini
Discrete time generative-reactive probabilistic processes with different advancing speeds. Theor. Comput. Sci. 290 (1) (2003)
Alessandro Aldini, Roberto Gorrieri
Security Analysis of a Probabilistic Non-repudiation Protocol. PAPM-PROBMIV (2002)
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
Two Formal Approaches for Approximating Noninterference Properties. FOSAD (2002)
Alessandro Aldini
Probabilistic Information Flow in a Process Algebra. CONCUR (2001)
Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti
Comparing the QoS of Internet audio mechanisms via formal methods. ACM Trans. Model. Comput. Simul. 11 (1) (2001)
Mario Bravetti, Alessandro Aldini
Expressing Processes with Different Action Durations through Probabilities. PAPM-PROBMIV (2001)
Mario Bravetti, Alessandro Aldini
Non-determinism in Probabilistic Timed Systems with General Distributions. Electron. Notes Theor. Comput. Sci. 52 (3) (2001)
Alessandro Aldini, Mario Bravetti
An Asynchronous Calculus for Generative-Reactive Probalistic Systems. ICALP Satellite Workshops (2000)