Strand Spaces Presentations

30 novembro 2016, 14:00 • Pedro Adão

Presentation by Preeti Yadav of the paper `Strand Spaces: Proving Security Protocols Correct`. Part II.
Discussion.