Giacomo's repositories
antivirus-detection-analysis
Software Security project - Malware Detection Analysis A.A. 2019/2020.
malware-analysis
sample2.exe analysis on win32 with Windows XP expiro virus.
python3-ransomware
example of ransomware written in python
crypto-challenges-2020
Crypto Challenges for CyberChallenge training 2020 at Univr
software-engineering-project
software engineering project
ai-lab-2019
Artificial Intelligence Laboratory Course A.A. 2018/19 University of Verona.
Bachelor-Thesis
My bachelor thesis in Bioinformatics
bisimulation-checker
An algo for bisimulation of deterministic MSF.
code-challenge
code-challenge-2021
giacomoferro.github.io
Giacomo Ferro Website
liveness-static-analyzer
Information Systems Analysis - Liveness analyzer
dispense-info-univr
Collezione di codice LaTex di dispense scritte per alcuni corsi della Laurea in Informatica dell'UniversitĂ di Verona
executable-analysis-ggfm
An analysis of a program to verify the correctness
foundations-of-cryptography
A repo that contains implementation of classic cryptographic problems.
four-digits-pin-guesser
four digits pin guesser in Java
gym
A toolkit for developing and comparing reinforcement learning algorithms.
img-to-cartoon
img-to-cartoon python utility script
information-systems-analysis
Tasks for the information systems analysis course. University of Verona.
password-cracker
A simple password cracker in Java
Progetto-Bash
Shell project
Progetto-System-Call
System Call project
Q_Learning_Games
An implementation of a Q-Agent using OpenAI Gym toolkit as support
Q_learning_Games_v2
Q-learning Games with Sarsa implementation.
Q_Learning_Games_v3
Implementation of Policy Iteration and Value Iteration Agents for Taxi game of OpenAI gym
statistical-analysis-on-data
Statistical analysis on the data
sudoku-solver
sudoku solver using recursive backtracking in python
webdev-bootcamp
html, css, js basic course for beginners