We put forward a new model for understanding the security of symmetric-key primitives, such as block ciphers. The model captures the fact that many such primitives often consist of iterating simpler constructs for a number of rounds, and may provide insight into the security of such designs. We completely characterize the security of four-round Luby-Rackoo ciphers in our model, and show that th...

The ability of system software to detect and issue error messages that help programmers quickly fix serial and parallel run-time errors is an important productivity criterion for developing and maintaining application programs. Over ten thousand run-time error tests and a run-time error detection (RTED) evaluation tool has been developed for the automatic evaluation of run-time error detection ...

In order to understand the flow behavior of Electrorheological (ER) fluid, dynamic simulation has been intensively performed for the last decade. When the shear flow is applied, it is easy to carry out the simulation with relatively small number of particles because of the periodic boundary condition. For the squeezing flow, however, it is not easy to apply the periodic boundary condition, and ...