223 search results - page 3 / 45 » Looking back and forward |
ACISP
2008
Springer
14 years 3 months ago
2008
Springer
Abstract. We present two (related) dedicated hash functions that deliberately borrow heavily from the block ciphers that appeared in the final stages of the AES process. We explor...
ACSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
ACL
1998
13 years 10 months ago
1998
I propose a model for determining the hearer's attentional state which depends solely on a list of salient discourse entities (S-list). The ordering among the elements of the...
AAAI
1997
13 years 10 months ago
1997
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...