Matteo Maffei

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Generalized channels from limited blockchain scripts and adaptor signatures Lecture Notes in Computer Science	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 (available as arXiv preprint)	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 Lecture Notes in Computer Science	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 Theory of Security and Applications	2012-08-22	Paper
Union and Intersection Types for Secure Protocol Implementations Theory of Security and Applications	2012-08-22	Paper
Principles for entity authentication Lecture Notes in Computer Science	2010-01-05	Paper
Programming Languages and Systems Lecture Notes in Computer Science	2007-09-28	Paper

Research outcomes over time

This page was built for person: Matteo Maffei