Henzinger, Monika H, and Xiaowei Wu. “Upper and Lower Bounds for Fully Retroactive Graph Problems.”https://doi.org/10.1007/978-3-030-83508-8_34__In 17th International Symposium on Algorithms and Data Structures, 12808:471–484. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-83508-8_34 .
LibreCat: https://research-explorer.ista.ac.at/record/11771
DOI: 10.1007/978-3-030-83508-8_34
arXiv: 1910.03332

Volhejn, Vaclav, and Christoph Lampert. “Does SGD Implicitly Optimize for Smoothness?”https://doi.org/10.1007/978-3-030-71278-5_18__In 42nd German Conference on Pattern Recognition, 12544:246–59. LNCS. Springer, 2021.https://doi.org/10.1007/978-3-030-71278-5_18 .
LibreCat: https://research-explorer.ista.ac.at/record/9210
DOI: 10.1007/978-3-030-71278-5_18

Alistarh, Dan-Adrian, and Peter Davies. “Collecting Coupons Is Faster with Friends.”https://doi.org/10.1007/978-3-030-79527-6_1__In Structural Information and Communication Complexity, 12810:3–12. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-79527-6_1 .
LibreCat: https://research-explorer.ista.ac.at/record/9620
DOI: 10.1007/978-3-030-79527-6_1

Bansal, Suguman, Krishnendu Chatterjee, and Moshe Y. Vardi. “On Satisficing in Quantitative Games.”https://doi.org/10.1007/978-3-030-72016-2__In 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12651:20–37. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-72016-2 .
LibreCat: https://research-explorer.ista.ac.at/record/12767
DOI: 10.1007/978-3-030-72016-2
arXiv: 2101.02594

Blackshear, Sam, Konstantinos Chalkias, Panagiotis Chatzigiannis, Riyaz Faizullabhoy, Irakliy Khaburzaniya, Eleftherios Kokoris Kogias, Joshua Lind, David Wong, and Tim Zakian. “Reactive Key-Loss Protection in Blockchains.”https://doi.org/10.1007/978-3-662-63958-0_34__In FC 2021 Workshops, 12676:431–50. Springer Nature, 2021.https://doi.org/10.1007/978-3-662-63958-0_34 .
LibreCat: https://research-explorer.ista.ac.at/record/10076
DOI: 10.1007/978-3-662-63958-0_34
WoS: 000713005000034

Mühlböck, Fabian, and Thomas A Henzinger. “Differential Monitoring.”https://doi.org/10.1007/978-3-030-88494-9_12__In International Conference on Runtime Verification, 12974:231–43. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-88494-9_12 .
LibreCat: https://research-explorer.ista.ac.at/record/10108
DOI: 10.1007/978-3-030-88494-9_12
WoS: 000719383800012

Zamyatin, Alexei, Mustafa Al-Bassam, Dionysis Zindros, Eleftherios Kokoris Kogias, Pedro Moreno-Sanchez, Aggelos Kiayias, and William J. Knottenbelt. “SoK: Communication across Distributed Ledgers.”https://doi.org/10.1007/978-3-662-64331-0_1__In 25th International Conference on Financial Cryptography and Data Security, 12675:3–36. Springer Nature, 2021.https://doi.org/10.1007/978-3-662-64331-0_1 .
LibreCat: https://research-explorer.ista.ac.at/record/10325
DOI: 10.1007/978-3-662-64331-0_1
WoS: 000712016200001

Avarikioti, Zeta, Eleftherios Kokoris Kogias, Roger Wattenhofer, and Dionysis Zindros. “Brick: Asynchronous Incentive-Compatible Payment Channels.”https://doi.org/10.1007/978-3-662-64331-0_11__In 25th International Conference on Financial Cryptography and Data Security, 12675:209–30. Springer Nature, 2021.https://doi.org/10.1007/978-3-662-64331-0_11 .
LibreCat: https://research-explorer.ista.ac.at/record/10324
DOI: 10.1007/978-3-662-64331-0_11
WoS: 000712016200011
arXiv: 1905.11360

Chakraborty, Suvradip, Stefan Dziembowski, Magorzata Gazka, Tomasz Lizurej, Krzysztof Z Pietrzak, and Michelle X Yeo. “Trojan-Resilience without Cryptography,”https://doi.org/10.1007/978-3-030-90453-1_14__13043:397–428. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-90453-1_14 .
LibreCat: https://research-explorer.ista.ac.at/record/10407
DOI: 10.1007/978-3-030-90453-1_14
WoS: 000728364000014

Alwen, Joel F, Benedikt Auerbach, Mirza Ahad Baig, Miguel Cueto Noval, Karen Klein, Guillermo Pascual Perez, Krzysztof Z Pietrzak, and Michael Walter. “Grafting Key Trees: Efficient Key Management for Overlapping Groups.”https://doi.org/10.1007/978-3-030-90456-2_8__In 19th International Conference, 13044:222–53. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-90456-2_8 .
LibreCat: https://research-explorer.ista.ac.at/record/10408
DOI: 10.1007/978-3-030-90456-2_8
WoS: 000728363700008

Kamath Hosdurg, Chethan, Karen Klein, and Krzysztof Z Pietrzak. “On Treewidth, Separators and Yao’s Garbling.”https://doi.org/10.1007/978-3-030-90453-1_17__In 19th International Conference, 13043:486–517. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-90453-1_17 .
LibreCat: https://research-explorer.ista.ac.at/record/10409
DOI: 10.1007/978-3-030-90453-1_17
WoS: 000728364000017

Chakraborty, Suvradip, Chaya Ganesh, Mahak Pancholi, and Pratik Sarkar. “Reverse Firewalls for Adaptively Secure MPC without Setup.”https://doi.org/10.1007/978-3-030-92075-3_12__In 27th International Conference on the Theory and Application of Cryptology and Information Security, 13091:335–64. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-92075-3_12 .
LibreCat: https://research-explorer.ista.ac.at/record/10609
DOI: 10.1007/978-3-030-92075-3_12
WoS: 000927876200012

Agarwal, Pratyush, Krishnendu Chatterjee, Shreya Pathak, Andreas Pavlogiannis, and Viktor Toman. “Stateless Model Checking under a Reads-Value-from Equivalence.”https://doi.org/10.1007/978-3-030-81685-8_16__In 33rd International Conference on Computer-Aided Verification , 12759:341–66. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-81685-8_16 .
LibreCat: https://research-explorer.ista.ac.at/record/9987
DOI: 10.1007/978-3-030-81685-8_16
WoS: 000698732400016
arXiv: 2105.06424

Kamath Hosdurg, Chethan, Karen Klein, Krzysztof Z Pietrzak, and Daniel Wichs. “Limits on the Adaptive Security of Yao’s Garbling.”https://doi.org/10.1007/978-3-030-84245-1_17__In 41st Annual International Cryptology Conference, Part II , 12826:486–515. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-84245-1_17 .
LibreCat: https://research-explorer.ista.ac.at/record/10041
DOI: 10.1007/978-3-030-84245-1_17

Bloch-Hansen, Andrew, Nasim Samei, and Roberto Solis-Oba. “Experimental Evaluation of a Local Search Approximation Algorithm for the Multiway Cut Problem.”https://doi.org/10.1007/978-3-030-67899-9_28__In Conference on Algorithms and Discrete Applied Mathematics, 12601:346–58. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-67899-9_28 .
LibreCat: https://research-explorer.ista.ac.at/record/9227
DOI: 10.1007/978-3-030-67899-9_28

Kamath Hosdurg, Chethan, Karen Klein, Krzysztof Z Pietrzak, and Michael Walter. “The Cost of Adaptivity in Security Games on Graphs.”https://doi.org/10.1007/978-3-030-90453-1_19__In 19th International Conference, 13043:550–81. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-90453-1_19 .
LibreCat: https://research-explorer.ista.ac.at/record/10410
DOI: 10.1007/978-3-030-90453-1_19
WoS: 000728364000019

Lukina, Anna, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks.”https://doi.org/10.1007/978-3-030-88494-9_3__In 21st International Conference on Runtime Verification, 12974:42–61. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-88494-9_3 .
LibreCat: https://research-explorer.ista.ac.at/record/10206
DOI: 10.1007/978-3-030-88494-9_3
WoS: 000719383800003
arXiv: 2009.06429

Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jií Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.”https://doi.org/10.1007/978-3-030-90870-6_33__In 24th International Symposium on Formal Methods, 13047:619–39. Springer Nature, 2021.https://doi.org/10.1007/978-3-030-90870-6_33 .
LibreCat: https://research-explorer.ista.ac.at/record/10414
DOI: 10.1007/978-3-030-90870-6_33
WoS: 000758218600033
arXiv: 2108.02188

Pach, János, Gábor Tardos, and Géza Tóth. “Crossings between Non-Homotopic Edges.”https://doi.org/10.1007/978-3-030-68766-3_28__In 28th International Symposium on Graph Drawing and Network Visualization, 12590:359–71. LNCS. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-68766-3_28 .
LibreCat: https://research-explorer.ista.ac.at/record/9299
DOI: 10.1007/978-3-030-68766-3_28
arXiv: 2006.14908

Auerbach, Benedikt, Federico Giacon, and Eike Kiltz. “Everybody’s a Target: Scalability in Public-Key Encryption.”https://doi.org/10.1007/978-3-030-45727-3_16__In Advances in Cryptology – EUROCRYPT 2020, 12107:475–506. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-45727-3_16 .
LibreCat: https://research-explorer.ista.ac.at/record/7966
DOI: 10.1007/978-3-030-45727-3_16
WoS: 000828688000016