slides

More documents

Recommendations

Info

$A Guide to use Macros and Style Files in LATEX Contents$

OutlineBackgroundResultsSummaryFuture WorkExtensions for E-voting Protocols — Motivation◮ Analysis of e-voting dominated by the indistinguishability approach,with automated tools: ProVerif, more recently AKiSs◮ Powerful, but sometimes limited (approximations / terminationissues)◮ Motivation for complementary, alternative approach◮ This work: first specification of voter privacy in an interactivetheorem prover4 / 20
OutlineBackgroundResultsSummaryFuture WorkE-voting Protocols◮ New properties when compared to classic security protocols: privacy,verifiability, coercion-resistance. . .◮ Partially studied with applied pi calculus, but with littlemechanisation◮ Often require modelling new cryptographic primitives (e.g. blindsignatures)5 / 20
Page 1 and 2: OutlineBackgroundResultsSummaryFutu
Page 3: OutlineBackgroundResultsSummaryFutu

slides

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?