Pinned Repositories
SimpLanPlus
Crumbling-Abstract-Machines
This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.
ALGRAPH
The strongly powerful project with the aim to show you how meanly the BellmanFordMoore algorithm can calculate the shortest path.
fisica1
Repository con esercizi per il corso di Fisica (LT Informatica/Informatica per il Management)
formosa-mldsa
Jasmin implementations of ML-DSA
jasmin
Language for high-assurance and high-speed cryptography
Master-Thesis
RBA
Temporary techincal report on a Randomized Bounded Arithmetic.
umpsProject
UUS
Linguaggi
davidedavoli's Repositories
davidedavoli/formosa-mldsa
Jasmin implementations of ML-DSA
davidedavoli/jasmin
Language for high-assurance and high-speed cryptography
davidedavoli/Master-Thesis
davidedavoli/RBA
Temporary techincal report on a Randomized Bounded Arithmetic.
davidedavoli/SimpLanPlus
davidedavoli/umpsProject
davidedavoli/UUS
Linguaggi
davidedavoli/ALGRAPH
The strongly powerful project with the aim to show you how meanly the BellmanFordMoore algorithm can calculate the shortest path.
davidedavoli/fisica1
Repository con esercizi per il corso di Fisica (LT Informatica/Informatica per il Management)