DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-031-49272-3_23,15012,HeEd,"Decomposition of geometric graphs into star-forests"
10.1007/978-3-030-94583-1_1,10774,ToHe,Flavors of sequential information flow
10.1007/978-3-030-68211-8_18,9296,"UlWa,HeEd,KrCh",On compatible matchings
10.1007/978-3-030-75245-3_3,9466,KrPi,The convergence of slide-type reductions
10.1007/978-3-030-79527-6_6,9823,DaAl,"Wait-free approximate agreement on graphs"
10.1007/978-3-030-76657-3_10,9824,HeEd,Body centered cubic grid - coordinate system and discrete analytical plane definition
10.1007/978-3-030-75539-3_20,9825,KrPi,Dual lattice attacks for closest vector problems (with preprocessing)
10.1007/978-3-030-75539-3_17,9826,"KrPi,GradSch",Inverse-Sybil attacks in automated contact tracing
10.1007/978-3-030-53291-8_21,8272,KrCh,Stochastic games with lexicographic reachability-safety objectives
10.1007/978-3-030-56880-1_26,8322,KrPi,"Reverse firewalls for actively secure MPCs"
10.1007/978-3-030-45374-9_21,8339,KrPi,Improved discrete Gaussian and subgaussian analysis for lattice cryptography
10.1007/978-3-030-65277-7_1,8987,KrPi,Delayed authentication: Preventing replay and relay attacks in private contact tracing
10.1007/978-3-030-45237-7_5,7808,ToHe,How many bits does it take to quantize your neural network?
10.1007/978-3-030-44914-8_5,7810,KrCh,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
10.1007/978-3-030-51074-9_2,8194,ToHe,An SMT theory of fixed-point arithmetic
10.1007/978-3-030-31784-3_27,7183,KrCh,Deciding fast termination for probabilistic VASS with nondeterminism
10.1007/978-3-030-17259-6_11,6430,KrPi,Adaptively secure proxy re-encryption
10.1007/978-3-319-96983-1_33,85,DaAl,Snapshot based synchronization: A fast replacement for Hand-over-Hand locking
10.1007/978-3-319-96145-3_25,140,ToHe,Space-time interpolants
10.1007/978-3-030-02768-1_11,5679,KrCh,New approaches for almost-sure termination of probabilistic programs