Stateful Applied Pi Calculus

Myrto Arapinis, Jia Liu, Eike Ritter, Mark Ryan

Research output: Chapter in Book/Report/Conference proceeding › Other chapter contribution

9 Citations (Scopus)

1 results

Filter

Finished
Leadership Fellowships 2009 : Analysing Security and Privacy Properties
Ryan, M.
Engineering & Physical Science Research Council
1/04/10 → 30/09/15
Project: Research Councils