Sciweavers

3328 search results - page 132 / 666
» On Plateaued Functions and Their Constructions
Sort
View
SNPD
2003
15 years 7 months ago
Deductive and Inductive Methods for Program Synthesis
The paper discusses simple functional constraint networks and a value propagation method for program construction. Structural synthesis of programs is described as an example of d...
Jaan Penjam, Elena Sanko
CRYPTO
1998
Springer
137views Cryptology» more  CRYPTO 1998»
15 years 10 months ago
Building PRFs from PRPs
Abstract. We evaluate constructions for building pseudo-random functions (PRFs) from pseudo-random permutations (PRPs). We present two constructions: a slower construction which pr...
Chris Hall, David Wagner, John Kelsey, Bruce Schne...
FSE
1997
Springer
119views Cryptology» more  FSE 1997»
15 years 10 months ago
Cryptanalysis of Ladder-DES
Feistel ciphers are very common and very important in the design and analysis of blockciphers, especially due to four reasons: (1) Many (DES-like) ciphers are based on Feistel’s ...
Eli Biham
CALCO
2007
Springer
138views Mathematics» more  CALCO 2007»
16 years 19 days ago
Coalgebraic Foundations of Linear Systems
Abstract. Viewing discrete-time causal linear systems as (Mealy) coalgebras, we describe their semantics, minimization and realisation as universal constructions, based on the fin...
Jan J. M. M. Rutten
BIRTHDAY
2003
Springer
15 years 11 months ago
Automata Mista
Abstract. We present a general methodology for non-deterministic programming based on pure functional programming. We construct families of automata constructions which are used as...
Gérard P. Huet