Cristian Daniele

PhD student, in Digital Security


About Me

PhD student in Digital Security

Hi all! I'm Cristian Daniele and I'm a PhD student at Radboud University.

My background covers various aspects of Cyber security. Although, during my Bachelor's and Master's degree, I deepened my knowledge about the formal analysis of protocols and specific cryptographic primitives used to insert delay within a process (my Master's thesis focuses on the C implementation of the VDF -- Verifiable Delay Functions).

Now, I'm focusing on fuzzing for stateful systems and formal analysis of protocols. Feel free to drop me a few lines if you are interested in these fields!

Name: Cristian Daniele
Address: Houtlaan 4, 6525 XZ Nijmegen
Degree: Master Degree
Office: 509
Download CV


Education & Teaching

My Education

PhD in Digital Security

Radboud University | 2022 - ongoing :)

I started my PhD at Radboud University in November 2021 within the INTERSECT project.

Master's degree in Computer Science

University of Catania | 2018 - 2020

I obtained a Master's degree in Computer Science with honours with a thesis named: "A comparison between verifiable delay function implementations". Take a look at the manuscript and the code!

Degree in Computer Science

University of Catania | 2015 - 2018

I obtained a Degree in Computer Science with honours with a thesis named: "An Unity tool to edit and analyse polynomial meshes".

Teaching experience

C++ programing tutoring course

University of Catania | 2019

I taught a course on the basics of the C programming and data structure. You can find some of the proposed excercises in my github repository.


Papers & Conferences

My Papers

The AILA Methodology for Automated and Intelligent Likelihood Assignment

G. Bella, C. Daniele, M. Raciti | 6th CSP 2022

Conferences & Schools

International School on Foundations of Security Analysis and Design (FOSAD 2022)

Bertinoro | 2022

INTERSECT Conference

Enschede | 2022

I presented a new taxonomy about fuzzers for stateful systems


Amsterdam | 2022



  • All
  • Papers
  • Slides
  • Thesis
The AILA Methodology (slides)
Fuzzers for stateful systems (slides)
The AILA methodology (paper)
The Verifiable delay functions (thesis)

© www.cristiandaniele.com. All Rights Reserved. Designed by HTML Codex