DOI,IST REx ID,Research Group,Title of publication
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-32733-9_10,14744,ElKo,"Divide & Scale: Formalization and roadmap to robust sharding"
10.1007/978-3-031-37709-9_1,14758,ToHe,"A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties"
10.1007/978-3-031-18283-9_17,12167,KrPi,"Hide & Seek: Privacy-preserving rebalancing on payment channel networks"
10.1007/978-3-031-18283-9_13,12168,ElKo,"Be aware of your leaders"
10.1007/978-3-031-19992-9_20,12170,KrCh,"PET – A partial exploration tool for probabilistic verification"
10.1007/978-3-031-19992-9_22,12171,ToHe,"Synthesis of parametric hybrid automata from time series"
10.1007/978-3-031-19135-0_5,12175,ToHe,History-deterministic timed automata are not determinizable
10.1007/978-3-031-15979-4_13,12176,KrPi,"Practical statistically-sound proofs of exponentiation in any group"
10.1007/978-3-031-18283-9_14,12298,ElKo,"Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback"
10.1007/978-3-031-13188-2_6,12302,ToHe,FORQ-based language inclusion formal testing
10.1007/978-3-031-22365-5_20,12516,KrPi,"Public-Key Encryption from Homogeneous CLWE"
10.1007/978-3-030-95561-8_1,10891,ToHe,Quantitative monitoring of software
10.1007/978-3-030-96731-4_31,11185,UlWa,Approximating the bundled crossing number