Formal Methods for Industrial Critical Systems : 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, proceedings

Veröffentlicht 2021

A Theory of Automated Market Makers in DeFi

von Bartoletti, Massimo
Veröffentlicht in DisCoTec (16. : 2021 : Online) Coordination Models and Languages (2021)

Maximizing Extractable Value from Automated Market Makers

von Bartoletti, Massimo
Veröffentlicht in FC (26. : 2022 : Grenada) Financial cryptography and data security (2022)

Coordination models and languages : 18th IFIP WG 6.1 International Conference, COORDINATION 2016, held as part of the 11th International Federated Conference on Distributed Compu...

Veröffentlicht 2016

Quality Criteria for Cyber Security MOOCSs

von Fischer-Hübner, Simone
Veröffentlicht in World Conference on Information Security Education (13. : 2020 : Maribor) Information security education (2020)

Virtual special issue: automated specification and verification of web-based applications

Veröffentlicht 2017