Research

Research

Funded projects across cryptography, applied mathematics, and AI; a record of talks and seminars; and service to the community. Publications live on the publications page.

Funded projects

LLM Bias2025 – present

Uncovering and Addressing Bias in LLM Interactions

KAUST · CEMSE

Applied mathematics and computer science to identify and mitigate bias in large-language-model platforms across diverse operational contexts.

BAS/1/1701-01-01 (ref. R. Di Pietro)

AI Reliability & Safety | Trustworthy AIGenerative AI | LLMs
H2IOSC2024 – 2025

Humanities and cultural Heritage Italian Open Science Cloud

IAC · CNR

Mathematical modelling, data analysis, and the implementation and parallelisation of model-based algorithms for the cultural-heritage open-science cloud.

NextGenerationEU · NRRP M4C2 · IR0000029 (CUP B63C22000730005)

Numerical Modelling & SimulationCultural HeritageHPC
site ↗
PRAESIIDIUM2023 – 2024

Multi-scale in-silico simulation of the immune-system response

IAC · CNR

Development of a mathematical and computational multi-scale model for the in-silico simulation of the immune-system response.

EU Horizon · G.A. 101095672

Numerical Modelling & SimulationBiomedicine
site ↗
ERA4TB2021 – 2024

European Regimen Accelerator for Tuberculosis

IMI2 consortium

In-silico modelling of granuloma-like structures and the immune response to support tuberculosis-treatment design.

H2020-JTI-IMI2-2018-15 · G.A. 853989

Numerical Modelling & SimulationBiomedicine
site ↗
MODA2025

Integrating Model-based and Data-driven Methods for Multiscale Biological Systems

INdAM · GNCS

Bridging model-based and data-driven methods for multiscale biological systems.

CUP E53C24001950001

Numerical Modelling & SimulationMachine LearningBiomedicine
GNCS-HPC2024

Numerical modelling and HPC approaches for multiscale models of Complex Systems

INdAM · GNCS

High-performance-computing approaches for the numerical modelling of complex multiscale systems.

CUP E53C23001670001

Numerical Modelling & SimulationHPC

Talks & seminars 42

Field
Application

2026

  • 16 Sep 2026

    COD-ssi: Enforcing Mutual Privacy for Credential Oblivious Disclosure in Self-Sovereign IdentityTalk

    ESORICS 2026 · Rome, Italy · slides ↗

  • 9 Jul 2026

    A Geometric Analysis of Small-sized Language Model HallucinationsTalk

    ICML 2026 · Seoul, South Korea · slides ↗ · poster ↗ · video ↗

  • 14 May 2026

    Git: a 40-minute primer for researchersSeminar

    CRI-Lab, KAUST · Saudi Arabia · slides ↗

  • 22 Apr 2026

    Quantum & Post-Quantum CryptographyInvited talk

    CRI-Lab Quantum Masterclass, KAUST · Saudi Arabia · slides ↗

  • 14 Apr 2026

    I-(OT)²Invited lesson

    Applied Cryptography course, KAUST · Saudi Arabia · slides ↗

2025

  • 6 Oct 2025

    Mathematical Modelling of Imbibition in Porous Media: From Diffusion Equations to the StoneVerse PlatformTalk

    Math4cult 2025, IAC · Rome, Italy · slides ↗

  • 25 Sep 2025

    Modelling Percolation and Stone Decay in Cultural Heritage through StoneVerseTalk

    YAMC 2025 · Padua, Italy · slides ↗

  • 22 Sep 2025

    AMELIA: A High-Performance Computing Infrastructure for Advanced ResearchPoster

    YAMC 2025 · Padua, Italy · poster ↗

  • 10 Sep 2025

    StoneVerse: The Open-Science Platform for Reproducible Modelling of Stone DecayTalk

    Digital Heritage 2025 · Siena, Italy · slides ↗

  • 25 Feb 2025

    Models and Methods in Cultural Heritage: The Open-Science StoneVerse PlatformTalk

    Giornate IAC | AdR 7, CNR · Rome, Italy · slides ↗

  • 17 Feb 2025

    mR_LWE-CP-ABE: a Recoverable CP-ABE Protocol for Post-Quantum CryptographySeminar

    Graduate Seminar | CEMSE, KAUST · Saudi Arabia · slides ↗

  • 14 Feb 2025

    Adversarial Examples in Machine Learning: Taxonomy and InsightsSeminar

    CySec Group Meeting | TGIT, KAUST · Saudi Arabia · slides ↗

  • 21 Jan 2025

    On the Modelling of Granuloma-Like Structures: from In-Vitro to In-Silico ModellingSeminar

    MDN Winter Semester, Sapienza · Rome, Italy · slides ↗

2024

  • 2 Dec 2024

    Introduction to Python: a discussion on advantages and criticalitiesInvited talk

    IN490 invited talk, Roma Tre · Italy · slides ↗

  • 6 May 2024

    Managing pedestrian flows in crowded museums: from data gathering to optimisationSeminar

    PYSANUM, Scuola Normale Superiore · Pisa, Italy · slides ↗

  • 18 Apr 2024

    β-contraction: a Framework for Contracting Coloured Networks — Use Cases and ApplicationsSeminar

    KAUST · Saudi Arabia · slides ↗

  • 15 Apr 2024

    A gentle introduction to Fully Homomorphic EncryptionInvited lesson

    Applied Cryptography invited lesson, KAUST · Saudi Arabia · slides ↗

  • 1 Feb 2024

    Multi-scale and ML-aided models for vehicular trafficTalk

    Heterogeneity on the Road, Padua University · Italy · slides ↗

2023

  • 15 Dec 2023

    mR_LWE-CP-ABE: a revocable CP-ABE for post-quantum cryptographyTalk

    Cifris’23, Consob · Rome, Italy · slides ↗

  • 19 Sep 2023

    Managing crowded museumsTalk

    YAMC 2023, Siena University · Italy · slides ↗

  • 18 Sep 2023

    A gentle introduction to clusteringMini-course

    YAMC 2023, Siena University · Italy · slides ↗

  • 10 May 2023

    How machine learning can improve macroscopic models for traffic state estimation and forecastSeminar

    Junior Seminars, Roma Tre · Italy · slides ↗

  • 13 Apr 2023

    Validate in-silico modelling of GLSTalk

    ERA4TB Workshop · Rome, Italy

2022

  • 20 Dec 2022

    A brief introduction to Multi-threading and Multi-processing: Pthreads, OpenMP and MPIInvited talk

    IN490 invited talk, Roma Tre · Italy · slides ↗

  • 25 Oct 2022

    In-Silico Granulomas: preliminary resultsTalk

    ERA4TB, IDMIT · Paris, France

  • 21 Sep 2022

    AI for Traffic Data AnalysisTalk

    YAMC 2022 · Arenzano, Italy · slides ↗ · video ↗

  • 20 Sep 2022

    Basics in Traffic ModellingMini-course

    YAMC 2022 · Arenzano, Italy · slides ↗

  • 8 Jul 2022

    A brief introduction to Differential PrivacySeminar

    DBU Smol Tolks, IAC-CNR · Rome, Italy · slides ↗

  • 28 Feb 2022

    On tweakable black-box polynomials: the cube attacks familySeminar

    GTM seminars, Roma Tre · Italy

  • 24 Jan 2022

    Attribute-based colouring and its applications in reducing problem sizeSeminar

    GTM seminars, Roma Tre · Italy

2021

  • 14 Dec 2021

    Multi-threading and Multi-processing: Julia Parallel ComputingInvited talk

    IN490 invited talk, Roma Tre · Italy

  • 13 Dec 2021

    The role of the applied mathematician: optimising pedestrian flows in crowded museumsSeminar

    GTM seminars, Roma Tre · Italy

  • 7 Dec 2021

    Multi-threading and Multi-processing: Pthreads, OpenMP and MPIInvited talk

    IN490 invited talk, Roma Tre · Italy · slides ↗

  • 29 Nov 2021

    RSSi-based visitor tracking in museums via cascaded AI classifiersTalk

    PED 2021 · online

  • 25 Nov 2021

    On real-world implementation of the RSA cryptosystem: Hands-OnInvited lesson

    CR410 invited talk, Roma Tre · Italy

  • 18 Nov 2021

    On real-world implementation of the RSA cryptosystem: TheoryInvited lesson

    CR410 invited talk, Roma Tre · Italy

  • 1 Jul 2021

    On the existence of adversarial examples in neural-network classification with small Hamming distanceSeminar

    GTM seminars, Roma Tre · Italy · slides ↗

  • 14 May 2021

    Macroscopic vehicular traffic simulations and linear programming problemsInvited talk

    IN440 invited talk, Roma Tre · Italy · slides ↗

2020

  • 10 Dec 2020

    ML-based Algorithms and Models for Analysing Heterogeneous DataTalk

    Young Researchers Day, IAC-CNR · Italy · slides ↗ · video ↗

2019

  • 23 May 2019

    Snowden BackdoorSeminar

    Roma Tre · Italy · page ↗

  • 29 Apr 2019

    A brief description of Proof Nets: the bridge between Modern Logic and Computer ScienceSeminar

    Roma Tre · Italy

  • 18 Jan 2019

    A brief presentation on Hamilton’s IdealsSeminar

    Roma Tre · Italy

Service

Contributions to the scholarly community — peer review, programme committees, and event organising.

Editorial & peer review

  • Review Editor

    Frontiers in Communications and Networks

    Security, Privacy and Authentication · since 2020

Journal referee

Journal of Mathematical Cryptology (De Gruyter)2025–26Frontiers in Communications and Networks2025–26Pervasive and Mobile Computing (Elsevier)2024–25Journal on Computing and Cultural Heritage (ACM)2025Frontiers in Computer Science2025Scientific Reports (Nature)2025Computer Communications (Elsevier)2024Security and Communication Networks (Hindawi)2020–22Frontiers in Immunology2022

Conference referee

ICLR2026NeurIPS2026ICML2026ICBC2026ESORICS2026IEEE SECON2026IEEE/ACM CCGrid2026YAMC2024–26IEEE BIBM2024VEHITS2024ANT2021–22EUSPN2020–21

Programme & scientific committees

Organising — events & seminar cycles