Letterio Galletta's repositories

compiler-course-unipi

Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI

dpwim-course

Lab of the course Distributed Programming for Web, IoT, and Mobile Systems B032427 (B255) @ UNIFI

lmcs-analysis-validation

The repository contains the scripts and data for the experimental evaluation described in the paper "A theory of transaction parallelism in blockchains"

Language:JavaScriptLicense:MITStargazers:1Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:RustLicense:MITStargazers:0Issues:0Issues:0
Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

fws

Language-independent Synthesis of Firewall Policies

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

ppdp-course

Lab of the course Principles of Concurrent and Distributed Programming @ imtlucca

Language:JavaStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

wbpls

Implementation of the WBPLSec protocol for physical layer security

Language:CLicense:MITStargazers:0Issues:2Issues:0