Short Paper: Modular Black-box Runtime Verification of Security Protocols - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kevin Morio' in GoogleThis author has not been identified. Look up 'Dennis Jackson' in GoogleThis author has not been identified. Look up 'Marco Vassena' in GoogleThis author has not been identified. Look up 'Robert Künnemann' in Google

runs on WebDSL