1249 search results - page 163 / 250 » Limitations of the Even-Mansour Construction |
PRDC
2006
IEEE
14 years 4 months ago
2006
IEEE
Dependable systems are usually designed with multiple instances of components or logical processes, and often possess symmetries that may be exploited in model-based evaluation. T...
SCAM
2006
IEEE
14 years 4 months ago
2006
IEEE
An approach for factoring source-code differences is presented. A single large difference between two versions of a program is decomposed into factors (i.e., smaller changes). The...
VTC
2006
IEEE
14 years 4 months ago
2006
IEEE
— In wireless communications, the channel consists of many resolvable paths with different time delays, resulting in a severely frequency-selective fading channel. The frequencyd...
PLDI
2006
ACM
14 years 4 months ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
PPPJ
2006
ACM
14 years 4 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...