Angelo Troina

• Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici
• Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments
• Probabilistic Timed Automata for Security Analysis and Design