1585 search results - page 52 / 317 » Automatically optimizing secure computation |
ESORICS
2010
Springer
13 years 9 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...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Recent work [27, 15] introduced a novel peer-to-peer application that leverages content sharing and aggregation among the peers to diagnose misconfigurations on a desktop PC. Thi...
ENTCS
2008
13 years 8 months ago
2008
Defence trees are used to represent attack and defence strategies in security scenarios; the aim in such scenarios is to select the best set of countermeasures that are able to st...
PDP
2010
IEEE
14 years 5 days ago
2010
IEEE
The commercial success of Cloud computing and recent developments in Grid computing have brought platform virtualization technology into the field of high performance computing. Vi...
WS
2003
ACM
14 years 1 months ago
2003
ACM
Intermediary-based services and performance optimizations are increasingly being considered, by network service providers, with a view towards offering value-added services and i...