DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-90653-4_7,19743,KrCh,Fixed point certificates for reachability and expected rewards in MDPs
10.1007/978-3-031-90653-4_14,19744,KrCh,Refuting equivalence in probabilistic programs with conditioning
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-90643-5_16,19741,ToHe,Automating the analysis of quantitative automata with QuAK
10.1007/978-3-031-91820-9_2,19778,"KrPi,GradSch",Watermarkable and zero-knowledge Verifiable Delay Functions from any proof of exponentiation
10.1007/978-3-031-71162-6_31,18155,KrCh,"Sound and complete witnesses for template-based verification of LTL properties on polynomial programs"
10.1007/978-3-031-71671-3_2,18177,ToHe,"BNClassifier: Classifying boolean models by dynamic properties"
10.1007/978-3-031-67285-9_12,18206,,"Enhancing predictive accuracy in embryo implantation: The Bonna algorithm and its clinical implications"
10.1007/978-3-031-74234-7_18,18521,"ToHe,GradSch",Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
10.1007/978-3-031-73751-0_12,18563,ToHe,Reminiscences of a Real-Time Researcher
10.1007/978-3-031-76554-4_9,18599,ToHe,Monitoring extended hypernode logic
10.1007/978-3-031-67695-6_4,18600,KrCh,"Tools at the Frontiers of Quantitative Verification: QComp 2023 Competition Report"