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!
Radboud University | 2022 - ongoing :)
I started my PhD at Radboud University in November 2021 within the INTERSECT project.
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!
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".
G. Bella, C. Daniele, M. Raciti | IEEE Open Access 2023
C. Daniele, S. Andarzian, E. Poll | Preprint 2023
M. Maugeri, C. Daniele, G. Bella, E. Poll | ICISSP 2023
G. Bella, C. Daniele, M. Raciti | 6th CSP 2022
The Hague | 2023 - website
Utretch | 2023 - website
Amsterdam | 2023 - website
Bertinoro | 2022 - website
Enschede | 2022
Amsterdam | 2022 - website
Eindhoven | 2022 - website
@ IEEE Access and ITASEC22 | 2022
© www.cristiandaniele.com. All Rights Reserved. Designed by HTML Codex
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!