Stefan Tai
- Trustworthy Pre-Processing of Sensor Data in Data On-chaining Workflows for Blockchain-based IoT Applications
2021/10/29 by Jonathan Heiss, Anselm Busse, Heiss, Jonathan +3 · 2 citations
Computer Science · #Blockchain Technology Applications and Security #Cloud Data Security Solutions #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #Parallel #Security and Verification in Computing #and Cluster Computing (cs.DC)
- Messaging with Purpose Limitation -- Privacy-Compliant Publish-Subscribe Systems
2021/10/28 by Karl H. Wolf, Wolf, Karl, Frank Pallas +3 · 1 citation
Computer Science · Social Sciences · #Access Control and Trust #C.2.4 #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #H.4.0 #K.5.0 #Peer-to-Peer Network Technologies #Privacy-Preserving Technologies in Data
- Advancing Blockchain-based Federated Learning through Verifiable Off-chain Computations
2022/06/23 by Jonathan Heiss, Elias Grünewald, Heiss, Jonathan +7 · 1 citation
Computer Science · #Blockchain Technology Applications and Security #Cryptography and Data Security #Cryptography and Security (cs.CR) #Distributed #FOS: Computer and information sciences #Parallel #Privacy-Preserving Technologies in Data #and Cluster Computing (cs.DC)
- A Comprehensive Experimentation Framework for Energy-Efficient Design of Cloud-Native Applications
2025/03/11 by Sebastian Werner, Werner, Sebastian, Maria C. Borges +5 · 4 citations
Computer Science · Engineering · #Caching and Content Delivery #Cloud Computing and Resource Management #Distributed #FOS: Computer and information sciences #Green IT and Sustainability #Parallel #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
- Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
2024/04/25 by Alvaro Alonso Domenech, Jonathan Heiss, Domenech, Alvaro Alonso +3 · 2 citations
Computer Science · #VLSI and Analog Circuit Testing #Parallel Computing and Optimization Techniques #Formal Methods in Verification