Ivan Geffner, Joseph Y. Halpern. Security in Asynchronous Interactive Systems. In Colette Johnen, Elad Michael Schiller, Stefan Schmid 0001, editors, Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium, SSS 2021, Virtual Event, November 17-20, 2021, Proceedings. Volume 13046 of Lecture Notes in Computer Science, pages 123-140, Springer, 2021. [doi]
Abstract is missing.