جست‌وجوی استاد و پژوهشگر

Chiara Bodeiمشاهده پروفایل

دانشیار

• Computer Science
• Cybersecurity
• Formal Methods
• +۴ مورد دیگر

Chiara Bodei is an Associate Professor at the Department of Computer Science, University of Pisa. She specializes in cybersecurity, formal methods, and programming languages. Her teaching responsibilities include courses such as 'Programming Fundamentals with Laboratory' and 'Security Methods and Verification' at both undergraduate and graduate levels. She has contributed to research in automotive cybersecurity, IoT security, and formal analysis of software systems. Her work emphasizes secure communication protocols, privacy policies in automotive data, and context-aware security mechanisms. She collaborates with industry and academia on projects related to software-defined vehicles and IoT security. Her research has been published in top-tier conferences and journals, focusing on practical and theoretical advancements in computer security and formal methods. Research Interests: Cybersecurity, Formal Methods, Automotive Systems Security, IoT Security, Programming Languages, Context-Aware Systems. She has co-authored numerous papers on topics such as vehicular communication security, secure automotive protocols, and privacy in IoT systems. Teaching: Bodei has taught courses like 'Fondamenti di Programmazione' (undergraduate), 'Security Methods and Verification' (graduate), and 'Language-Based Technology for Security' (master’s level) across multiple academic years. She emphasizes practical programming skills and theoretical foundations in her courses. Labs/Teams: Her work is supported by the Department of Computer Science labs at the University of Pisa, focusing on applied research in cybersecurity and formal systems.

• Cryptography
• Coding Theory
• Algebra
• +۳ مورد دیگر

Alessio Meneghetti is a Professor at the Department of Mathematics, University of Trento. His research focuses on cryptography, coding theory, and information security, with applications to post-quantum cryptography, blockchain protocols, and secure distributed systems. He teaches courses such as Coding Theory and Applications, Cryptography, and Programming Lab, emphasizing practical implementations in Java and theoretical foundations. His work spans cryptographic primitives like threshold signatures, quantum-resistant algorithms, and consensus mechanisms. Key contributions include protocols like COB for Byzantine agreement and frameworks for group action-based multi-signatures. He has also explored quantum random number generation and linear codes' weight distributions. Publications highlight advancements in threshold cryptography, distributed key generation, and post-quantum signature schemes. His teaching integrates programming practices with mathematical rigor, preparing students for applied cryptography and computational mathematics.

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

دانشیار

• Cybersecurity
• Internet of Things
• Network Security
• +۶ مورد دیگر

Associate Professor Luca Veltri has been with the University of Parma since 2002 and currently holds the rank of Associate Professor in the Department of Engineering and Architecture. He also serves as Director of the Parma Node of the National Cybersecurity Laboratory of CINI and is a member of the Department’s Quality Assurance Committee. His research and teaching revolve around cybersecurity, the Internet of Things, and network protocols. Education Ph.D. in Information and Communication Engineering, University of Rome “La Sapienza” (1999) M.Eng. in Telecommunications Engineering, University of Rome “La Sapienza” (1994) Research Interests Prof. Veltri’s current investigations focus on three main pillars: Cybersecurity: developing threat-detection algorithms and secure architectures for constrained IoT devices; Internet of Things: integrating heterogeneous protocols (LoRaWAN, MQTT, CoAP) and enabling trustworthy, large-scale deployments; Network Protocols & Systems: designing lightweight, privacy-preserving communication stacks and blockchain-based security frameworks. He complements theoretical work with the release of open-source tools such as mjSIP (VoIP library), NEMO (network emulator), and ZWT (cross-platform GUI framework). Recent Publication Trends Over the past five years his scholarly output has gravitated toward machine-learning-driven anomaly detection in medical IoT environments, blockchain solutions for privacy and integrity in location-based services, and secure interoperability between LoRaWAN and other IoT ecosystems. These works blend rigorous algorithmic contributions with real-world validation, appearing in top-tier journals and conferences as well as IETF drafts. Grants & Projects Prof. Veltri has participated in numerous national and international projects funded by: European Union (ACTS, FP6, FP7, H2020) European Space Agency (ESA) Italian Ministry of Education, University and Research (MIUR PRIN) Emilia-Romagna Region Labs & Teams He currently leads the Parma Node of the National Cybersecurity Laboratory (CINI) , coordinating multi-site efforts on IoT and network security. Previously he directed the UniPR Co-Lab Interdepartmental Center (2014–2017) and served as Rector’s Delegate for University Networks and Telephony (2015–2017), overseeing the campus network infrastructure and security posture.

Emmanuela Orsiniمشاهده پروفایل

استادیار

• Cryptography
• Secure Computation
• Multiparty Computation
• +۷ مورد دیگر

Emmanuela Orsini serves as an Assistant Professor in the Department of Computing Sciences at Bocconi University in Milan, Italy. She previously held a permanent position as a Research Expert in the Computer Security and Industrial Cryptography (COSIC) group at KU Leuven, Belgium, and worked as a Senior Research Associate at the University of Bristol, UK. Her educational background includes a PhD in Mathematics and Statistics for the Computational Sciences from the University of Milano and a Master's degree in Mathematics from the University of Pisa. These qualifications form the foundation of her expertise in both theoretical and applied aspects of cryptography. Orsini's research spans the theoretical and practical dimensions of secure computation, with particular emphasis on multiparty computation and homomorphic encryption. Her work on efficient zero-knowledge schemes has contributed to practical implementations of cryptographic protocols that maintain security while optimizing computational resources. She has made significant contributions to post-quantum cryptography, notably through her involvement in the NIST post-quantum standardization process with the LIMA and NewHope submissions, as well as developing the FAEST signature algorithm which leverages AES for quantum-resistant signatures. Analysis of her recent publications reveals a strong focus on optimizing cryptographic protocols for practical deployment. Her work demonstrates consistent advancement in making multi-party computation more efficient while maintaining security guarantees, with particular attention to zero-knowledge proofs and post-quantum cryptographic constructions. The progression from theoretical foundations to practical implementations is evident across her publication history. Orsini has served on program committees for numerous prestigious cryptography conferences including CRYPTO, EUROCRYPT, and ACM CCS, reflecting her standing in the cryptographic research community. Her editorial work includes serving on the boards of Mathematical Cryptology and Communications in Cryptology. Her teaching activities span multiple institutions, with recent courses including Information Theory and Introduction to Computer Science at Bocconi University. Previously, she has taught post-quantum cryptography at the University of Pisa, public key cryptography at ESA/ESTEC, and coding theory at KU Leuven and University of Bristol. Orsini actively contributes to collaborative research projects, particularly in the post-quantum cryptography space through her involvement with the NIST standardization process. Her recent work on FAEST demonstrates her leadership in developing practical quantum-resistant signature schemes that balance security, efficiency, and implementation considerations.

• Artificial Intelligence
• Bioinformatics
• Biomedical Engineering
• +۳ مورد دیگر

Dr. Anne Hartebrodt is a Postdoctoral Researcher at the Biomedical Network Science Lab within the Department of Artificial Intelligence in Biomedical Engineering at Friedrich-Alexander University Erlangen-Nürnberg (FAU), Germany. Her work focuses on federated learning, network-based embeddings, and carbon-aware computing in bioinformatics. She holds a PhD in Bioinformatics from the University of Southern Denmark (2022) and Master's and Bachelor's degrees in Bioinformatics from Technical University Munich and Ludwig Maximilian University (2018, 2016). Her research interests span federated machine learning, gene regulatory networks, and computational biology. She has contributed to high-impact studies on single-cell multi-omics analysis, extrachromosomal DNA reconstruction, and cancer immunotherapy mechanisms. Current projects include the NetMap initiative, funded by BMBF, developing dimensionality reduction methods for single-cell RNA sequencing data to study CD4 T cell exhaustion. Dr. Hartebrodt supervises multiple PhD students exploring topics like alternative splicing-aware networks and carbon-aware hyperparameter optimization. She has co-authored over 10 peer-reviewed articles and collaborates with institutions like Odense University Hospital and the University of Southern Denmark.

Marino Miculanمشاهده پروفایل

استاد

• Cybersecurity
• Formal Methods
• Distributed Systems
• +۳ مورد دیگر

Marino Miculan is a Professor of Computer Science at the University of Udine, leading the MADS Lab and Cybersecurity Lab. His research focuses on formal methods, cybersecurity, and distributed systems, with an emphasis on verifying security in concurrent systems. He has authored over 100 publications and contributed to 16 research projects. His research interests include formal verification of security protocols, distributed computing architectures, and the application of category theory to system modeling. He has developed frameworks like Netstaldi for network discovery and tools such as DBCChecker for analyzing container compositions. Miculan’s work bridges theoretical foundations (e.g., adhesive categories, behavioral equivalences) with practical applications in IoT security, multi-factor authentication, and cloud containerization. His labs explore cutting-edge topics like continuous learning for anomaly detection and stateful access control mechanisms.