Highlights Conference 2017 Conference Abstract
Deciding Secrecy of Security Protocols with Well Structured Transition Systems
- Emanuele D’Osualdo
Abstract available in PDF.
Author name cluster
Emanuele D’Osualdo
Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.
1 paper
1 author row