Phd Student or Associate professor view?! ☺

I'm

Cristian Daniele

PhD student, in Digital Security

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

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
Stateful fuzzing:challenges, new approaches and future directions
The AILA Methodology for Automated and Intelligent Likelihood Assignment in Risk Assessment - IEEE Open Access 2023
Fuzzers for stateful systems Survey and Research Directions - Preprint 2023
LearnFuzz: a methodology to combine grey box fuzzing and active learning
Evaluating the Fork-Awareness of Coverage-Guided Fuzzers - ICISSP 2023
Fuzzers for stateful systems: Survey and Research Directions
The AILA Methodology for Automated and Intelligent Likelihood Assignment
The AILA Methodology for Automated and Intelligent Likelihood Assignment - CSP 2022
The Verifiable delay functions - Thesis

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

Cristian Daniele

(Linkedin) (GitHub) (Scholar)

PhD Student in Digital Security at Radboud University

Short bio

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!

Papers

Talks

Education

  • PhD in Digital Security - Radboud University (2022 - ongoing)
  • Master's degree in Computer Science - Univesity of Catania (2018 - 2020)
  • Degree in Computer Science - Univesity of Catania (2015 - 2018)

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++ programing tutoring course - Univesity of Catania (2019)

Conferences & Schools

  • INTERSECT Conference - The Hague | 2023
  • ICT Open - Utretch | 2023
  • AMSec Symposium: Security by Design - Amsterdam | 2023
  • International School on Foundations of Security Analysis and Design (FOSAD 2022) - Bertinoro | 2022
  • INTERSECT Conference - Enschede | 2022
  • SEN symposium - Amsterdam | 2022
  • ESI symposium - Eindhoven | 2022

Reviewed papers

  • @ IEEE Access and ITASEC22 | 2022