Sciweavers

POST
2012
153views more  POST 2012»
12 years 6 months ago
Towards Incrementalization of Holistic Hyperproperties
A hyperproperty is a set of sets of finite or infinite traces over some fixed alphabet and can be seen as a very generic system specification. In this work, we define the noti...
Dimiter Milushev, Dave Clarke
IACR
2011
98views more  IACR 2011»
12 years 10 months ago
New Receipt-Free E-Voting Scheme and Self-Proving Mix Net as New Paradigm
The contribution of this paper is twofold. First we present a new simple electronic voting scheme having standard re-encryption mix net back-end, which allows to cast a ballot and ...
Aram Jivanyan, Gurgen Khachatryan