Cris's repositories
vdf-c_implementation
C implementation of Pietrzak and Wesołowski VDF
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
Markdown-file-tree-builder
Simple python script that automatically builds a tree structure (with links) of your GitHub project.
Software-security-course
This repository contains information regarding the software security course of Radboud University.
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.
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.
Bacis-C-programming-exercises-
C-language tutoring course material (beginners)
Human-errors-within-formal-verification
The repo presents the approaches to model human errors within protocol verification
state-coverage-monitor
C library to monitor the state coverage of your stateful fuzzer.
Basic-and-academic-English-notions
English notions I acquired during my PhD.
cristiandaniele
Config files for my GitHub profile.
ftp-statemodel-learner
Simple tool based on LearnLib to infer every FTP state model via Active Learning
minimal-high-level-payment-protocol
The project contains a minimal (but yet secure) payment protocol.