BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × The Netherlands
2 × France
Collaborated with:
S.Schneider K.Wei M.Moran
Talks about:
model (2) framework (1) protocol (1) freeness (1) coercion (1) receipt (1) infinit (1) analysi (1) system (1) resist (1)

Person: James Heather

DBLP DBLP: Heather:James

Contributed to:

IFM 20132013
FM 20122012
SAC 20062006
IFM 20052005

Wrote 4 papers:

IFM-2013-MoranHS #automation #verification
Automated Anonymity Verification of the ThreeBallot Voting System (MM, JH, SS), pp. 94–108.
FM-2012-HeatherS #framework #modelling
A Formal Framework for Modelling Coercion Resistance and Receipt Freeness (JH, SS), pp. 217–231.
SAC-2006-HeatherS #analysis #infinity #protocol #security
To infinity and beyond or, avoiding the infinite in security protocol analysis (JH, SS), pp. 346–353.
IFM-2005-WeiH #csp
Embedding the Stable Failures Model of CSP in PVS (KW, JH), pp. 246–265.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.