A Formal Framework for Modelling Coercion Resistance and Receipt Freeness.

James Heather, Steve A. Schneider

Browse the full FM paper archive.