Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Emanuele D'Osualdo, Luke Ong, Alwen Tiu. Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes. In 30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017. pages 464-480, IEEE, 2017. [doi]

This author has not been identified. Look up 'Emanuele D'Osualdo' in GoogleThis author has not been identified. Look up 'Luke Ong' in GoogleThis author has not been identified. Look up 'Alwen Tiu' in Google

runs on WebDSL