DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-38545-2_17,14428,KrPi,"Random oracle combiners: Breaking the concatenation barrier for collision-resistance"
10.1007/978-3-031-44267-4_15,14454,ToHe,Monitoring algorithmic fairness under partial observations
10.1007/978-3-031-43587-4_24,14456,KrCh,Shortest dominating set reconfiguration under token sliding
10.1007/978-3-031-44469-2_11,14457,KrPi,"Stronger lower bounds for leakage-resilient secret sharing"
10.1007/978-3-031-45329-8_17,14559,"ToHe,KrCh","Learning provably stabilizing neural controllers for discrete-time stochastic systems"
10.1007/978-3-031-48621-0_10,14691,KrPi,"On the cost of post-compromise security in concurrent Continuous Group-Key Agreement"
10.1007/978-3-031-48621-0_11,14692,KrPi,Generic-group lower bounds via reductions between geometric-search problems: With and without preprocessing
10.1007/978-3-031-48624-1_13,14693,KrPi,(Verifiable) delay functions from Lucas sequences
10.1007/978-3-031-47754-6_18,14736,"KrCh,KrPi","R2: Boosting liquidity in payment channel networks with online admission control"
10.1007/978-3-031-26293-7_31,18218,,"Physical passive patch adversarial attacks on visual odometry systems"
10.1007/978-3-031-30829-1_17,12467,"GradSch,ToHe",Quantitative safety and liveness
10.1007/978-3-031-30820-8_32,12854,ToHe,Bubaak: Runtime monitoring of program verifiers
10.1007/978-3-031-30826-0_15,12856,ToHe,Vamos: Middleware for best-effort third-party monitoring
10.1007/978-3-031-30823-9_25,13139,KrCh,"Correct approximation of stationary distributions"
10.1007/978-3-031-30820-8_15,13141,ToHe,Computing adequately permissive assumptions for synthesis
10.1007/978-3-031-30823-9_1,13142,"KrCh,ToHe",A learner-verifier framework for neural network controllers and certificates of stochastic systems
10.1007/978-3-031-32726-1_32,13236,MoHe,"Multiplicative auction algorithm for approximate maximum weight bipartite matching"
10.1007/978-3-031-37703-7_17,13310,"GradSch,ToHe",Monitoring algorithmic fairness
10.1007/978-3-031-32733-9_26,19985,"KrCh,KrPi","Weighted acket selection for rechargeable links in cryptocurrency networks: Complexity and approximation"
10.1007/978-3-031-32733-9_10,14744,ElKo,"Divide & Scale: Formalization and roadmap to robust sharding"