Contact info:
email: alessandro.aldini [at] uniurb.it
tel: +39 0722 304417
Links:
Embedded Files
Alessandro AldiniUniversità di Urbino Carlo BoDipartimento di Scienze Pure e ApplicateSezione di Informatica e MatematicaCollegio RaffaelloPiazza della Repubblica 13, 61029 Urbino
My entries:
News
News
Summer School FOSAD - Foundations of Security Analysis and Design
Join the Italian Chapter of the EATCS
IFIP WG 11.14 Secure Software and Systems Engineering
Full list of events
Research in a SMS
Research in a SMS
Design and verification of concurrent and distributed computer, network, and software systems and architectures
Research topics
Research topics
concurrency theory and (nondeterministic, probabilistic, and Markovian) process algebra
exact and approximate behavioral equivalences and equivalence checking
exact and approximate noninterference approach to information flow analysis
modal logics and model checking
reward- and logic-based specification languages
usability issues of process algebra
analysis of security, dependability, and performability
interpretation of the Church-Turing thesis
Some recent projects
Some recent projects
UNIURB research unit leader of the PRIN project AsCoT-SCE: Assessing Compliance of IoT API for Security Critical Environments
PRIN project DeKLA: Developing Kleene Logics and their Applications
PRIN project NiRvAna: Noninterference and Reversibility Analysis in Private Blockchains
Postdocs, PhD students, and scholars
Postdocs, PhD students, and scholars
In some time order: Ludovico Fusco, Cuno Lorenz Klopfenstein, Danilo Rosati, Giuseppe Marco Bianco, Mirko Tagliaferri, Matteo Marco Montanari, Siraj Munir, Tommaso Petrelli, Stefano Calboli, Annamaria Amura, Luca Sanchioni.
Books and theses
Books and theses
Security and Performance Analyses in Distributed Systems (PhD thesis)
Invited lectures
Invited lectures
talk at TU Wien, Institute of Logic & Computation (03/2023)
webinar On the Modeling and Verification of Collective and Cooperative Systems (11/2021, for the Formal Methods and Tools Group of the University of Twente - 12/2021 for the Logic, Uncertainty, Computation and Information Group of the University of Milano)
keynote speech at ETAA2019: Logics to reason formally about trust computation and manipulation
seminars Dottorato in Scienze di Base e Applicazioni:
Software modeling and verification (02/2015)
talk at Dagstuhl Seminar 12481 on Quantitative Security Analysis (11/2012): Trading Security with Quality of Experience
seminars Dottorato in Scienze della Complessità (06/2012 + 12/2012): Formal languages, grammars, and automata
talk at DiSBeF (10/2011): Perfect equivalences in an imperfect world
talk at FOSAD 2011 and at Verona Univ. (09/2011): Tradeoff between performance and security
talk at Verona Univ. (12/2007): Information flow analysis and approximate security
talk at Bologna Univ. (03/2006): Non-interference and the most powerful adversary
talk at FOSAD 2002: Non-interference properties for probabilistic processes
My Erdös number is 3 (through Franck van Breugel and Michael Makkai)
It is an old maxim of mine that when you have excluded the impossible, whatever remains, however improbable, must be the truth.
A.C.D. (1886)
Page updated
Report abuse