Sciweavers

1256 search results - page 93 / 252
» A Simple E-Voting Protocol
Sort
View
143
Voted
FM
2006
Springer
148views Formal Methods» more  FM 2006»
15 years 8 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
140
Voted
STOC
2006
ACM
180views Algorithms» more  STOC 2006»
16 years 4 months ago
Pricing for fairness: distributed resource allocation for multiple objectives
In this paper, we present a simple distributed algorithm for resource allocation which simultaneously approximates the optimum value for a large class of objective functions. In p...
Sung-woo Cho, Ashish Goel
143
Voted
MUE
2007
IEEE
132views Multimedia» more  MUE 2007»
15 years 11 months ago
An Energy Efficient Broadcasting Recovering Mechanism Based On ZBP
Wireless Sensor Networks (WSNs) have been widely used in environment monitoring to collect useful information. Packet broadcasting is an essential function for establishing a comm...
Xiao-Yi Lu, Zhen Fu, In-Sook Lee, Myong-Soon Park
EUROCRYPT
2007
Springer
15 years 10 months ago
The Power of Proofs-of-Possession: Securing Multiparty Signatures against Rogue-Key Attacks
Abstract. Multiparty signature protocols need protection against roguekey attacks, made possible whenever an adversary can choose its public key(s) arbitrarily. For many schemes, p...
Thomas Ristenpart, Scott Yilek
ICNP
2006
IEEE
15 years 10 months ago
Chunkyspread: Heterogeneous Unstructured Tree-Based Peer-to-Peer Multicast
— The rising popularity of live IPTV has triggered renewed interest in P2P multicast. In particular, the simple and robust ‘swarming’ style of P2P multicast is currently favo...
Vidhyashankar Venkataraman, Kaouru Yoshida, Paul F...