Luigi Coniglio's repositories
qsynth-artifacts
Synthesis artifacts for QSynth
awesome-blockchain-security
A curated list of awesome blockchain security resources
Concolic-VS-Learning
Software Reversing Lab - Concolic execution vs Model learning
deep-trading
Experimenting with CNNs and stock prices
deep_chomsky
Teaching Finite State Machines to neural networks
libtomcrypt
LibTomCrypt is a fairly comprehensive, modular and portable cryptographic toolkit that provides developers with a vast array of well known published block ciphers, one-way hash functions, chaining modes, pseudo-random number generators, public key cryptography and a plethora of other routines.
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
Money-Street
My first HTML5 game
Mutation-testing-experiment
Material and results for the mutation testing effectivness assignment for the "Software Testing and Reverse engineering " course: https://www.4tu.nl/cybsec/en/course-program/str/
neuroph-perceptron-examples
Examples of perceptrons using the framework Neuroph
oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
System-Security-Labs
Labs from the system security course https://www.4tu.nl/cybsec/en/course-program/sys/
Triton
Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.
werew.github.io
Personal blog about security and stuff