128 search results - page 7 / 26 » Weak Verifiable Random Functions |
CCS
2006
ACM
14 years 9 days ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
ENTCS
2002
13 years 8 months ago
2002
The difficulty of finding errors caused by unexpected interleavings of threads in concurrent programs is well known. Model checkers can pinpoint such errors and verify correctness...
PKC
1999
Springer
14 years 25 days ago
1999
Springer
Abstract. Many applications rely on the security of their random number generator. It is therefore essential that such devices be extensively tested for malfunction. The purpose of...
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
In this paper, the critical clearing time, tcc in power system transient stability analysis is modeled as a random variable due to the randomness nature of power system load. A lin...
ICPR
2010
IEEE
14 years 2 months ago
2010
IEEE
—Randomized learning methods (i.e., Forests or Ferns) have shown excellent capabilities for various computer vision applications. However, it was shown that the tree structure in...