Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations.

Published in: ESSoS (2011)

Keyphrases