We analyze the security of the SEED block cipher against di erential attacks. SEED is a 16-round Feistel cipher developed by the Korea Information Security Agency. The SEED proposers estimated their cipher against di erential cryptanalysis in a self-estimation document and found a six-round di erential characteristic with probability 2 130 . We present an improved method of examining the di ere...

The thesis investigates a one-dimensional, hyperbolic evolution equation containing one structural variable, with a particular focus on a model of erythropoiesis developed by Fürtinger et al. in 2012. Three di erent discretization techniques which all result in so-called highdility or detailed solutions are introduced and discussed. The methods used include Finite Di erences and a polynomial re...

The paper deals with a path-valued Markov process: the re ecting Brownian snake. It is a particular case of the path-valued process previously introduced by Le Gall. Here the spatial motion is a re ecting Brownian motion in a domain D of R. Using this probabilistic tool, we construct an explicit function v solution of an integral equation which is, under some hypotheses on the regularity of v, ...

have been extensively studied. Various existence and uniqueness results are given in [1], [2], and [3], to name a few. More recently, in [4], it is shown that by certain transformations the boundary layer equations for the class of non-Newtonian uids named pseudoplastic can be generalized in the above form for the ODE case n = 1. Under this physical interpretation the above equation, considered...

This report discusses a mathematical software package DKLAG5 which consists of a suite of FORTRAN subroutines for the numerical solution of systems of functional di erential equations with state dependent delays. The package implements continuously imbedded Runge{ Kutta methods which are based on C polynomial interpolants. These interpolants are exploited by the software to handle the necessary...

We consider a continuous time version of the ctitious play model in an evolutionary environment. We derive two forms of the continuous time limit, both of which are approximations to a determinate version of the ctitious play updating algorithm. The rst is in the form of a rst-order partial di erential equation ('continuity equation') which we solve explicitly. The dynamic for a distribution of...

Novel computing devices are exploited for numerical computation. The solution of a numerical problem is sought, which has been solved many times before, but this time with a di erent set of input data. A table is a classical way to collect the old solutions in order to exploit them to nd the new one. This process is extended to more general problems than the usual function value approximation. ...

In this paper we deene a compositional semantics for a generalized composition operator on logic programs. Static and dynamic inheritance as well as composition by union of clauses can all be obtained by specializing the general operator. The semantics is based on the notion of diierential programs, logic programs annotated with declarations that establish the programs' external interfaces.

First order neutral di¤erential equations are studied and su‰cient conditions are derived for every solution to be oscillatory. Our approach is to reduce the oscillation of neutral di¤erential equations to the nonexistence of eventually positive solutions of non-neutral di¤erential inequalities. Our results extend and improve several known results in the literature.

Flatness is an interesting structural property of many engineering systems. Typically, the knowledge of the Flat Outputs of a system allows the design of open loop control and helps the design of control loops. When the literature includes many works on nding families of at systems or proposing tools to check the atness of a system, there has been very few works on the actual computation of the...