3573 search results - page 506 / 715 » Reasoning about Codata |
116
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
—Zero-knowledge proofs have a vast applicability in the domain of cryptography, stemming from the fact that they can be used to force potentially malicious parties to abide by th...
128
click to vote
CSFW
2010
IEEE
15 years 9 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...
156
click to vote
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
147
Voted
CSFW
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
176
click to vote
ICDCS
2010
IEEE
15 years 9 months ago
2010
IEEE
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...