DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-030-99429-7_1,11355,ToHe,Information-flow interfaces
10.1007/978-3-031-06245-2,11429,HeEd,Web and Wireless Geographical Information Systems
10.1007/978-3-031-07085-3_28,11476,"GradSch,KrPi",CoCoA: Concurrent continuous group key agreement
10.1007/978-3-031-09993-9_1,11707,DaAl,Local mending
10.1007/978-3-031-13185-1_4,12000,KrCh,"Sound and complete certificates for auantitative termination analysis of probabilistic programs"
10.1007/978-3-030-72016-2,12767,KrCh,On satisficing in quantitative games
10.1007/978-3-030-71278-5_18,9210,ChLa,Does SGD implicitly optimize for smoothness?
10.1007/978-3-030-67899-9_28,9227,VlKo,Experimental evaluation of a local search approximation algorithm for the multiway cut problem
10.1007/978-3-030-84245-1_17,10041,KrPi,"Limits on the Adaptive Security of Yao’s Garbling"
10.1007/978-3-662-63958-0_34,10076,ElKo,Reactive key-loss protection in blockchains
10.1007/978-3-030-88494-9_12,10108,ToHe,Differential monitoring
10.1007/978-3-030-88494-9_3,10206,ToHe,"Into the unknown: active monitoring of neural networks"
10.1007/978-3-662-64331-0_11,10324,ElKo,Brick: Asynchronous incentive-compatible payment channels
10.1007/978-3-662-64331-0_1,10325,ElKo,SoK: Communication across distributed ledgers
10.1007/978-3-030-90453-1_14,10407,KrPi,Trojan-resilience without cryptography
10.1007/978-3-030-90456-2_8,10408,KrPi,Grafting key trees: Efficient key management for overlapping groups
10.1007/978-3-030-90453-1_17,10409,KrPi,"On treewidth, separators and Yao’s garbling"
10.1007/978-3-030-90453-1_19,10410,KrPi,The cost of adaptivity in security games on graphs
10.1007/978-3-030-90870-6_33,10414,KrCh,On lexicographic proof rules for probabilistic termination
10.1007/978-3-030-92075-3_12,10609,KrPi,Reverse firewalls for adaptively secure MPC without setup