DOI,IST REx ID,Research Group,Title of publication
10.15479/AT-ISTA-21401,21401,"GradSch,ToHe",Privacy-preserving runtime verification
10.4230/LIPIcs.AFT.2025.16,20587,KrPi,Nakamoto consensus from multiple resources
10.1007/978-3-031-47754-6_1,14735,"ElKo,GradSch","Executing and proving over dirty ledgers"
10.1007/978-3-031-47751-5_3,14829,ElKo,"Proof of availability and retrieval in a modular blockchain architecture"
null,14609,ElKo,Practical asynchronous high-threshold distributed key generation and distributed polynomial sampling