2703 search results - page 508 / 541 » Working Class Hero |
131
click to vote
CRYPTO
2008
Springer
15 years 6 months ago
2008
Springer
A black-box combiner for collision resistant hash functions (CRHF) is a construction which given black-box access to two hash functions is collision resistant if at least one of th...
150
click to vote
ICALP
2007
Springer
15 years 6 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...
149
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
150
click to vote
ESWS
2008
Springer
15 years 6 months ago
2008
Springer
Ontology-Driven Software Development (ODSD) advocates using ontologies for capturing knowledge about a software system at development time. So far, ODSD approaches have mainly focu...
158
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...