Analysis of an electronic voting protocol in the applied Pi calculus

Steve Kremer, Mark Ryan

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Publication status	Published - 1 Jan 2005
Event	14th European Symposium on Programming (ESOP 2005), Apr 04-08, 2005. Edinburgh, Scotland - Duration: 1 Jan 2005 → …

Conference	14th European Symposium on Programming (ESOP 2005), Apr 04-08, 2005. Edinburgh, Scotland
Period	1/01/05 → …

Cite this

@conference{ed3e65d2de5f4e138b7ebe333ac29ad7,

title = "Analysis of an electronic voting protocol in the applied Pi calculus",

author = "Steve Kremer and Mark Ryan",

year = "2005",

month = jan,

day = "1",

language = "English",

note = "14th European Symposium on Programming (ESOP 2005), Apr 04-08, 2005. Edinburgh, Scotland ; Conference date: 01-01-2005",

}