Name: Cris
Type: User
Company: Radboud University
Bio: PhD student in Digital Security at Radboud University
Location: Nijmegen, The Netherlands
Blog: www.cristiandaniele.com
๐ Hi, Iโm Cristian
๐ Iโm a PhD student in Digital Security at Radboud University
๐ Iโm interested in fuzzing and formal methods!
๐ฑ Iโm currently working on the integration of fuzzing and formal methods
๐จ Feel free to drop me a few lines if you are interested in collaborations at any level!!!
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.
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
bacis-c-programming-exercises-
C-language tutoring course material (beginners)
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
human-errors-within-formal-verification
The repo presents the approaches to model human errors within protocol verification
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
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google โค๏ธ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
