Joud Khoury, Zachary B. Ratliff, Michael Atighetchi. Towards Decentralized and Provably Secure Cross-Domain Solutions. In Rodrigo Roman, Jianying Zhou 0001, editors, Security and Trust Management - 17th International Workshop, STM 2021, Darmstadt, Germany, October 8, 2021, Proceedings. Volume 13075 of Lecture Notes in Computer Science, pages 185-203, Springer, 2021. [doi]
Abstract is missing.