Skip to main content

Foundations and Tools for Client-Side Web Security

Deliverables

Data Management Plan

Deliverable describing the data management procedures implementing open access.

Searching for OpenAIRE data...

Publications

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

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

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