Avarikioti, Georgia, Krzysztof Z Pietrzak, Iosif Salem, Stefan Schmid, Samarth Tiwari, and Michelle X Yeo. “Hide &; Seek: Privacy-Preserving Rebalancing on Payment Channel Networks.”https://doi.org/10.1007/978-3-031-18283-9_17__In Financial Cryptography and Data Security, 13411:358–73. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-18283-9_17 .
LibreCat: https://research-explorer.ista.ac.at/record/12167
DOI: 10.1007/978-3-031-18283-9_17
arXiv: 2110.08848

Doveri, Kyveli, Pierre Ganty, and Nicolas Adrien Mazzocchi. “FORQ-Based Language Inclusion Formal Testing.”https://doi.org/10.1007/978-3-031-13188-2_6__In Computer Aided Verification, 13372:109–29. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-13188-2_6 .
LibreCat: https://research-explorer.ista.ac.at/record/12302
DOI: 10.1007/978-3-031-13188-2_6
WoS: 000870310500006
arXiv: 2207.13549

Hoffmann, Charlotte, Pavel Hubádek, Chethan Kamath, Karen Klein, and Krzysztof Z Pietrzak. “Practical Statistically-Sound Proofs of Exponentiation in Any Group.”https://doi.org/10.1007/978-3-031-15979-4_13__In Advances in Cryptology – CRYPTO 2022, 13508:370–99. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-15979-4_13 .
LibreCat: https://research-explorer.ista.ac.at/record/12176
DOI: 10.1007/978-3-031-15979-4_13
WoS: 000886792700013

Gelashvili, Rati, Eleftherios Kokoris Kogias, Alberto Sonnino, Alexander Spiegelman, and Zhuolun Xiang. “Jolteon and Ditto: Network-Adaptive Efficient Consensus with Asynchronous Fallback.”https://doi.org/10.1007/978-3-031-18283-9_14__In Financial Cryptography and Data Security, 13411:296–315. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-18283-9_14 .
LibreCat: https://research-explorer.ista.ac.at/record/12298
DOI: 10.1007/978-3-031-18283-9_14
arXiv: 2106.10362

Cohen, Shir, Rati Gelashvili, Eleftherios Kokoris Kogias, Zekun Li, Dahlia Malkhi, Alberto Sonnino, and Alexander Spiegelman. “Be Aware of Your Leaders.”https://doi.org/10.1007/978-3-031-18283-9_13__In International Conference on Financial Cryptography and Data Security, 13411:279–95. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-18283-9_13 .
LibreCat: https://research-explorer.ista.ac.at/record/12168
DOI: 10.1007/978-3-031-18283-9_13
arXiv: 2110.00960

Meggendorfer, Tobias. “PET – A Partial Exploration Tool for Probabilistic Verification.”https://doi.org/10.1007/978-3-031-19992-9_20__In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:320–26. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-19992-9_20 .
LibreCat: https://research-explorer.ista.ac.at/record/12170
DOI: 10.1007/978-3-031-19992-9_20

Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.”https://doi.org/10.1007/978-3-031-19135-0_5__In 16th International Conference on Reachability Problems, 13608:67–76. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-19135-0_5 .
LibreCat: https://research-explorer.ista.ac.at/record/12175
DOI: 10.1007/978-3-031-19135-0_5

Arroyo Guevara, Alan M, and Stefan Felsner. “Approximating the Bundled Crossing Number.”https://doi.org/10.1007/978-3-030-96731-4_31__In WALCOM 2022: Algorithms and Computation, 13174:383–95. LNCS. Springer Nature, 2022.https://doi.org/10.1007/978-3-030-96731-4_31 .
LibreCat: https://research-explorer.ista.ac.at/record/11185
DOI: 10.1007/978-3-030-96731-4_31
arXiv: 2109.14892

Chatterjee, Krishnendu, Amir Kafshdar Goharshady, Tobias Meggendorfer, and Dorde Zikelic. “Sound and Complete Certificates for Auantitative Termination Analysis of Probabilistic Programs.”https://doi.org/10.1007/978-3-031-13185-1_4__In Proceedings of the 34th International Conference on Computer Aided Verification, 13371:55–78. Springer, 2022.https://doi.org/10.1007/978-3-031-13185-1_4 .
LibreCat: https://research-explorer.ista.ac.at/record/12000
DOI: 10.1007/978-3-031-13185-1_4
WoS: 000870304500004

Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Information-Flow Interfaces.”https://doi.org/10.1007/978-3-030-99429-7_1__In Fundamental Approaches to Software Engineering, 13241:3–22. Springer Nature, 2022.https://doi.org/10.1007/978-3-030-99429-7_1 .
LibreCat: https://research-explorer.ista.ac.at/record/11355
DOI: 10.1007/978-3-030-99429-7_1
WoS: 000782393600001

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