Sciweavers

EUROCRYPT
2006
Springer
13 years 8 months ago
QUAD: A Practical Stream Cipher with Provable Security
We introduce a practical synchronous stream cipher with provable security named QUAD. The cipher relies on the iteration of a multivariate quadratic system of m equations in n <...
Côme Berbain, Henri Gilbert, Jacques Patarin
DSVIS
2003
Springer
13 years 9 months ago
Higher-Order Task Models
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
Anke Dittmar, Peter Forbrig