26 search results - page 2 / 6 » esorics 2010 |
ESORICS
2010
Springer
13 years 4 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
ESORICS
2010
Springer
13 years 4 months ago
2010
Springer
Abstract We propose an approach to certify the information flow security of multi-threaded programs independently from the scheduling algorithm. A scheduler-independent verificatio...
ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
The security risk of a network against unknown zero day attacks has been considered as something unmeasurable since software flaws are less predictable than hardware faults and the...
ESORICS
2010
Springer
13 years 5 months ago
2010
Springer
We present a novel hybrid communication protocol that guarantees mobile users' k-anonymity against a wide-range of adversaries by exploiting the capability of handheld devices...