P. Ryan

Publications
Influence

A Practical Voter-Verifiable Election Scheme

D. Chaum, P. Ryan, S. Schneider
Computer Science
ESORICS
12 September 2005

We present an election scheme designed to allow voters to verify that their vote is accurately included in the count. Expand

Opacity Generalised to Transition Systems

J. Bryans, M. Koutny, L. Mazaré, P. Ryan
Computer Science
Formal Aspects in Security and Trust
18 July 2005

We extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the literature on information flow. Expand

PrÊt À Voter: a Voter-Verifiable Voting System

P. Ryan, D. Bismark, J. Heather, S. Schneider, Zhe Xia
Computer Science
IEEE Transactions on Information Forensics and…
1 December 2009

This paper presents the key elements of the approach and describes the evolution of the design and their suitability in various contexts. Expand

Modelling Opacity Using Petri Nets

J. Bryans, M. Koutny, P. Ryan
Computer Science
Electron. Notes Theor. Comput. Sci.
4 February 2005

We propose a Petri net modelling technique which allows one to specify different information flow properties, based on the observation of the local states of a low-level part of the system as well as actions. Expand

The modelling and analysis of security protocols: the csp approach

P. Ryan, Steve Schneider
Computer Science
21 December 2000

Security protocols are one of the most critical elements in enabling the secure communication and processing of information, ensuring its confidentiality, integrity, authenticity and availability. Expand

Prêt à Voter with Re-encryption Mixes

P. Ryan, S. Schneider
Computer Science
ESORICS
18 September 2006

We present a number of enhancements to the voter verifiable election scheme Pret a Voter [CRS05]. Expand

J-PAKE: Authenticated Key Exchange without PKI

Feng Hao, P. Ryan
Computer Science
Trans. Comput. Sci.
2010

We present a new PAKE solution called J-PAKE, which authenticates a password with zero-knowledge and then subsequently creates a strong session key if the password is correct. Expand

Scantegrity II: End-to-End Verifiability for Optical Scan Election Systems using Invisible Ink Confirmation Codes

D. Chaum, R. Carback, +6 authors A. Sherman
Engineering, Computer Science
EVT
28 July 2008

We introduce Scantegrity II, a practical enhancement for optical scan voting systems that achieves increased election integrity through the novel use of confirmation codes printed on ballots in invisible ink. Expand

Opacity generalised to transition systems

J. Bryans, M. Koutny, L. Mazaré, P. Ryan
Computer Science, Mathematics
International Journal of Information Security
18 October 2008

We extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the literature on information flow. Expand

Anonymous voting by two-round public discussion

Feng Hao, P. Ryan, P. Zielinski
Computer Science
IET Inf. Secur.
21 June 2010

In 2006, Hao and Zielinski proposed a two-round anonymous veto protocol (called AV-net), which provided exceptional efficiency compared to related techniques. Expand

Recommended Authors