Alessandro Aldini

117 papers A 1B 8C 9Journal 38Unranked 43
YearRankTypeTitle / Venue / Authors
2026 — conf
A Methodology Combining NLP, Machine Learning, and LLM for the Detection of Phishing Emails.
ITASEC/SERICS
Danilo Rosati, Alessandro Aldini
2025 J jnl
A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems.
CoRR
Ludovico Fusco, Alessandro Aldini
2025 J jnl
A Rust Library for Behaviors Assessment in Software Certification.
IEEE Internet Things J.
Alessandro Aldini, Luca Ardito, Giuseppe Marco Bianco, Michele Valsesia
2025 J jnl
A logical perspective on intending to keep a true secret.
J. Log. Comput.
Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri
2025 C conf
Dynamic Decentralized Social Trust for Financial Inclusion with Regulatory Compliance.
PST
Suzana Mesquita de Borba Maranhão Moreno, Alessandro Aldini, Paul-Antoine Bisgambiglia, Jean-Marc Seigneur
2025 J jnl
Exploiting usage control for implementation and enforcement of security by contract.
Internet Things
Marco Rasori, Paolo Mori, Andrea Saracino, Alessandro Aldini
2025 C conf
Formalizing Errors in CCS with 3-Valued Logic.
COORDINATION
Alessandro Aldini, Claudio Antares Mezzina
2025 — conf
Noninterference Analysis of Deterministically Timed Reversible Systems.
QEST+FORMATS
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2025 J jnl
Noninterference Analysis of Irreversible or Reversible Systems with Nondeterminism and Probabilities.
CoRR
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2025 J jnl
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
Log. Methods Comput. Sci.
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
2025 C conf
Noninterference Analysis ofStochastically Timed Reversible Systems.
FORTE
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2025 J jnl
Privacy-preserving and reward-based mechanisms of proof of engagement.
CoRR
Matteo Marco Montanari, Alessandro Aldini
2025 B conf
Support + Belief = Decision Trust.
SIROCCO
Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri
2024 — conf
A Process Algebraic Framework for Multi-Agent Dynamic Epistemic Systems.
ICTCS
Alessandro Aldini
2024 J jnl
A probabilistic modal logic for context-aware trust based on evidence.
Int. J. Approx. Reason.
Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
2024 J jnl
A process algebraic framework for multi-agent dynamic epistemic systems.
CoRR
Alessandro Aldini
2024 J jnl
Enabling compliant and inclusive financial services using a rule-language.
Int. J. Appl. Cryptogr.
Alessandro Aldini, Suzana Mesquita de Borba Maranhão Moreno, Jean-Marc Seigneur
2024 — conf
Hyperproperties for Safe and Secure RFID Systems.
ITASEC
Ludovico Fusco, Alessandro Aldini
2024 B conf
Image-based detection and classification of Android malware through CNN models.
ARES
Alessandro Aldini, Tommaso Petrelli
2024 C conf
Noninterference Analysis of Reversible Probabilistic Systems.
FORTE
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2024 B conf
On Group Secrets and the Metacommunicative Aspects of Revealing a True Secret.
SEFM
Alessandro Aldini, Davide Fazio, Pierluigi Graziani, Raffaele Mascella, Mirko Tagliaferri
2024 — ed.
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops - CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
SEFM Workshops
Alessandro Aldini
2024 J jnl
Support + Belief = Decision Trust.
CoRR
Alessandro Aldini, Agata Ciabattoni, Dominik Pichler, Mirko Tagliaferri
2024 J jnl
Towards Evaluating Large Language Models for Graph Query Generation.
CoRR
Siraj Munir, Alessandro Aldini
2023 C conf
A Rule-Language Tailored for Financial Inclusion and KYC/AML Compliance.
PST
Alessandro Aldini, Suzana Mesquita de Borba Maranhão Moreno, Jean-Marc Seigneur
2023 C conf
Branching Bisimulation Semantics Enables Noninterference Analysis of Reversible Systems.
FORTE
Andrea Esposito, Alessandro Aldini, Marco Bernardo
2023 — conf
Frequentist Probability Logic.
SEFM Workshops
Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri
2023 J jnl
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity.
CoRR
Andrea Esposito, Alessandro Aldini, Marco Bernardo, Sabina Rossi
2022 J jnl
From belief to trust: A quantitative framework based on modal logic.
J. Log. Comput.
Mirko Tagliaferri, Alessandro Aldini
2022 — conf
Knowledge-of-Own-Factivity, the Definition of Surprise, and a Solution to the Surprise Examination Paradox.
SEFM Workshops
Alessandro Aldini, Samuel Allen Alexander, Pierluigi Graziani
2022 J jnl
On the Modeling and Verification of Collective and Cooperative Systems.
Frontiers Robotics AI
Alessandro Aldini
2022 J jnl
On the modeling and verification of the spread of fake news, algebraically.
J. Log. Comput.
Alessandro Aldini
2021 J jnl
Analysis of Diagnostic Images of Artworks and Feature Extraction: Design of a Methodology.
J. Imaging
Annamaria Amura, Alessandro Aldini, Stefano Pagnotta, Emanuele Salerno, Anna Tonazzini, Paolo Triolo
2021 J jnl
Ask a(n)droid to tell you the odds: probabilistic security-by-contract for mobile devices.
Soft Comput.
Alessandro Aldini, Antonio La Marra, Fabio Martinelli, Andrea Saracino
2021 C conf
Trust Evidence Logic.
ECSQARU
Alessandro Aldini, Gianluca Curzi, Pierluigi Graziani, Mirko Tagliaferri
2020 — conf
Modeling and Verification of the Worth-One-Minute Security Protocols.
ITASEC
Alessandro Aldini, Alessandro Bogliolo, Saverio Delpriori, Lorenz Cuno Klopfenstein, Giorgia Remedi
2020 — ed.
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019.
QAPL
Alessandro Aldini, Herbert Wiklicky
2020 B conf
Reasoning About Ignorance and Beliefs.
SEFM
Alessandro Aldini, Pierluigi Graziani, Mirko Tagliaferri
2020 J jnl
The Italian Conference on Theoretical Computer Science.
Theor. Comput. Sci.
Alessandro Aldini, Marco Bernardo
2019 J jnl
"Worth one minute": An anonymous rewarding platform for crowd-sensing systems.
J. Commun. Networks
Lorenz Cuno Klopfenstein, Saverio Delpriori, Alessandro Aldini, Alessandro Bogliolo
2019 — conf
A Trust Logic for the Varieties of Trust.
SEFM Workshops
Mirko Tagliaferri, Alessandro Aldini
2019 — conf
Logics to Reason Formally About Trust Computation and Manipulation.
ETAA@ESORICS
Alessandro Aldini, Mirko Tagliaferri
2019 — conf
Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond.
QAPL
Alessandro Aldini
2018 C conf
A Trust Logic for Pre-Trust Computations.
FUSION
Mirko Tagliaferri, Alessandro Aldini
2018 J jnl
Design and Verification of Trusted Collective Adaptive Systems.
ACM Trans. Model. Comput. Simul.
Alessandro Aldini
2018 — conf
From Knowledge to Trust: A Logical Framework for Pre-trust Computations.
IFIPTM
Mirko Tagliaferri, Alessandro Aldini
2018 — conf
Introducing a flexible rewarding platform for mobile crowd-sensing applications.
PerCom Workshops
Lorenz Cuno Klopfenstein, Saverio Delpriori, Alessandro Aldini, Alessandro Bogliolo
2018 — ed.
Proceedings of the 19th Italian Conference on Theoretical Computer Science, Urbino, Italy, September 18-20, 2018.
ICTCS
Alessandro Aldini, Marco Bernardo
2018 J jnl
Process Algebraic Architectural Description Languages: Generalizing Component-Oriented Mismatch Detection in the Presence of Nonsynchronous Communications.
CoRR
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
2018 J jnl
Towards attack-resistant Aggregate Computing using trust mechanisms.
Sci. Comput. Program.
Roberto Casadei, Alessandro Aldini, Mirko Viroli
2017 — conf
Combining Trust and Aggregate Computing.
SEFM Workshops
Roberto Casadei, Alessandro Aldini, Mirko Viroli
2017 J jnl
Design and validation of a trust-based opportunity-enabled risk management system.
Inf. Comput. Secur.
Alessandro Aldini, Jean-Marc Seigneur, Carlos Ballester Lafuente, Xavier Titi, Jonathan Guislain
2016 — conf
A Formal Framework for Modeling Trust and Reputation in Collective Adaptive Systems.
FORECAST@STAF
Alessandro Aldini
2016 — ed.
Data Privacy Management and Security Assurance - 11th International Workshop, DPM 2016 and 5th International Workshop, QASA 2016, Heraklion, Crete, Greece, September 26-27, 2016, Proceedings
DPM/QASA@ESORICS
Giovanni Livraga, Vicenç Torra, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2016 — ed.
Data Privacy Management, and Security Assurance - 10th International Workshop, DPM 2015, and 4th International Workshop, QASA 2015, Vienna, Austria, September 21-22, 2015. Revised Selected Papers
DPM/QASA@ESORICS
Joaquín García-Alfaro, Guillermo Navarro-Arribas, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2016 — ed.
Foundations of Security Analysis and Design VIII - FOSAD 2014/2015/2016 Tutorial Lectures
FOSAD
Alessandro Aldini, Javier López, Fabio Martinelli
2016 — conf
On Probabilistic Application Compliance.
Trustcom/BigDataSE/ISPA
Antonio La Marra, Fabio Martinelli, Andrea Saracino, Alessandro Aldini
2015 — ed.
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance - 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers
DPM/SETOP/QASA
Joaquín García-Alfaro, Jordi Herrera-Joancomartí, Emil Lupu, Joachim Posegga, Alessandro Aldini, Fabio Martinelli, Neeraj Suri
2015 J jnl
Detection of repackaged mobile applications through a collaborative approach.
Concurr. Comput. Pract. Exp.
Alessandro Aldini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra
2015 — conf
Do the Self-Knowing Machines Dream of Knowing Their Factivity?
AIC
Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani
2015 — conf
Expected-Delay-Summing Weak Bisimilarity for Markov Automata.
QAPL
Alessandro Aldini, Marco Bernardo
2015 — conf
Formal Modeling and Verification of Opportunity-enabled Risk Management.
TrustCom/BigDataSE/ISPA (1)
Alessandro Aldini, Jean-Marc Seigneur, Carlos Ballester Lafuente, Xavier Titi, Jonathan Guislain
2015 J jnl
Modeling and verification of trust and reputation systems.
Secur. Commun. Networks
Alessandro Aldini
2015 — conf
Theory of Knowing Machines: Revisiting Gödel and the Mechanistic Thesis.
HaPoC
Alessandro Aldini, Vincenzo Fano, Pierluigi Graziani
2014 — conf
A Calculus for Trust and Reputation Systems.
IFIPTM
Alessandro Aldini
2014 — ed.
Foundations of Security Analysis and Design VII - FOSAD 2012/2013 Tutorial Lectures
FOSAD
Alessandro Aldini, Javier López, Fabio Martinelli
2014 — conf
On the Tradeoff among Trust, Privacy, and Cost in Incentive-Based Networks.
IFIPTM
Alessandro Aldini, Alessandro Bogliolo, Carlos Ballester Lafuente, Jean-Marc Seigneur
2013 — conf
A collaborative framework for generating probabilistic contracts.
CTS
Fabio Martinelli, Andrea Saracino, Daniele Sgandurra, Alessandro Aldini
2012 J jnl
Approximating Markovian testing equivalence.
Theor. Comput. Sci.
Alessandro Aldini
2012 B conf
Virtual currency and reputation-based cooperation incentives in user-centric networks.
IWCMC
Alessandro Bogliolo, Paolo Polidori, Alessandro Aldini, Waldir A. Moreira, Paulo Mendes, Mürsel Yildiz, Carlos Ballester Lafuente, Jean-Marc Seigneur
2011 J jnl
Component-oriented verification of noninterference.
J. Syst. Archit.
Alessandro Aldini, Marco Bernardo
2011 — ed.
Foundations of Security Analysis and Design VI - FOSAD Tutorial Lectures
FOSAD
Alessandro Aldini, Roberto Gorrieri
2011 C conf
Performability Measure Specification: Combining CSRL and MSL.
FMICS
Alessandro Aldini, Marco Bernardo, Jeremy Sproston
2010 — book
A Process Algebraic Approach to Software Architecture Design.
Alessandro Aldini, Marco Bernardo, Flavio Corradini
2010 — conf
Approximate Testing Equivalence Based on Time, Probability, and Observed Behavior
QAPL
Alessandro Aldini
2010 — ed.
Computer Performance Engineering - 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings
EPEW
Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa
2010 — ed.
Formal Methods for Quantitative Aspects of Programming Languages, 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures
SFM
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
2010 J jnl
Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation.
J. Syst. Softw.
Marco Bernardo, Edoardo Bontà, Alessandro Aldini
2009 — conf
A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference.
ARSPA-WITS
Alessandro Aldini, Marco Bernardo
2009 — ed.
Foundations of Security Analysis and Design V, FOSAD 2007/2008/2009 Tutorial Lectures
FOSAD
Alessandro Aldini, Gilles Barthe, Roberto Gorrieri
2009 — ed.
Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008
VODCA@FOSAD
Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci
2008 J jnl
Estimating the maximum information leakage.
Int. J. Inf. Sec.
Alessandro Aldini, Alessandra Di Pierro
2008 — conf
Preface.
QAPL
Alessandro Aldini, Christel Baier
2008 — conf
Preface.
VODCA@FOSAD
Alessandro Aldini, Maurice H. ter Beek, Fabio Gadducci
2008 — ed.
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, QAPL 2008, Budapest, Hungary, March 29-30, 2008
QAPL
Alessandro Aldini, Christel Baier
2008 B conf
Weak Behavioral Equivalences for Verifying Secure and Performance-Aware Component-Based Systems.
WADS
Alessandro Aldini, Marco Bernardo
2007 J jnl
A formal approach to the integrated analysis of security and QoS.
Reliab. Eng. Syst. Saf.
Alessandro Aldini, Marco Bernardo
2007 — ed.
Foundations of Security Analysis and Design IV, FOSAD 2006/2007 Tutorial Lectures
FOSAD
Alessandro Aldini, Roberto Gorrieri
2007 J jnl
Mixing logics and rewards for the component-oriented specification of performance measures.
Theor. Comput. Sci.
Alessandro Aldini, Marco Bernardo
2007 — conf
Preface.
QAPL
Alessandro Aldini, Franck van Breugel
2007 — ed.
Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, QAPL 2007, Braga, Portugal, March 24-25, 2007
QAPL
Alessandro Aldini, Franck van Breugel
2007 — conf
Weak Markovian Bisimilarity: Abstracting from Prioritized/Weighted Internal Immediate Actions.
ICTCS
Marco Bernardo, Alessandro Aldini
2006 J jnl
Classification of security properties in a Linda-like process algebra.
Sci. Comput. Program.
Alessandro Aldini
2006 — conf
Component-Oriented Specification of Performance Measures.
QAPL
Alessandro Aldini, Marco Bernardo
2005 — conf
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.
SFM
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
2005 — ed.
Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures
FOSAD
Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli
2005 J jnl
On the usability of process algebra: An architectural view.
Theor. Comput. Sci.
Alessandro Aldini, Marco Bernardo
2004 J jnl
A process-algebraic approach for the analysis of probabilistic noninterference.
J. Comput. Secur.
Alessandro Aldini, Mario Bravetti, Roberto Gorrieri
2004 B conf
An Integrated View of Security Analysis and Performance Evaluation: Trading QoS with Covert Channel Bandwidth.
SAFECOMP
Alessandro Aldini, Marco Bernardo
2004 A conf
Assessing the Impact of Dynamic Power Management on the Functionality and the Performance of Battery-Powered Appliances.
DSN
Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi
2004 — conf
On Quantitative Analysis of Probabilistic Protocols.
QAPL
Alessandro Aldini, Alessandra Di Pierro
2004 — conf
Towards a Formal Treatment of Secrecy Against Computational Adversaries.
Global Computing
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
2004 — conf
TwoTowers 4.0: Towards the Integration of Security Analysis and Performance Evaluation.
QEST
Alessandro Aldini, Marco Bernardo
2003 — conf
A General Approach to Deadlock Freedom Verification for Software Architectures.
FME
Alessandro Aldini, Marco Bernardo
2003 — conf
A Quantitative Approach to Noninterference for Probabilistic Systems.
MEFISTO
Alessandro Aldini, Alessandra Di Pierro
2003 — conf
A Study about Trade-Off between Performance and Security in an Internet Audio Mechanism.
Global Computing
Alessandro Aldini, Roberto Gorrieri
2003 — conf
Approximating Imperfect Cryptography in a Formal Model.
MEFISTO
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
2003 — conf
Coordination Model and Noninterference.
SecCo
Alessandro Aldini
2003 J jnl
Discrete time generative-reactive probabilistic processes with different advancing speeds.
Theor. Comput. Sci.
Mario Bravetti, Alessandro Aldini
2003 J jnl
On Securing Real-Time Speech Transmission over the Internet: An Experimental Study.
EURASIP J. Adv. Signal Process.
Alessandro Aldini, Marco Roccetti, Roberto Gorrieri
2002 — conf
Security Analysis of a Probabilistic Non-repudiation Protocol.
PAPM-PROBMIV
Alessandro Aldini, Roberto Gorrieri
2002 — conf
Two Formal Approaches for Approximating Noninterference Properties.
FOSAD
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
2001 J jnl
Comparing the QoS of Internet audio mechanisms via formal methods.
ACM Trans. Model. Comput. Simul.
Alessandro Aldini, Marco Bernardo, Roberto Gorrieri, Marco Roccetti
2001 — conf
Expressing Processes with Different Action Durations through Probabilities.
PAPM-PROBMIV
Mario Bravetti, Alessandro Aldini
2001 — conf
Non-determinism in Probabilistic Timed Systems with General Distributions.
MTCS
Mario Bravetti, Alessandro Aldini
2001 B conf
Probabilistic Information Flow in a Process Algebra.
CONCUR
Alessandro Aldini
2000 — conf
An Asynchronous Calculus for Generative-Reactive Probalistic Systems.
ICALP Satellite Workshops
Alessandro Aldini, Mario Bravetti