This is your work, valued

London

Denis Mazzucato

Advanced
@denismazzucato

Senior Static Analysis Engineer @ Snyk

denismazzucato.github.io

timesec. Timesec: a static analysis tool to sounldy prove timing side-channel freedom over a set of sensititve input variables for C functions

8

thesis. PhD Thesis

4

while-interpreter. While Language Interpreter in Haskell

4

typetheory. workbook for Type Theory course Maietti Sambin at the University of Padua, 2019

3

ml-review.

1

Composing-Monads. Research Report on Composing Monads for University project

1

game-of-life. Conway's Game of Life in MPI, assignement fo Parallel Programming Pratical, Vrije Universiteit 2019/20

1

noninterference-lean. A Sound Type System for Secure Flow Analysis coded in Lean

1