Leistungen
Deliverable describing the data management procedures implementing open access.
Veröffentlichungen
Autoren:
Lukas Aumayr, Oğuzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi
Veröffentlicht in:
2021 IEEE Symposium on Security and Privacy (SP), 2021
Herausgeber:
IEEE
Autoren:
Clara Schneidewind, Ilya Grishchenko, Markus Scherer, Matteo Maffei
Veröffentlicht in:
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, Seite(n) 621-640, ISBN 9781450370899
Herausgeber:
ACM
DOI:
10.1145/3372297.3417250
Autoren:
Sergei Tikhomirov, Pedro Moreno-Sanchez, Matteo Maffei
Veröffentlicht in:
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW), 2020, Seite(n) 387-396, ISBN 978-1-7281-8597-2
Herausgeber:
IEEE
DOI:
10.1109/eurospw51379.2020.00059
Autoren:
Lukas Aumayr, Pedro Moreno-Sanchez, Aniket Kate, Matteo Maffei
Veröffentlicht in:
Usenix Security '21, 2021
Herausgeber:
Usenix
Autoren:
Marco Squarcina, Stefano Calzavara, Matteo Maffei
Veröffentlicht in:
2021 IEEE Security and Privacy Workshops (SPW), 2021, Seite(n) 432-443, ISBN 978-1-6654-3732-5
Herausgeber:
IEEE
DOI:
10.1109/spw53761.2021.00062
Autoren:
Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
Veröffentlicht in:
2021 IEEE Symposium on Security and Privacy (SP), 2021
Herausgeber:
IEEE
Autoren:
Lukas Aumayr, Oguzhan Ersoy, Andreas Erwig, Sebastian Faust, Kristina Hostáková, Matteo Maffei, Pedro Moreno-Sanchez, Siavash Riahi
Veröffentlicht in:
Advances in Cryptology – ASIACRYPT 2021. ASIACRYPT 2021. Lecture Notes in Computer Science, Ausgabe Vol 13091, 2021, Seite(n) 635-664, ISBN 978-3-030-92074-6
Herausgeber:
Springer Cham
DOI:
10.1007/978-3-030-92075-3_22
Autoren:
L. Ceragioli, L. Galletta, M. Tempesta
Veröffentlicht in:
Proceedings of the Third Italian Conference on Cyber Security, 2019, ISSN 1613-0073
Herausgeber:
CEUR-WS.org
Autoren:
Noemi Glaeser, Matteo Maffei, Giulio Malavolta, Pedro Moreno-Sanchez, Erkan Tairi, Sri Aravinda Krishnan Thyagarajan
Veröffentlicht in:
CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Ausgabe Nov 7th, 2022, 2022, Seite(n) 1259-1273, ISBN 9781450394505
Herausgeber:
Association for Computing Machinery
DOI:
10.1145/3548606.3560637
Autoren:
Matteo Maffei
Veröffentlicht in:
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021, 2021, Seite(n) 8
Herausgeber:
TU Wien Academic Press
DOI:
10.34727/2021/isbn.978-3-85448-046-4_3
Autoren:
P. Beer, L. Veronese, M. Squarcina, M. Lindorfer
Veröffentlicht in:
SecWeb 2022. Peer-reviewed. Not in conference proceedings, 2022
Herausgeber:
IEEE Security and Privacy Workshops (SPW)
Autoren:
Cavallaro, Lorenzo; Kinder, Johannes; Wang, XiaoFeng; Katz, Jonathan; Egger, Christoph; Moreno-Sanchez, Pedro; Maffei, Matteo
Veröffentlicht in:
CCS '19: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
Herausgeber:
ACM
Autoren:
Lukas Aumayr, Kasra Abbaszadeh, Matteo Maffei
Veröffentlicht in:
CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Ausgabe Nov 7th, 2022, 2022, Seite(n) 165-178, ISBN 9781450394505
Herausgeber:
Association for Computing Machinery
DOI:
10.1145/3548606.3560556
Autoren:
Ligatti, Jay; Ou, Xinming; Katz, Jonathan; Vigna, Giovanni; Schneidewind, Clara; Grishchenko, Ilya; Scherer, Markus; Maffei, Matteo
Veröffentlicht in:
CCS '20: Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020
Herausgeber:
ACM
Autoren:
Erkan Tairi, Pedro Moreno-Sanchez, Matteo Maffei
Veröffentlicht in:
Financial Cryptography and Data Security 2021, 2021
Herausgeber:
Springer
Autoren:
Lukas Aumayr, Sri AravindaKrishnan Thyagarajan, Giulio Malavolta, Pedro Moreno-Sanchez, Matteo Maffei
Veröffentlicht in:
CCS '22: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, Ausgabe Nov 7th, 2022, 2022, Seite(n) 179-192, ISBN 9781450394505
Herausgeber:
Association for Computing Machinery
DOI:
10.1145/3548606.3559370
Autoren:
L. Veronese, B. Farinier, P. Bernardo, M. Tempesta, M. Squarcina, M. Maffei
Veröffentlicht in:
2023 IEEE Symposium on Security and Privacy (SP), 2023, Seite(n) 2761-2779, ISBN 978-1-6654-9336-9
Herausgeber:
IEEE
DOI:
10.1109/sp46215.2023.10179465
Autoren:
Gilles Barthe, Renate Eilers, Pamina Georgiou, Bernhard Gleiss, Laura Kovacs, Matteo Maffei
Veröffentlicht in:
2019 Formal Methods in Computer Aided Design (FMCAD), 2019, Seite(n) 170-178, ISBN 978-0-9835678-9-9
Herausgeber:
IEEE
DOI:
10.23919/fmcad.2019.8894277
Autoren:
Christoph Egger, Pedro Moreno-Sanchez, Matteo Maffei
Veröffentlicht in:
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security - CCS '19, 2019, Seite(n) 801-815, ISBN 9781-450367479
Herausgeber:
ACM Press
DOI:
10.1145/3319535.3345666
Autoren:
Stefano Calzavara, Riccardo Focardi, Matus Nemec, Alvise Rabitti, Marco Squarcina
Veröffentlicht in:
2019 IEEE Symposium on Security and Privacy (SP), 2019, Seite(n) 281-298, ISBN 978-1-5386-6660-9
Herausgeber:
IEEE
DOI:
10.1109/sp.2019.00053
Autoren:
Giulio Malavolta, Pedro Moreno-Sanchez, Clara Schneidewind, Aniket Kate, Matteo Maffei
Veröffentlicht in:
Proceedings 2019 Network and Distributed System Security Symposium, 2019, ISBN 1-891562-55-X
Herausgeber:
Internet Society
DOI:
10.14722/ndss.2019.23330
Autoren:
Stefano Calzavara, Riccardo Focardi, Matteo Maffei, Clara Schneidewind, Marco Squarcina, Mauro Tempesta
Veröffentlicht in:
27th Usenix Security Symposium, 2018, Seite(n) 1493-1510, ISBN 978-1-939133-04-5
Herausgeber:
Usenix
Autoren:
"Russell W. F. Lai, Christoph Egger, Manuel Reinert, Sherman S. M. Chow, Matteo Maffei, Dominique Schr{\""{o}}der"
Veröffentlicht in:
27th Usenix Security Symposium, 2018, Seite(n) 1405-1421, ISBN 978-1-939133-04-5
Herausgeber:
Usenix
Autoren:
Stefano Calzavara, Riccardo Focardi, Niklas Grimm, Matteo Maffei, Mauro Tempesta
Veröffentlicht in:
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 2020, Seite(n) 107-122, ISBN 978-1-7281-6572-1
Herausgeber:
IEEE
DOI:
10.1109/csf49147.2020.00016
Autoren:
Marco Squarcina, Mauro Tempesta, Lorenzo Veronese, Stefano Calzavara, Matteo Maffei
Veröffentlicht in:
Usenix Security, 2021
Herausgeber:
Usenix
Autoren:
Romiti, Matteo; Victor, Friedhelm; Moreno-Sanchez, Pedro; Haslhofer, Bernhard; Maffei, Matteo
Veröffentlicht in:
Financial Cryptography and Data Security 2021, Ausgabe 1, 2021
Herausgeber:
Springer
Autoren:
Chiara Bodei, Lorenzo Ceragioli, Pierpaolo Degano, Riccardo Focardi, Letterio Galletta, Flaminia Luccio, Mauro Tempesta, Lorenzo Veronese
Veröffentlicht in:
Journal of Computer Security, Ausgabe 29/1, 2021, Seite(n) 77-134, ISSN 0926-227X
Herausgeber:
IOS Press
DOI:
10.3233/jcs-200017
Autoren:
Guillaume Girol; Benjamin Farinier; Sébastien Bardin
Veröffentlicht in:
Formal Methods in System Design, 2022, Seite(n) 1-29, ISSN 0925-9856
Herausgeber:
Kluwer Academic Publishers
DOI:
10.1007/s10703-022-00402-x
Autoren:
Matteo Maffei, Giulio Malavolta, Manuel Reinert, Dominique Schröder
Veröffentlicht in:
Journal of Computer Security, Ausgabe 27/1, 2019, Seite(n) 1-47, ISSN 0926-227X
Herausgeber:
IOS Press
DOI:
10.3233/jcs-171030
Autoren:
Dominic Deuber, Matteo Maffei, Giulio Malavolta, Max Rabkin, Dominique Schröder, Mark Simkin
Veröffentlicht in:
Proceedings on Privacy Enhancing Technologies, Ausgabe 2018/2, 2018, Seite(n) 64-84, ISSN 2299-0984
Herausgeber:
De Gruyter
DOI:
10.1515/popets-2018-0013
Autoren:
Mazumdar, Subhra; Banerjee, Prabal; Sinha, Abhinandan; Ruj, Sushmita; Roy, Bimal
Veröffentlicht in:
IEEE Transactions on Network and Service Management, Ausgabe vol. 20, no. 2, 2022, Seite(n) 1790-1803, ISSN 1932-4537
Herausgeber:
Institute of Electrical and Electronics Engineers
DOI:
10.1109/tnsm.2022.3230768
Autoren:
Lorenzo Veronese, Stefano Calzavara, Luca Compagna
Veröffentlicht in:
Computer Security – ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I, Ausgabe 12308, 2020, Seite(n) 23-41, ISBN 978-3-030-58950-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-58951-6_2
Autoren:
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Veröffentlicht 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, Ausgabe 10981, 2018, Seite(n) 51-78, ISBN 978-3-319-96144-6
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96145-3_4
Autoren:
Ilya Grishchenko, Matteo Maffei, Clara Schneidewind
Veröffentlicht in:
Principles of Security and Trust, Ausgabe 10804, 2018, Seite(n) 243-269, ISBN 978-3-319-89721-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-89722-6_10
Autoren:
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
Veröffentlicht in:
Principles of Security and Trust, Ausgabe 10804, 2018, Seite(n) 160-187, ISBN 978-3-319-89721-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-89722-6_7
Autoren:
Guillaume Girol, Benjamin Farinier, Sébastien Bardin
Veröffentlicht in:
Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I, Ausgabe 12759, 2021, Seite(n) 669-693, ISBN 978-3-030-81684-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-81685-8_32
Autoren:
Clara Schneidewind, Markus Scherer, Matteo Maffei
Veröffentlicht in:
Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III, Ausgabe 12478, 2020, Seite(n) 212-231, ISBN 978-3-030-61466-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-61467-6_14
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor