Prefix title Titel (vorangestellt)
Univ.Prof.
 
Full name Familienname, Vorname
Maffei, Matteo
 

Results 1-20 of 32 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Calzavara, Stefano ; Maffei, Matteo ; Schneidewind, Clara ; Tempesta, Mauro ; Squarcina, Marco WPSE: Fortifying Web Protocols via Browser-Side Security MonitoringKonferenzbeitrag Inproceedings 2018
2Barthe, Gilles ; Eilers, Renate ; Georgiou, Pamina ; Gleiss, Bernhard ; Kovacs, Laura ; Maffei, Matteo ; Clark, Barett ; Yang, Jin Verifying Relational Properties using Trace LogicKonferenzbeitrag Inproceedings 2019
3Maffei, Matteo ; Munz, Reinhard ; Eigner, Fabienne ; Francis, Paul ; Garg, Deepak UniTraX: Protecting Data Privacy with Discoverable BiasesKonferenzbeitrag Inproceedings 2018
4Squarcina, Marco ; Calzavara, Stefano ; Maffei, Matteo The Remote on the Local: Exacerbating Web Attacks Via Service Workers CachesKonferenzbeitrag Inproceedings 2021
5Schneidewind, Clara ; Scherer, Markus ; Maffei, Matteo The Good, The Bad and The Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2020
6Katz, Jonathan ; Maffei, Matteo ; Malavolta, Giulio ; Schröder, Dominique Subset Predicate Encryption and Its ApplicationsKonferenzbeitrag Inproceedings2018
7Maffei, Matteo ; Reinert, Manuel ; Lai, Russel ; Egger, Christoph ; Chow, Sherman S.M. ; Schröder, Dominique Simple Password Hardened Encryption ServicesKonferenzbeitrag Inproceedings 2018
8Maffei, Matteo ; Moreno-Sanchez, Pedro ; Kate, Aniket ; Malavolta, Giulio SilentWhispers: Enforcing Security and Privacy in Decentralized Credit NetworksKonferenzbeitrag Inproceedings 2017
9Tairi, Erkan ; Moreno-Sanchez, Pedro ; Maffei, Matteo Post-Quantum Adaptor Signature for Privacy-Preserving Off-Chain PaymentsKonferenzbeitrag Inproceedings 2021
10Reinert, Manuel ; Schröder, Dominique ; Maffei, Matteo On the Security of Frequency-Hiding Order-Preserving EncryptionKonferenzbeitrag Inproceedings 2017
11Malavolta, Giulio ; Reinert, Manuel ; Schröder, Dominique ; Maffei, Matteo ; Gollmann, Dieter ; Miyaji, Atsuko ; Kikuchi, Hiroaki Maliciously Secure Multi-Client ORAMKonferenzbeitrag Inproceedings 2017
12Calzavara, Stefano ; Focardi, Riccardo ; Grimm, Niklas ; Maffei, Matteo ; Tempesta, Mauro Language-Based Web Session IntegrityKonferenzbeitrag Inproceedings 2020
13Aumayr, Lukas ; Ersoy, Oguzhan ; Erwig, Andreas ; Faust, Sebastian ; Hostáková, Kristina ; Maffei, Matteo ; Moreno-Sanchez, Pedro ; Riahi, Siavash Generalized Channels from Limited Blockchain Scripts and Adaptor SignaturesKonferenzbeitrag Inproceedings 2021
14Aumayr, Lukas ; Ersoy, Oğuzhan ; Erwig, Andreas ; Faust, Sebastian ; Hostáková, Kristina ; Maffei, Matteo ; Moreno-Sanchez, Pedro ; Riahi, Siavash Generalized Bitcoin-Compatible ChannelsBericht Report2020
15Deuber, Dominic ; Maffei, Matteo ; Malavolta, Giulio ; Rabkin, Max ; Schröder, Dominique ; Simkin, Mark Functional CredentialsKonferenzbeitrag Inproceedings 2018
16Gishchenko, Ilya ; Maffei, Matteo ; Schneidewind, Clara ; Weissenbacher, Georg ; Chockler, Hana Foundations and Tools for the Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2018
17Maffei, Matteo Formal Methods for the Security Analysis of Smart ContractsKonferenzbeitrag Inproceedings Oct-2021
18Schneidewind, Clara ; Grishchenko, Ilya ; Scherer, Markus ; Maffei, Matteo eThor: Practical and Provably Sound Static Analysis of Ethereum Smart ContractsKonferenzbeitrag Inproceedings 2020
19Cortier, Véronique ; Grimm, Niklas ; Lallemand, Joseph ; Maffei, Matteo Equivalence Properties by Typing in Cryptographic Branching ProtocolsKonferenzbeitrag Inproceedings 2018
20Romiti, Matteo ; Victor, Friedhelm ; Moreno-Sanchez, Pedro ; Nordholt, Peter Sebastian ; Haslhofer, Bernhard ; Maffei, Matteo Cross-Layer Deanonymization Methods in the Lightning ProtocolKonferenzbeitrag Inproceedings 2021

Results 1-11 of 11 (Search time: 0.015 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Schneider Jakob Felix - 2018 - Theoretische und praktische Smart Contracts -...pdf.jpgSchneider, Jakob Felix Theoretische und praktische Smart Contracts - Realisierung eines InvestmentfondsThesis Hochschulschrift 2018
2Grimm Niklas - 2021 - Static and Dynamic Enforcement of Security via Relational...pdf.jpgGrimm, Niklas Static and dynamic enforcement of security via relational reasoningThesis Hochschulschrift 2021
3Grishchenko Ilya - 2021 - Static Analysis of Low-Level Code.pdf.jpgGrishchenko, Ilya Static analysis of low-level codeThesis Hochschulschrift 2021
4Schwarz Alexander - 2019 - Static analysis of eWASM contracts.pdf.jpgSchwarz, Alexander Static analysis of eWASM contractsThesis Hochschulschrift 2019
5Schweighofer Martin - 2022 - Sound Cross-Contract Reachability Analysis of...pdf.jpgSchweighofer, Martin Sound Cross-Contract Reachability Analysis of Ethereum Smart ContractsThesis Hochschulschrift 2022
6Weninger Andreas Johann - 2021 - Privacy Preserving Authenticated Key Exchange -...pdf.jpgWeninger, Andreas Johann Privacy preserving authenticated Kkey exchange : Modelling, constructions, proofs and formal verification : Modellierung, Konstruktionen, Beweise und VerificationThesis Hochschulschrift 2020
7Maffei, 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
8Holzer Peter - 2020 - Payment channel network analysis with focus on lightning...pdf.jpgHolzer, Peter Payment channel network analysis with focus on lightning networkThesis Hochschulschrift 2020
9Schneidewind Clara - 2021 - Foundations for the Security Analysis of Distributed...pdf.jpgSchneidewind, Clara Foundations for the security analysis of distributed blockchain applicationsThesis 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
11Abfalter 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



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