13917 search results - page 2568 / 2784 » Abstraction of Probabilistic Systems |
214
click to vote
ESORICS
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. With outsourcing emerging as a successful paradigm for delegating data and service management to third parties, the problem of guaranteeing proper privacy protection agai...
198
click to vote
IACR
2011
14 years 6 months ago
2011
Abstract. Square is a multivariate quadratic encryption scheme proposed in 2009. It is a specialization of Hidden Field Equations by using only odd characteristic elds and also X2...
206
click to vote
ICC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—We study a cooperative communication system consisting of two users in half duplex mode communicating with one destination over additive white Gaussian noise (AWGN). Coo...
214
click to vote
ICC
2011
IEEE
14 years 6 months ago
2011
IEEE
Abstract—Tor is a well-known low-latency anonymous communication system. To prevent the traffic analysis attack, Tor packs application data into equal-sized cells. However, we f...
198
click to vote
ESOP
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. This paper presents GMeta: a generic framework for firstorder representations of variable binding that provides once and for all many of the so-called infrastructure lem...