The project aims to develop new concepts and tools for specification, analysis,
and assessment of information security properties. The focus is on voting
procedures and protocols, and in particular on their essential features like
confidentiality, coercion-resistance, and voter-verifiability.
The developed concepts and tools will be applied to other domains where information security is important.
The same holds for the new protocols, designed to support security requirements in
the social context.