Foundations and Tools for Client-Side Web Security

Deliverables

Open Research Data Pilot (1)

Data Management Plan

Deliverable describing the data management procedures implementing open access.

Publications

Conference proceedings (6)

Verifying Relational Properties using Trace Logic

Author(s): Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovacs, Matteo Maffei
Published in: 2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Page(s) 170-178
DOI: 10.23919/fmcad.2019.8894277

Atomic Multi-Channel Updates with Constant Collateral in Bitcoin-Compatible Payment-Channel Networks

Author(s): Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei
Published in: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS '19, 2019, Page(s) 801-815
DOI: 10.1145/3319535.3345666

Postcards from the Post-HTTP World: Amplification of HTTPS Vulnerabilities in the Web Ecosystem

Author(s): Stefano Calzavara, Riccardo Focardi, Matus Nemec, Alvise Rabitti, Marco Squarcina
Published in: 2019 IEEE Symposium on Security and Privacy (SP), 2019, Page(s) 281-298
DOI: 10.1109/sp.2019.00053

Anonymous Multi-Hop Locks for Blockchain Scalability and Interoperability

Author(s): Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
Published in: Proceedings 2019 Network and Distributed System Security Symposium, 2019
DOI: 10.14722/ndss.2019.23330

WPSE: Fortifying Web Protocols via Browser-Side Security Monitoring

Author(s): Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
Published in: 27th Usenix Security Symposium, 2018, Page(s) 1493-1510

Simple Password-Hardened Encryption Services

Author(s): "Russell W. F. Lai, Christoph Egger, Manuel Reinert, Sherman S. M. Chow, Matteo Maffei, Dominique Schr{\""{o}}der"
Published in: 27th Usenix Security Symposium, 2018, Page(s) 1405-1421

Peer reviewed articles (2)

Group ORAM for privacy and access control in outsourced personal records

Author(s): Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
Published in: Journal of Computer Security, Issue 27/1, 2019, Page(s) 1-47, ISSN 0926-227X
DOI: 10.3233/jcs-171030

Functional Credentials

Author(s): Dominic Deuber, Matteo Maffei, Giulio Malavolta, Max Rabkin, Dominique Schröder, Mark Simkin
Published in: Proceedings on Privacy Enhancing Technologies, Issue 2018/2, 2018, Page(s) 64-84, ISSN 2299-0984
DOI: 10.1515/popets-2018-0013

Book chapters (3)

Foundations and Tools for the Static Analysis of Ethereum Smart Contracts

Author(s): Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Published in: Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I, Issue 10981, 2018, Page(s) 51-78
DOI: 10.1007/978-3-319-96145-3_4

A Semantic Framework for the Security Analysis of Ethereum Smart Contracts

Author(s): Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Published in: Principles of Security and Trust, Issue 10804, 2018, Page(s) 243-269
DOI: 10.1007/978-3-319-89722-6_10

Equivalence Properties by Typing in Cryptographic Branching Protocols

Author(s): Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
Published in: Principles of Security and Trust, Issue 10804, 2018, Page(s) 160-187
DOI: 10.1007/978-3-319-89722-6_7