About
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
Email: cristian.daniele@ru.nl
Education
Education & Teaching
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
Teaching assistant
-
Security protocols | Radboud University -
2023
Bachelor's thesis supervisions
-
NDS-CONSTRAIN’T: web spoofing against a Nintendo Console - Federico
Gaeta | University of Catania - 2022
Tutoring
-
C++ programming | University of Catania -
2022
Research
Papers & Conferences
Papers
The AILA Methodology for Automated and Intelligent Likelihood Assignment in Risk Assessment
G. Bella, C. Daniele, M. Raciti | IEEE Open Access 2023
Fuzzers for stateful systems: Survey and Research Directions
C. Daniele, S. Andarzian, E. Poll | Preprint 2023
Evaluating the Fork-Awareness of Coverage-Guided Fuzzers
M. Maugeri, C. Daniele, G. Bella, E. Poll | ICISSP 2023
The AILA Methodology for Automated and Intelligent Likelihood Assignment
G. Bella, C. Daniele, M. Raciti | 6th CSP 2022
Talks
Stateful fuzzing:challenges, new approaches and future directions
- INTERSECT Conference | The Hague - 2023
LearnFuzz: a methodology to combine grey box fuzzing and active learning
- University of Catania (Digital Security Group) | Online - 2023
Fuzzers for stateful systems: Survey and Research Directions
- WSF22 - Workshop on Security Testing | Catania - 2022
- INTERSECT Conference | Enschede - 2022
- Radboud University (Digital Security Group) | Nijmegen - 2022
- Radboud University (Software Science Group) | Nijmegen - 2022
- University of Catania (Digital Security Group) | Online - 2022
Conferences & Schools
INTERSECT Conference
The Hague | 2023 - website
NWO ICT Open
Utretch | 2023 - website
AMSec Symposium: Security by Design
Amsterdam | 2023 - website
International School on Foundations of Security Analysis and Design (FOSAD 2022)
Bertinoro | 2022 - website
INTERSECT Conference
Enschede | 2022
SEN symposium
Amsterdam | 2022 - website
ESI symposium
Eindhoven | 2022 - website
Reviewed papers
@ IEEE Access and ITASEC22 | 2022
Resources
Resources
- All
- Papers
- Slides
- Thesis
© www.cristiandaniele.com. All Rights Reserved. Designed by HTML Codex