1222 search results - page 67 / 245 » Verifying a File System Implementation |
93
Voted
ICECCS
2000
IEEE
15 years 6 months ago
2000
IEEE
The goal of result-verificationis toprove that one execution run of a program satisjes its speciJcation. Compared with iniplenzentation-verification,result-verification has a larg...
107
click to vote
ICCD
2008
IEEE
15 years 11 months ago
2008
IEEE
— Power analysis attacks are a type of side-channel attacks that exploits the power consumption of computing devices to retrieve secret information. They are very effective in br...
128
click to vote
TPDS
2010
15 years 25 days ago
2010
—It has been widely acknowledged that online file hosting systems within the “cloud” of the Internet have provided valuable services to end users who wish to share files of a...
111
click to vote
DATE
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper surveys the characteristics of multimedia systems. Multimedia applications today are dominated by compression and decompression, but multimedia devices must also implem...
227
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...