Name Card

Full name Familienname, Vorname
Maffei, Matteo
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 58 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
12023-Cookie Crumbles Breaking and Fixing Web Session Integrity-vor.pdf.jpgMarco Squarcina ; Adão, Pedro ; Lorenzo Veronese ; Matteo Maffei Cookie Crumbles: Breaking and Fixing Web Session IntegrityInproceedings Konferenzbeitrag 26-Oct-2023
2Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Breaking and Fixing Virtual Channels: Domino Attack and DonnerPresentation Vortrag6-Sep-2023
3Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo Sleepy Channels: Bitcoin-Compatible Bi-directional Payment Channels without WatchtowersPresentation Vortrag30-Aug-2023
4Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo Thora: Atomic and Privacy-Preserving Multi-Channel UpdatesPresentation Vortrag30-Aug-2023
5Scaffino, Giulia ; Aumayr, Lukas ; Avarikioti, Georgia ; Maffei, Matteo Glimpse: On-Demand PoW Light Client with Constant-Size Storage for DeFiInproceedings Konferenzbeitrag 9-Aug-2023
6Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo Thora: Atomic and Privacy-Preserving Multi-Channel UpdatesPresentation Vortrag28-Feb-2023
7Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo Sleepy Channels: Bi-directional Payment Channels without WatchtowersPresentation Vortrag28-Feb-2023
8Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Breaking and Fixing Virtual Channels: Domino Attack and DonnerInproceedings Konferenzbeitrag 27-Feb-2023
9Rain, Sophie ; Avarikioti, Georgia ; Kovacs, Laura ; Maffei, Matteo Towards a Game-Theoretic Security Analysis of Off-Chain ProtocolsInproceedings Konferenzbeitrag 2023
10Veronese, Lorenzo ; Farinier, Benjamin ; Bernardo, Pedro ; Tempesta, Mauro ; Squarcina, Marco ; Maffei, Matteo WebSpec: Towards Machine-Checked Analysis of Browser Security MechanismsInproceedings Konferenzbeitrag 2023
11Aumayr, Lukas ; Thyagarajan, Sri AravindaKrishnan ; Malavolta, Giulio ; Moreno-Sanchez, Pedro ; Maffei, Matteo Sleepy Channels: Bi-directional Payment Channels without WatchtowersInproceedings Konferenzbeitrag 7-Nov-2022
12Aumayr, Lukas ; Abbaszadeh, Kasra ; Maffei, Matteo Thora: Atomic and Privacy-Preserving Multi-Channel UpdatesInproceedings Konferenzbeitrag 7-Nov-2022
13Glaeser, Noemi ; Maffei, Matteo ; Malavolta, Giulio ; Moreno-Sanchez, Pedro ; Tairi, Erkan ; Thyagarajan, Sri AravindaKrishnan Foundations of Coin Mixing ServicesInproceedings Konferenzbeitrag 7-Nov-2022
14Aumayr, Lukas ; Kasra Abbaszadeh ; Maffei, Matteo Thora: Atomic And Privacy-Preserving Multi-Channel UpdatesPresentation Vortrag31-Oct-2022
15Aumayr, Lukas ; Sri AravindaKrishnan Thyagarajan ; Giulio Malavolta ; Moreno-Sanchez, Pedro ; Maffei, Matteo Sleepy Channels: Bi-directional Payment Channels without WatchtowersPresentation Vortrag31-Oct-2022
16Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Blitz: Secure Multi-Hop Payments Without Two-Phase CommitsPresentation Vortrag31-Aug-2022
17Aumayr, Lukas ; Oguzhan Ersoy ; Erwig, Andreas ; Faust, Sebastian ; Hostáková, Kristina ; Maffei, Matteo ; Moreno-Sanchez, Pedro ; Riahi, Siavash Generalized Channels from Limited Blockchain Scripts and Adaptor SignaturesPresentation Vortrag30-Aug-2022
18Maffei, Matteo Formal Methods for the Security Analysis of Smart ContractsKonferenzbeitrag Inproceedings Oct-2021
19Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Donner: UTXO-Based Virtual Channels Across Multiple HopsPresentation Vortrag7-Sep-2021
20Aumayr, Lukas ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Maffei, Matteo Blitz: Secure Multi-Hop Payments Without Two-Phase CommitsPresentation Vortrag26-May-2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-15 of 15 (Search time: 0.001 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Wussler Aron - 2023 - Post-Quantum Cryptography in OpenPGP.pdf.jpgWussler, Aron Post-Quantum Cryptography in OpenPGPThesis Hochschulschrift 2023
2Bjørner, Nikolaj ; Christakis, Maria ; Maffei, Matteo ; Rosu, Grigore Rigorous Methods for Smart ContractsReport BerichtApr-2022
3Schweighofer Martin - 2022 - Sound cross-contract reachability analysis of...pdf.jpgSchweighofer, Martin Sound cross-contract reachability analysis of ethereum smart contractsThesis Hochschulschrift 2022
4Haimerl Nikolas - 2023 - Cross-Chain Traceability in Decentralized Finance.pdf.jpgHaimerl, Nikolas Tracing cryptoassets across chains: An empirical analysis of the Terra networkThesis Hochschulschrift 2022
5Luzian Sebastian - 2023 - A Systematic Investigation of Illicit Money Flows in...pdf.jpgLuzian, Sebastian A systematic investigation of illicit money flows in the DeFi ecosystemThesis Hochschulschrift 2022
6Grimm Niklas - 2021 - Static and dynamic enforcement of security via relational...pdf.jpgGrimm, Niklas Static and dynamic enforcement of security via relational reasoningThesis Hochschulschrift 2021
7Grishchenko Ilya - 2021 - Static analysis of low-level code.pdf.jpgGrishchenko, Ilya Static analysis of low-level codeThesis Hochschulschrift 2021
8Schneidewind Clara - 2021 - Foundations for the security analysis of distributed...pdf.jpgSchneidewind, Clara Foundations for the security analysis of distributed blockchain applicationsThesis Hochschulschrift 2021
9Abfalter Jakob - 2021 - Adaptor signature based atomic swaps between bitcoin and...pdf.jpgAbfalter, Jakob Adaptor signature based atomic swaps between bitcoin and a mimblewimble based cryptocurrencyThesis Hochschulschrift 2021
10Stockinger Johann - 2021 - Analysis of decentralized mixing services in the...pdf.jpgStockinger, Johann Analysis of decentralized mixing services in the greater bitcoin ecosystemThesis Hochschulschrift 2021
11Weninger Andreas Johann - 2020 - Privacy preserving authenticated Kkey exchange...pdf.jpgWeninger, Andreas Johann Privacy preserving authenticated Kkey exchange : Modelling, constructions, proofs and formal verification : Modellierung, Konstruktionen, Beweise und VerificationThesis Hochschulschrift 2020
12Holzer Peter - 2020 - Payment channel network analysis with focus on lightning...pdf.jpgHolzer, Peter Payment channel network analysis with focus on lightning networkThesis Hochschulschrift 2020
13Schwarz Alexander - 2019 - Static analysis of eWASM contracts.pdf.jpgSchwarz, Alexander Static analysis of eWASM contractsThesis Hochschulschrift 2019
14Schneider Jakob Felix - 2018 - Theoretische und praktische Smart Contracts -...pdf.jpgSchneider, Jakob Felix Theoretische und praktische Smart Contracts - Realisierung eines InvestmentfondsThesis Hochschulschrift 2018
15Maffei, Matteo ; Ryan, Mark ; Ah-Fat, Patrick ; Alabbad, Mohammed ; Alvim, Mario ; Aslanyan, Zaruhi ; Atzei, Nicola ; Babel, Kushal ; Bartoletti, Massimo ; Bauer, Lujo ; Blot, Arthur ; Bursuc, Sergiu ; Cañones, Pablo ; Casini, Giovanni ; Cheval, Vincent ; Cimoli, Tiziana ; Cramer, Marcos ; Dreier, Jannik ; Duménil, Charles ; Hedin, Daniel ; Hicks, Michael ; Huth, Michael ; Jia, Limin ; Johansen, Christian ; Jones, Owain ; Khedri, Ridha ; Köpf, Boris ; Kremer, Steve ; Laud, Peeter ; Mardziel, Piotr ; Nielson, Flemming ; Pettai, Martin ; Piessens, Frank ; Rafnsson, Willard ; Reineke, Jan ; Sabelfeld, Andrei ; Sasse, Ralf ; Terauchi, Tachio ; Xu, Shiwei ; Yamamoto, Masaki ; Sjösten, Alexander Principles of Security and TrustBuch Book 2017