11397 search results - page 245 / 2280 » A Relational Abstraction for Functions |
168
click to vote
ISW
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Canetti and Rabin recently proposed a universally composable ideal functionality FSIG for digital signatures. We show that this functionality cannot be securely realized ...
164
click to vote
ACISP
1997
Springer
15 years 11 months ago
1997
Springer
Abstract. Highly nonlinear Boolean functions occupy an important position in the design of secure block as well as stream ciphers. This paper proves two new lower bounds on the non...
183
click to vote
FSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. A corrector is used to reduce or eliminate statistical weakness of a physical random number generator. A description of linear corrector generalizing post-processing desc...
173
click to vote
TSMC
2011
15 years 1 months ago
2011
Abstract—Functional flow block diagrams (FFBDs) are a traditional tool of systems engineering and remain popular in some systems engineering domains. However, their lack of form...
192
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper, belief functions, defined on the lattice of partitions of a set of objects, are investigated as a suitable framework for combining multiple clusterings. W...