2237 search results - page 106 / 448 » On the Security of Random Sources |
118
Voted
HASE
2008
IEEE
15 years 11 months ago
2008
IEEE
—Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the...
175
click to vote
CISS
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper we present an Information Theoretic Estimator for the number of sources mutually disjoint in a linear mixing model. The approach follows the Minimum Description Le...
137
click to vote
OOPSLA
2010
Springer
15 years 3 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
158
click to vote
EUROCRYPT
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Recently, methods from provable security, that had been developped for the last twenty years within the research community, have been extensively used to support emerging...
157
Voted
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mod...