TEE-based distributed watchtowers for fraud protection in the lightning network M Leinweber, M Grundmann, L Schönborn, H Hartenstein Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS …, 2019 | 13 | 2019 |
Towards correct smart contracts: a case study on formal verification of access control J Schiffl, M Grundmann, M Leinweber, O Stengele, S Friebe, B Beckert Proceedings of the 26th ACM Symposium on Access Control Models and …, 2021 | 9 | 2021 |
Banklaves: Concept for a Trustworthy Decentralized Payment Service for Bitcoin M Grundmann, M Leinweber, H Hartenstein 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC …, 2019 | 5 | 2019 |
Brief Announcement: Let It TEE: Asynchronous Byzantine Atomic Broadcast with n≥ 2f+ 1 M Leinweber, H Hartenstein 37th International Symposium on Distributed Computing (DISC 2023), 2023 | 1 | 2023 |
Grasping the Concept of Decentralized Systems for Instant Messaging L Gebhardt, M Leinweber, F Jacob, H Hartenstein Proceedings of the 17th Workshop in Primary and Secondary Computing …, 2022 | 1 | 2022 |
ABCperf: Performance Evaluation of Fault Tolerant State Machine Replication Made Simple: Demo Abstract T Spannagel, M Leinweber, A Castro, H Hartenstein Proceedings of the 24th International Middleware Conference: Demos, Posters …, 2023 | | 2023 |
Investigating the Role of Computing Education for Informed Usage Decision-Making L Gebhardt, M Leinweber, T Michaeli Proceedings of the 18th WiPSCE Conference on Primary and Secondary Computing …, 2023 | | 2023 |
Leveraging Distributed Ledger Technology for Decentralized Mobility-as-a-Service Ticket Systems M Leinweber, N Kannengießer, H Hartenstein, A Sunyaev Towards the New Normal in Mobility: Technische und betriebswirtschaftliche …, 2023 | | 2023 |
Enabling Cross-Event Optimization in Discrete-Event Simulation Through Compile-Time Event Batching M Leinweber, H Hartenstein, P Andelfinger arXiv preprint arXiv:1805.04303, 2018 | | 2018 |