Formal Methods for Computer Security Professors and Supervisors in Italy

Michele Pasquaمشاهده پروفایل

استادیار

University of GenoaItaly

Michele Pasqua is a Tenure-Track Assistant Professor in Computer Science at the University of Verona. His research focuses on software engineering, static analysis, and abstract interpretation, with active participation in conferences like ICSE, ASE, and SAS. He maintains a personal GitHub repository ( michelepasqua.github.io ) and engages in academic event organization. Research interests include automated software engineering, security testing, and formal methods for code verification. Conference involvement spans roles as program committee member (e.g., ICSE 2024, ASE 2025) and organizer (e.g., Lipari Summer School on Abstract Interpretation). No explicit awards or educational details are provided in the scraped text. Recent publication activity includes a 2024 paper (ICSE24) related to software engineering verification techniques, though full details require accessing the associated PDF or BibTeX files in his repository.

پروفایل رسمی دانشگاه

Riccardo Focardiمشاهده پروفایل

استاد

Ca' Foscari University of VeniceItaly

Riccardo Focardi is a Full Professor at Ca' Foscari University of Venice in the Department of Environmental Sciences, Computer Science and Statistics. He has held this position since September 2017, following roles as Associate Professor (2013–2017) and Researcher (1996–2002). He is also co-founder and Chief Scientist of Cryptosense and 10Sec, startups focused on cybersecurity and IoT security solutions. Education: PhD in Computer Science from the University of Bologna (1999), Laurea cum laude in Computer Science (1993). Research focuses on cybersecurity, cryptography, formal methods for security protocol analysis, and secure hardware/software systems. Notable projects include the Cryptosense Analyzer tool for cryptographic device analysis and contributions to IoT security via 10Sec's fingerprinting technologies. His work on PKCS#11 vulnerabilities and padding oracle attacks has significantly impacted practical cryptographic security. Publications emphasize applied cryptography, API security, and IoT systems. Recent work explores GAN-based authentication (EUAS-GAN) and zero-shot malware detection (Z-MDZS). Over 110 publications span top venues like CRYPTO, CCS, and IEEE S&P. Leadership roles include coordinating national cybersecurity projects (e.g., POR FESR 2017–2020), chairing conferences (ITASEC 2017, CSF 2007), and directing Ca' Foscari's Computer Science PhD program (2012–2019). Active in public engagement, including media appearances on cybersecurity trends. Labs/Teams: Cryptosense (founded 2013), 10Sec (2020), and the DAIS department's security research group. Supervised over 10 PhD students, contributing to academic-industry collaborations in secure systems.

پروفایل رسمی دانشگاه

Flaminia Luccioمشاهده پروفایل

دانشیار

Ca' Foscari University of VeniceItaly

Flaminia Luccio is an Associate Professor at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. Her research focuses on computer security, cryptography, distributed systems, and usability engineering. She has contributed to projects like the SAFE PLACE IoT security initiative and the FWS firewall analysis tool. Luccio teaches courses such as Cryptography and Advanced Algorithms at both undergraduate and graduate levels. Research: Her work spans formal verification of cryptographic protocols, secure IoT implementations, and usable security solutions for QR codes and biometric authentication. She has led projects involving secure hardware configuration for cloud environments and resilient firewall management systems. Recent contributions address side-channel vulnerabilities and malware detection through machine learning. Teaching: Courses include Cryptography (Master's), Algorithms and Data Structures (Bachelor's), and Web Technologies for Tourism (Master's). Teaching materials are accessible via her departmental website and personal profile. Collaborations: Collaborates with researchers like Riccardo Focardi on cybersecurity frameworks. Engages in interdisciplinary projects combining accessibility with technology, such as improving tourism websites for users with disabilities.

پروفایل رسمی دانشگاه

Stefano CALZAVARAمشاهده پروفایل

دانشیار

Ca' Foscari University of VeniceItaly

Stefano CALZAVARA is an Associate Professor at the Department of Environmental Sciences, Computer Science and Statistics, Ca' Foscari University of Venice. His expertise spans web security, machine learning, and formal methods. He holds a Ph.D. in Computer Science from his alma mater, following a B.A. and M.A. in the same field. His research focuses on secure web protocols, vulnerability detection, and adversarial machine learning. He teaches courses like Web Security and Computability, and contributes to the Research Institute for Complexity Communications. Notable work includes verifying tree ensembles against evasion attacks and analyzing web session security at scale. Education: Ph.D. Computer Science, Ca' Foscari University of Venice (2010-2012) M.A. Computer Science, Ca' Foscari University of Venice (2007-2009) B.A. Computer Science, Ca' Foscari University of Venice (2004-2007) Research Interests: Web security, including session integrity and content policies Machine learning robustness and certification Formal methods for protocol verification Adversarial attacks and defenses Recent Articles Trends: His recent work emphasizes securing machine learning models against adversarial attacks, formal verification of web protocols, and empirical analysis of web storage vulnerabilities. Publications appear in top venues like ACM CCS and IEEE Security Symposiums. Awards: None explicitly listed. Advising & Grants: Postdoctoral research at Ca' Foscari (2013-2015) and Saarland University (2015). Active in teaching and ethical research governance as an Ethics Commission member. Labs/Teams: Part of the Research Institute for Complexity Communications, focusing on interdisciplinary security challenges.

پروفایل رسمی دانشگاه

Luca Olivieriمشاهده پروفایل

پژوهشگر

Ca' Foscari University of VeniceItaly

Luca Olivieri is a Researcher at the Department of Environmental Sciences, Computer Science and Statistics at Ca' Foscari University of Venice. His research focuses on blockchain technology, software verification, and cybersecurity, with particular emphasis on static analysis of smart contracts and distributed ledger systems. He is affiliated with the Research Institute for Complexity and teaches courses on computer programming and software verification at both undergraduate and doctoral levels. His research interests include blockchain interoperability, smart contract security, privacy-preserving technologies, and compliance with regulations such as the EU Data Act and GDPR. He has contributed to the development of static analysis tools like GoLiSA and MichelsonLiSA, which address challenges in ensuring determinism, data integrity, and vulnerability detection in blockchain ecosystems. Recent work explores cross-chain verification, phantom reads in Hyperledger Fabric, and the integration of general-purpose programming languages (e.g., Go, Java) into blockchain development. His publications appear in venues such as ACM SAC, IEEE Access, and the International Journal on Software Tools for Technology Transfer, reflecting a strong focus on both theoretical advancements and industrial applications. Collaborations with peers like Agostino Cortesi, Fausto Spoto, and Pietro Ferrara highlight his engagement in interdisciplinary research addressing cutting-edge topics in blockchain software engineering and formal verification.

پروفایل رسمی دانشگاه

Alvise SPANO'مشاهده پروفایل

پژوهشگر

Ca' Foscari University of VeniceItaly

Alvise SPANO' is a Researcher at Ca' Foscari University of Venice, affiliated with the Department of Environmental Sciences, Computer Science and Statistics. He is also part of the Research Institute for Complexity. His academic focus includes Blockchain Programming Languages, Programming Languages, and Information Systems. Research projects include ALGOMOVE for Algorand and the RINmaker bioinformatics tool. He has taught courses like Object-Oriented Programming and Introduction to Programming at both undergraduate and doctoral levels. Research interests span smart contract analysis, type systems, and cybersecurity in distributed systems. He contributed to projects like secure RPL for mobile networks and Android-LEGO interoperability. Funding includes the CEVID 2016 project (Role: LD), collaboratively managed with researchers like Agostino Cortesi and Salvatore Orlando. His work bridges theoretical foundations (e.g., COBOL code typing) with practical applications in wearable systems and bioinformatics. Collaborations include the Blockchain Programming Languages research group with Lorenzo Benetollo and Sabina Rossi.

پروفایل رسمی دانشگاه

Amleto Di Salleمشاهده پروفایل

استادیار

European University of RomeItaly

Amleto Di Salle is an Assistant Professor at the Gran Sasso Science Institute in Italy, specializing in Software Engineering , with a focus on Software Architecture , Model-Based Engineering , and Technical Debt . He previously served as a Research Fellow at the European University of Rome and earned a Ph.D. in Computer Science from the University of L’Aquila in 2015. Research Interests : Software Architecture Model-Driven Software Engineering Distributed Systems Composition Technical Debt and Code Smells Self-Adaptive Systems Digital Twins Recent Publications show a trend toward Deep Learning for Code Analysis , Model-Driven Architecture , and Distributed System Compliance . He has collaborated extensively on projects like CHOReVOLUTION and MATISSE . Teaching spans courses on Software Engineering , Model-Driven Development , and Java/J2EE Programming at institutions including the University of L’Aquila and European University of Rome.

پروفایل رسمی دانشگاه

Fulvio Valenzaمشاهده پروفایل

استادیار

Polytechnic University of TurinItaly

Fulvio Valenza is an Assistant Professor (Fixed-Term Tenure-Track, RTD-B) at the Department of Control and Computer Engineering (DAUIN) , Polytechnic University of Turin . He is a member of the NETGROUP - Computer Networks Group and teaches courses such as Security of next-generation networks and Data Protection, Privacy, and Anonymity across multiple degree programs including Cybersecurity Engineering and Computer and Systems Engineering. Research Interests: Cybersecurity, Network Security, Security Automation, Distributed Systems, Quantum Cryptography Projects: MIRANDA (EU-funded cybersecurity research), Commercial contracts for "ESCAPE" seminar organization Research Trends in his publications focus on security automation in virtualized/cloud environments, formal verification of network policies, and optimization of security configurations for industrial and automotive systems. His work bridges theoretical methods (e.g., formal verification) with practical deployments (e.g., Kubernetes security, VNF placement). Teaching spans both the Polytechnic University of Turin and the University of Eastern Piedmont (2020-2022), covering topics in network security, cloud technologies, and cybersecurity.

پروفایل رسمی دانشگاه

Enrico Tronciمشاهده پروفایل

استاد

Sapienza University of RomeItaly

Enrico Tronci is a Full Professor in the Department of Computer Science at Università degli Studi di Roma La Sapienza , Italy. His research focuses on model checking, formal verification, and synthesis of cyber-physical systems, with applications to mission-critical and safety-critical domains such as space systems, smart grids, and healthcare. He leads the Model Checking Lab (MCLab) and has coordinated numerous national and international research projects funded by organizations including the European Community (EC), European Space Agency (ESA), and Italian Ministry of University and Research (MUR). Research Highlights : Automatic control software synthesis from closed-loop specifications Model checking algorithms for hybrid and stochastic systems Technology transfer in sectors like energy, transportation, and aerospace Teaching : Undergraduate: Software Engineering (Fall 2024) Graduate: Automatic Verification of Intelligent Systems (Fall 2024), Verification and Validation of Intelligent Systems (Spring 2025) Scientific Awards : Recipient of the IBM-Italia 1987 prize for best thesis in Artificial Intelligence Publications Trends : 2024: Scaling up model checking for cyber-physical systems via HPC 2023: Hormonal impact on behavior and fault-tolerant sensor deployments 2021-2022: In silico clinical trials, smart grid management, and scenario enumeration 2020: AI-guided diabetes patient modeling and forensic psychiatry applications Software Tools : QKS (Quantized Kontrol Synthesizer) NashMV (MAD systems verification) CMurphi (Hybrid systems model checker) FHP-Murphi (Probabilistic verification) BSP (Boolean symbolic programming)

پروفایل رسمی دانشگاه

Simone Lentiمشاهده پروفایل

استادیار

Sapienza University of RomeItaly

Simone Lenti is an Assistant Professor (Ricercatore RTDa) at the Department of Computer, Control, and Management Engineering of Sapienza University of Rome. He is an active member of the A.WA.RE research group , which specializes in visual analytics. Lenti obtained his Ph.D. in 2021 with a dissertation on visual analytics techniques for cybersecurity. His research bridges cybersecurity , visual analytics , and human-computer interaction , focusing on: Developing computational methods for vulnerability analysis (e.g., NLP for CVE relevance, smart contract taxonomies) Designing visual tools for threat detection (e.g., attack graphs, firmware fuzzing) Enhancing interpretability in data-driven systems (e.g., partial dependence analysis, process mining) Lenti's publications (2019–2025) demonstrate a consistent focus on applying visual analytics to cybersecurity challenges , with recent expansions into bioinformatics and education. Key trends include automated vulnerability management, human-centered explainability, and scalable threat modeling. Awards: IEEE VizSec 2018 Best Paper for contributions to cybersecurity visualization. He contributes to academic infrastructure through tools like easyDeclare (declarative process modeling) and BUCEPHALUS (business-centric cybersecurity analysis), emphasizing practical applications of his research.

پروفایل رسمی دانشگاه

Fabrizio Silvestriمشاهده پروفایل

استاد

Sapienza University of RomeItaly

Fabrizio Silvestri is a Full Professor at Sapienza University of Rome's Department of Computer, Automatic and Management Engineering (DIAG), where he coordinates the Ph.D. program in Data Science. He leads the RSTLess research group focusing on Robust, Safe, and Transparent Deep Learning. Research interests: Artificial Intelligence, Machine Learning, Web Search, Natural Language Processing, Information Retrieval, Graph Neural Networks Research Trends from recent publications reveal: Advancements in sequential recommendation systems using topological and sheaf-based neural networks Focus on sustainable AI through eco-aware graph neural networks Counterfactual explanations for graph models and machine unlearning Security applications in dense retrieval and data poisoning defense Time series analysis for 5G network monitoring Integration of attention mechanisms and positional encoding in Transformers Scientific Achievements : ECIR 2018 Test of Time Award 3 Best Paper Awards (ECIR 2007, IEEE WI 2004, WSDM 2011 Runner-Up) Yahoo! Patent Milestone Award Recipient of Yahoo! Labs Excellence Program (LEAP) and Faculty Research Engagement Program (FREP) Finalist for ERCIM Cor Baayen Award (2005) Academic Leadership : Holds 9 industrial patents from Yahoo! and Facebook AI. Directed Facebook AI research groups combating malicious content. Ph.D. in Computer Science from University of Pisa with thesis on High-Performance Issues in Web Search Engines . Supervises thesis projects through the RSTLess group website .

پروفایل رسمی دانشگاه

Alessandro Aldiniمشاهده پروفایل

دانشیار

University of Urbino Carlo BoItaly

Alessandro Aldini is an Associate Professor in the Section of Informatics and Mathematics within the Department of Pure and Applied Sciences (DiSPeA) at the University of Urbino Carlo Bo. His academic work focuses on theoretical computer science with applications to security and verification of complex systems. His research interests span several key areas: Design and verification of concurrent and distributed computer, network, and software systems Trust models and trustworthy systems 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 Security, dependability, and performability analysis Professor Aldini serves as the UNIURB research unit leader for the PRIN project AsCoT-SCE (Assessing Compliance of IoT API for Security Critical Environments) and participates in other significant research initiatives including DeKLA (Developing Kleene Logics and their Applications) and NiRvAna (Noninterference and Reversibility Analysis in Private Blockchains). He is actively involved in the academic community through the Italian Chapter of the EATCS and IFIP WG 11.14 Secure Engineering. His teaching responsibilities include Programming Languages and Software Verification and Cybersecurity courses across multiple Informatics degree programs. Professor Aldini has supervised numerous PhD students and postdoctoral researchers. His academic contributions include the book "A Process Algebraic Approach to Software Architecture Design" and his PhD thesis "Security and Performance Analyses in Distributed Systems."

پروفایل رسمی دانشگاه