DMCA

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

by Shiwei Xu , Sergiu Bursuc , Julian P. Murphy