cristiandaniele
PhD student in Digital Security at Radboud University
Radboud UniversityNijmegen, The Netherlands
Pinned Repositories
afl-for-stateful-systems
Guide to use AFL++ on a stateful system
AFLNet-modified-version-
Minor edit on AFLNet fuzzer that now stores the messages leading to each state in the outputted state model.
AI-briscola-player
The project contains an AI able to play the "Briscola" card game against a human
AILA-source-code
A Methodology for Automated and IntelligentLikelihood Assignment
ftp-statemodel-learner
Simple tool based on LearnLib to infer every FTP state model via Active Learning
Markdown-file-tree-builder
Simple python script that automatically builds a tree structure (with links) of your GitHub project.
plan-pw
Password manager for macOS
Software-security-course
This repository contains information regarding the software security course of Radboud University.
state-coverage-monitor
C library to monitor the state coverage of your stateful fuzzer.
vdf-c_implementation
C implementation of Pietrzak and Wesołowski VDF
cristiandaniele's Repositories
cristiandaniele/plan-pw
Password manager for macOS
cristiandaniele/vdf-c_implementation
C implementation of Pietrzak and Wesołowski VDF
cristiandaniele/AI-briscola-player
The project contains an AI able to play the "Briscola" card game against a human
cristiandaniele/AILA-source-code
A Methodology for Automated and IntelligentLikelihood Assignment
cristiandaniele/Markdown-file-tree-builder
Simple python script that automatically builds a tree structure (with links) of your GitHub project.
cristiandaniele/Software-security-course
This repository contains information regarding the software security course of Radboud University.
cristiandaniele/A-gentle-introduction-to-Tamarin
This is a beginner's Tamarin Guide which is not meant to be exhaustive. For a comprehensive explanation of Tamarin, please refer to the official manual on https://tamarin-prover.github.io.
cristiandaniele/afl-for-stateful-systems
Guide to use AFL++ on a stateful system
cristiandaniele/AFLNet-modified-version-
Minor edit on AFLNet fuzzer that now stores the messages leading to each state in the outputted state model.
cristiandaniele/Bacis-C-programming-exercises-
C-language tutoring course material (beginners)
cristiandaniele/ftp-statemodel-learner
Simple tool based on LearnLib to infer every FTP state model via Active Learning
cristiandaniele/Human-errors-within-formal-verification
The repo presents the approaches to model human errors within protocol verification
cristiandaniele/state-coverage-monitor
C library to monitor the state coverage of your stateful fuzzer.
cristiandaniele/Basic-and-academic-English-notions
English notions I acquired during my PhD.
cristiandaniele/cristiandaniele
Config files for my GitHub profile.
cristiandaniele/minimal-high-level-payment-protocol
The project contains a minimal (but yet secure) payment protocol.