2043 search results - page 127 / 409 » Reasoning About Security Models |
125
Voted
PVLDB
2008
15 years 6 days ago
2008
Several real-world applications need to effectively manage and reason about large amounts of data that are inherently uncertain. For instance, pervasive computing applications mus...
117
click to vote
ASIACRYPT
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Public-key encryption schemes rely for their IND-CPA security on per-message fresh randomness. In practice, randomness may be of poor quality for a variety of reasons, le...
95
Voted
TIT
2008
15 years 19 days ago
2008
An extractor is a function that is used to extract randomness. Given an imperfect random source X and a uniform seed Y , the output (X; Y ) is close to uniform. We study properties...
101
Voted
ISSE
2010
14 years 11 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
134
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...