×
Edit Profile (opens in new tab)

Maffei, Matteo

Co-Author Distance
Author ID: maffei.matteo Recent zbMATH articles by "Maffei, Matteo"
Published as: Maffei, Matteo
Documents Indexed: 10 Publications since 2003
2 Contributions as Editor
Co-Authors: 21 Co-Authors with 9 Joint Publications
281 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
3 Backes, Michael
3 Bugliesi, Michele
3 Moreno-Sanchez, Pedro
2 Focardi, Riccardo
1 Aumayr, Lukas
1 Calzavara, Stefano
1 Cortier, Véronique
1 Eigner, Fabienne
1 Ersoy, Oğuzhan
1 Erwig, Andreas
1 Faust, Sebastian
1 Grimm, Niklas
1 Haslhofer, Bernhard
1 Hostáková, Kristina
1 Hriţcu, Cătălin
1 Lallemand, Joseph
1 Mohammadi, Esfandiar
1 Nordholt, Peter Sebastian
1 Pecina, Kim
1 Reischuk, Raphael M.
1 Riahi, Siavash
1 Romiti, Matteo
1 Tairi, Erkan
1 Tuosto, Emilio
1 Victor, Friedhelm

Serials

2 Lecture Notes in Computer Science

Fields

9 Computer science (68-XX)
9 Information and communication theory, circuits (94-XX)
3 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
2 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

10 Publications have been cited 13 times in 12 Documents Cited by ▼ Year ▼
Generalized channels from limited blockchain scripts and adaptor signatures. Zbl 1514.94032
Aumayr, Lukas; Ersoy, Oguzhan; Erwig, Andreas; Faust, Sebastian; Hostáková, Kristina; Maffei, Matteo; Moreno-Sanchez, Pedro; Riahi, Siavash
4
2021
Equivalence properties by typing in cryptographic branching protocols. Zbl 1427.68035
Cortier, Véronique; Grimm, Niklas; Lallemand, Joseph; Maffei, Matteo
3
2018
Post-quantum adaptor signature for privacy-preserving off-chain payments. Zbl 1491.94081
Tairi, Erkan; Moreno-Sanchez, Pedro; Maffei, Matteo
3
2021
Logical foundations of secure resource management in protocol implementations. Zbl 1390.68075
Bugliesi, Michele; Calzavara, Stefano; Eigner, Fabienne; Maffei, Matteo
1
2013
Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Zbl 1360.68017
1
2017
Cross-layer deanonymization methods in the lightning protocol. Zbl 1492.91458
Romiti, Matteo; Victor, Friedhelm; Moreno-Sanchez, Pedro; Nordholt, Peter Sebastian; Haslhofer, Bernhard; Maffei, Matteo
1
2021
Union and intersection types for secure protocol implementations. Zbl 1378.94020
Backes, Michael; Hriţcu, Cătălin; Maffei, Matteo
1
2012
G2C: cryptographic protocols from goal-driven specifications. Zbl 1378.94021
Backes, Michael; Maffei, Matteo; Pecina, Kim; Reischuk, Raphael M.
1
2012
Compositional analysis of authentication protocols. Zbl 1126.94346
Bugliesi, Michele; Focardi, Riccardo; Maffei, Matteo
1
2004
Computationally sound abstraction and verification of secure multi-party computations. Zbl 1245.68027
Backes, Michael; Maffei, Matteo; Mohammadi, Esfandiar
1
2010
Generalized channels from limited blockchain scripts and adaptor signatures. Zbl 1514.94032
Aumayr, Lukas; Ersoy, Oguzhan; Erwig, Andreas; Faust, Sebastian; Hostáková, Kristina; Maffei, Matteo; Moreno-Sanchez, Pedro; Riahi, Siavash
4
2021
Post-quantum adaptor signature for privacy-preserving off-chain payments. Zbl 1491.94081
Tairi, Erkan; Moreno-Sanchez, Pedro; Maffei, Matteo
3
2021
Cross-layer deanonymization methods in the lightning protocol. Zbl 1492.91458
Romiti, Matteo; Victor, Friedhelm; Moreno-Sanchez, Pedro; Nordholt, Peter Sebastian; Haslhofer, Bernhard; Maffei, Matteo
1
2021
Equivalence properties by typing in cryptographic branching protocols. Zbl 1427.68035
Cortier, Véronique; Grimm, Niklas; Lallemand, Joseph; Maffei, Matteo
3
2018
Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Zbl 1360.68017
1
2017
Logical foundations of secure resource management in protocol implementations. Zbl 1390.68075
Bugliesi, Michele; Calzavara, Stefano; Eigner, Fabienne; Maffei, Matteo
1
2013
Union and intersection types for secure protocol implementations. Zbl 1378.94020
Backes, Michael; Hriţcu, Cătălin; Maffei, Matteo
1
2012
G2C: cryptographic protocols from goal-driven specifications. Zbl 1378.94021
Backes, Michael; Maffei, Matteo; Pecina, Kim; Reischuk, Raphael M.
1
2012
Computationally sound abstraction and verification of secure multi-party computations. Zbl 1245.68027
Backes, Michael; Maffei, Matteo; Mohammadi, Esfandiar
1
2010
Compositional analysis of authentication protocols. Zbl 1126.94346
Bugliesi, Michele; Focardi, Riccardo; Maffei, Matteo
1
2004
all cited Publications top 5 cited Publications
all top 5

Cited by 36 Authors

1 Albrecht, Martin R.
1 Andova, Suzana
1 Backes, Michael
1 Bhargavan, Karthikeyan
1 Biryukov, Alex
1 Cini, Valerio
1 Cozzo, Daniele
1 Cremers, Cas J. F.
1 Dai, Wei
1 Ersoy, Oğuzhan
1 Erwig, Andreas
1 Fallah, Mehran S.
1 Fournet, Cédric
1 Giunta, Emanuele
1 Gjøsteen, Kristian
1 Gordon, Andrew D.
1 Lai, Russell W. F.
1 Malavolta, Giulio
1 Mauw, Sjouke
1 Mjølsnes, Stig Frode
1 Mohammadi, Esfandiar
1 Moreno-Sanchez, Pedro
1 Naumenko, Gleb
1 Okamoto, Tatsuaki
1 Radomirović, Saša
1 Riahi, Siavash
1 Roos, Stefanie
1 Ruffing, Tim
1 Sattarzadeh, Behnam
1 Schnoor, Henning
1 Thyagarajan, Sri Aravinda Krishnan
1 Tikhomirov, Sergei
1 Tu, Binbin
1 Woizekowski, Oliver
1 Yamamoto, Go
1 Yu, Chen

Cited in 2 Serials

1 Information and Computation
1 Journal of Logical and Algebraic Methods in Programming

Cited in 4 Fields

11 Information and communication theory, circuits (94-XX)
5 Computer science (68-XX)
2 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Quantum theory (81-XX)

Citations by Year