New abstractions in applied pi-calculus and automated verification of protected executions

Shiwei Xu, Sergiu Bursuc, Julian P. Murphy. New abstractions in applied pi-calculus and automated verification of protected executions. IACR Cryptology ePrint Archive, 2013:686, 2013. [doi]

Authors

Shiwei Xu

This author has not been identified. Look up 'Shiwei Xu' in Google

Sergiu Bursuc

This author has not been identified. Look up 'Sergiu Bursuc' in Google

Julian P. Murphy

This author has not been identified. Look up 'Julian P. Murphy' in Google