marcoCalipari

Marco Calipari's repositories

010

An Efficient and Privacy preserving implementation for the Set membership problem using Rsa Accumulators coupled with Commit-Prove-Snark

Language:Go000

An S/MIME signing utility for use with Git

Language:GoMIT000

Main source code repository of the Tamarin prover for security protocol verification.

Language:HaskellGPL-3.0000

Language:PythonMIT010