Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus

Backes, Michael and Hriţcu, Cătălin and Maffei, Matteo
(2008) Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-calculus.
In: Proceedings of 21st IEEE Computer Security Foundations Symposium (CSF).
Conference: CSF - IEEE Computer Security Foundations Symposium (was CSFW)

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item