DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-032-26220-2_11,22006,ToHe,"Quantitative monitoring of Signal First-Order logic"
10.1007/978-3-032-07024-1_18,21042,KrPi,"Anthemius: Efficient and modular block assembly for concurrent execution"
10.1007/978-3-032-07024-1_17,21044,,"Pilotfish: Distributed execution for scalable blockchains"
10.1007/978-3-032-07035-7_8,21134,KrPi,"On the (in)security of Proofs-of-space based longest-chain blockchains"
10.1007/978-3-032-13961-0_26,21135,JoDa,niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction
10.1007/978-3-032-17801-5_39,21374,HeEd,"Edge-constrained Hamiltonian paths on a point set"
10.1007/978-981-95-7127-7_26,21410,HeEd,"On the MST-ratio: Theoretical bounds and complexity of finding the maximum"
10.1007/978-3-032-12290-2_6,20844,KrPi,Space-deniable proofs
10.1007/978-3-032-12293-3_9,20845,KrPi,"Zeroizing attacks against evasive and circular evasive LWE"
10.1007/978-3-032-12290-2_16,20846,KrPi,"Constrained verifiable random functions without obfuscation and friends"
10.1007/978-3-032-05435-7_1,21090,ToHe,Algorithmic fairness: A runtime perspective
10.1007/978-3-032-05435-7_4,21091,ToHe,Formal verification of neural certificates done dynamically
10.1007/978-3-032-05435-7_9,21092,ToHe,Alignment monitoring
10.1007/978-3-032-05435-7_23,21093,ToHe,Monitoring hypernode logic over infinite domains
10.1007/978-3-032-01913-4_5,21262,KrPi,Continuous group-key agreement: Concurrent updates without pruning
10.1007/978-3-032-01887-8_19,21323,KrPi,"On extractability of the KZG family of polynomial commitment schemes"
10.1007/978-3-031-82703-7_5,19375,KrCh,"1–2–3–Go! Policy synthesis for parameterized Markov decision processes via decision-tree learning and generalization"
10.1007/978-981-96-2845-2_16,19445,KrCh,Reconfiguration using generalized token jumping
10.1007/978-3-031-82349-7_15,19600,"KrPi,KrCh","Route discovery in private payment channel networks"
10.1007/978-3-031-91095-1_14,19712,KrPi,"On the soundness of algebraic attacks against code-based assumptions"