Pinned Repositories
Composing-Monads
Research Report on Composing Monads for University project
game-of-life
Conway's Game of Life in MPI, assignement fo Parallel Programming Pratical, Vrije Universiteit 2019/20
impatto
Impatto: A Static Analyzer for Quantitative Input Data Usage
ml-review
noninterference-lean
A Sound Type System for Secure Flow Analysis coded in Lean
typetheory
workbook for Type Theory course Maietti Sambin at the University of Padua, 2019
while-interpreter
While Language Interpreter in Haskell
protocol-validation
wstat
While language static analyzer
denismazzucato's Repositories
denismazzucato/typetheory
workbook for Type Theory course Maietti Sambin at the University of Padua, 2019
denismazzucato/while-interpreter
While Language Interpreter in Haskell
denismazzucato/Composing-Monads
Research Report on Composing Monads for University project
denismazzucato/game-of-life
Conway's Game of Life in MPI, assignement fo Parallel Programming Pratical, Vrije Universiteit 2019/20
denismazzucato/ml-review
denismazzucato/noninterference-lean
A Sound Type System for Secure Flow Analysis coded in Lean
denismazzucato/timesec
Timesec: a static analysis tool to sounldy prove timing side-channel freedom over a set of sensititve input variables for C functions
denismazzucato/impatto
Impatto: A Static Analyzer for Quantitative Input Data Usage
denismazzucato/apronpy
denismazzucato/CoreParser
Parser for functional Core Language
denismazzucato/denismazzucato.github.io
denismazzucato/disjunctive-completion
Disjunctive Completion domain for complete backward analysis of feed-forward neural networks.
denismazzucato/progettoP2
Academic project for "Programmazione ad oggetti" course.