Matteo Maffei

Available identifiers

Publication	Date of Publication	Type
Generalized channels from limited blockchain scripts and adaptor signatures	2023-05-12	Paper
Post-quantum adaptor signature for privacy-preserving off-chain payments	2022-06-22	Paper
Cross-layer deanonymization methods in the lightning protocol	2022-06-17	Paper
Equivalence properties by typing in cryptographic branching protocols	2019-09-16	Paper
Logical Foundations of Secure Resource Management in Protocol Implementations	2013-08-06	Paper
Computationally sound abstraction and verification of secure multi-party computations	2012-08-29	Paper
G2C: Cryptographic Protocols from Goal-Driven Specifications	2012-08-22	Paper
Union and Intersection Types for Secure Protocol Implementations	2012-08-22	Paper
Perspectives of System Informatics	2010-01-05	Paper
Programming Languages and Systems	2007-09-28	Paper

This page was built for person: Matteo Maffei