3452 search results - page 603 / 691 » Secure Data Outsourcing |
106
Voted
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
In a recent work, Mangard et al. showed that under certain assumptions, the (so-called) standard univariate side-channel attacks using a distance-of-means test, correlation analysi...
143
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
96
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...
100
Voted
MOC
2010
14 years 7 months ago
2010
Abstract. Multiwavelets and multiframelets are of interest in several applications such as numerical algorithms and signal processing, due to their desirable properties such as hig...