68 search results - page 14 / 14 » Design and Primitive Specification for Shannon |
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
We describe the design, implementation, and use of a machinecertified framework for correct compilation and execution of programs in garbage-collected languages. Our framework ext...
ECSA
2010
Springer
13 years 5 months ago
2010
Springer
In the software domain, self-adaptive systems are able to modify their behavior at run-time to respond to changes in the environment they run, to changes of the users' require...
TIT
2010
13 years 6 days ago
2010
This paper considers the construction and analysis of pseudo-random functions (PRFs) with specific reference to modes of operations of a block cipher. In the context of message aut...