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".
C. Daniele, S. B. Andarzian, E. Poll | FCS 2024
C. Daniele | Arxiv 2024
S. B. Andarzian, C. Daniele, E. Poll | Arxiv 2024
S. B. Andarzian, C. Daniele, E. Poll | FPS 2023
M. Maugeri, C. Daniele, G. Bella | ICISSP 2023
G. Bella, C. Daniele, M. Raciti | IEEE Open Access 2023
C. Daniele, S. B. Andarzian, E. Poll | ACM Computing Survey 2023
M. Maugeri, C. Daniele, G. Bella, E. Poll | ICISSP 2023
G. Bella, C. Daniele, M. Raciti | 6th CSP 2022
Slides are not available because the paper has not been published yet.
Slides are not available because the paper has not been published yet.
Singapore | 2024 - website
Utrecht | 2024 - website
Apeldoorn | 2023 - website
Nijmegen | 2023 - website
France | 2023 - website
Nijmegen | 2023 - website
Amsterdam | 2023 - website
The Hague | 2023 - website
Utretch | 2023 - website
Amsterdam | 2023 - website
Bertinoro | 2022 - website
Enschede | 2022 - website
Amsterdam | 2022 - website
Eindhoven | 2022 - website
@ ESORICS and Computers & Security | 2024
@ ESORICS and Computers & Security | 2023
@ IEEE Access and ITASEC22 | 2022
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!
© www.cristiandaniele.com. All Rights Reserved. Designed by HTML Codex