James Heather

From MaRDI portal
Person:3058715



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Equal to the task?
Computer Security — ESORICS 2002
2022-02-16Paper
A formal framework for modelling coercion resistance and receipt freeness
FM 2012: Formal Methods
2012-11-08Paper
Versatile Prêt à Voter: handling multiple election methods with a unified interface
Progress in Cryptology - INDOCRYPT 2010
2010-12-07Paper


Research outcomes over time


This page was built for person: James Heather