3115 search results - page 561 / 623 » Synthesizing Secure Protocols |
124
Voted
CORR
2009
Springer
15 years 1 months ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...
161
Voted
ICB
2009
Springer
15 years 1 months ago
2009
Springer
This paper describes the objectives, the tasks proposed to the participants and the associated protocols in terms of database and assessment tools of two present competitions on fi...
273
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
— Mobile ad hoc networks (MANETs) are dynamic wireless networks without any infrastructure. These networks are weak against many types of attacks. One of these attacks is the bla...
137
click to vote
JCS
2011
14 years 11 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
149
click to vote
CANS
2011
Springer
14 years 4 months ago
2011
Springer
In this paper, we explore fast algorithms for computing on encrypted polynomials. More specifically, we describe efficient algorithms for computing the Discrete Fourier Transform,...