CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
144
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...
123
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...
122
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider ...
110
click to vote
CSFW
2010
IEEE
15 years 8 months ago
2010
IEEE
—Anonymous communication protocols must achieve two seemingly contradictory goals: privacy (informally, they must guarantee the anonymity of the parties that send/receive informa...