5255 search results - page 508 / 1051 » Formal Methods for Privacy |
200
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
249
click to vote
SP
2010
IEEE
15 years 4 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
187
click to vote
CCS
2011
ACM
14 years 7 months ago
2011
ACM
Cloud storage systems are becoming increasingly popular. A promising technology that keeps their cost down is deduplication, which stores only a single copy of repeating data. Cli...
238
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
The onion routing network Tor is undoubtedly the most widely employed technology for anonymous web access. Although the underlying onion routing (OR) protocol appears satisfactory...
178
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
A number of network covert channels have been proposed recently that may have important ramifications for Internet security and privacy. However, they could become ineffective in...