Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Matteo Maffei

Logical Foundations of Secure Resource Management in Protocol Implementations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Equivalence Properties by Typing in Cryptographic Branching Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

G2C: Cryptographic Protocols From Goal-Driven Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Ubiquitous Verification of Ubiquitous Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

UniTraX: Protecting Data Privacy With Discoverable Biases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Compositional Analysis of Authentication Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy