Kevin Morio, Dennis Jackson, Marco Vassena, Robert Künnemann. Short Paper: Modular Black-box Runtime Verification of Security Protocols. In Alley Stoughton, Marco Vassena, editors, PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, Virtual Event, USA, 13 November, 2020. pages 19-22, ACM, 2020. [doi]
Abstract is missing.