Forgery attacks on ++AE authenticated encryption mode

In this paper, we analyse a block cipher mode of operation submitted in 2014 to the cryptographic competition for authenticated encryption (CAESAR). This mode is designed by Recacha and called ++AE (plus-plus-ae). We propose a chosen plaintext forgery attack on ++AE that requires only a single chosen message query to allow an attacker to construct multiple forged messages. Our attack is deterministic and guaranteed to pass ++AE integrity check. We demonstrate the forgery attack using 128-bit AES as the underlying block cipher. Hence, ++AE is insecure as an authenticated encryption mode of operation.

Conformal Field Theory Methods for Variants of Schramm-Loewner Evolutions

This thesis consists of an introduction, four research articles and an appendix. The thesis studies relations between two different approaches to continuum limit of models of two dimensional statistical mechanics at criticality. The approach of conformal field theory (CFT) could be thought of as the algebraic classification of some basic objects in these models. It has been succesfully used by physicists since 1980's. The other approach, Schramm-Loewner evolutions (SLEs), is a recently introduced set of mathematical methods to study random curves or interfaces occurring in the continuum limit of the models. The first and second included articles argue on basis of statistical mechanics what would be a plausible relation between SLEs and conformal field theory. The first article studies multiple SLEs, several random curves simultaneously in a domain. The proposed definition is compatible with a natural commutation requirement suggested by Dubédat. The curves of multiple SLE may form different topological configurations, ``pure geometries''. We conjecture a relation between the topological configurations and CFT concepts of conformal blocks and operator product expansions. Example applications of multiple SLEs include crossing probabilities for percolation and Ising model. The second article studies SLE variants that represent models with boundary conditions implemented by primary fields. The most well known of these, SLE(kappa, rho), is shown to be simple in terms of the Coulomb gas formalism of CFT. In the third article the space of local martingales for variants of SLE is shown to carry a representation of Virasoro algebra. Finding this structure is guided by the relation of SLEs and CFTs in general, but the result is established in a straightforward fashion. This article, too, emphasizes multiple SLEs and proposes a possible way of treating pure geometries in terms of Coulomb gas. The fourth article states results of applications of the Virasoro structure to the open questions of SLE reversibility and duality. Proofs of the stated results are provided in the appendix. The objective is an indirect computation of certain polynomial expected values. Provided that these expected values exist, in generic cases they are shown to possess the desired properties, thus giving support for both reversibility and duality.

On Random Planar Curves and Their Scaling Limits

Planar curves arise naturally as interfaces between two regions of the plane. An important part of statistical physics is the study of lattice models. This thesis is about the interfaces of 2D lattice models. The scaling limit is an infinite system limit which is taken by letting the lattice mesh decrease to zero. At criticality, the scaling limit of an interface is one of the SLE curves (Schramm-Loewner evolution), introduced by Oded Schramm. This family of random curves is parametrized by a real variable, which determines the universality class of the model. The first and the second paper of this thesis study properties of SLEs. They contain two different methods to study the whole SLE curve, which is, in fact, the most interesting object from the statistical physics point of view. These methods are applied to study two symmetries of SLE: reversibility and duality. The first paper uses an algebraic method and a representation of the Virasoro algebra to find common martingales to different processes, and that way, to confirm the symmetries for polynomial expected values of natural SLE data. In the second paper, a recursion is obtained for the same kind of expected values. The recursion is based on stationarity of the law of the whole SLE curve under a SLE induced flow. The third paper deals with one of the most central questions of the field and provides a framework of estimates for describing 2D scaling limits by SLE curves. In particular, it is shown that a weak estimate on the probability of an annulus crossing implies that a random curve arising from a statistical physics model will have scaling limits and those will be well-described by Loewner evolutions with random driving forces.

Numerical studies on quasilinear and linear elliptic equations

We explore here the acceleration of convergence of iterative methods for the solution of a class of quasilinear and linear algebraic equations. The specific systems are the finite difference form of the Navier-Stokes equations and the energy equation for recirculating flows. The acceleration procedures considered are: the successive over relaxation scheme; several implicit methods; and a second-order procedure. A new implicit method—the alternating direction line iterative method—is proposed in this paper. The method combines the advantages of the line successive over relaxation and alternating direction implicit methods. The various methods are tested for their computational economy and accuracy on a typical recirculating flow situation. The numerical experiments show that the alternating direction line iterative method is the most economical method of solving the Navier-Stokes equations for all Reynolds numbers in the laminar regime. The usual ADI method is shown to be not so attractive for large Reynolds numbers because of the loss of diagonal dominance. This loss can however be restored by a suitable choice of the relaxation parameter, but at the cost of accuracy. The accuracy of the new procedure is comparable to that of the well-tested successive overrelaxation method and to the available results in the literature. The second-order procedure turns out to be the most efficient method for the solution of the linear energy equation.

Drag reduction by a forward facing aerospike for a large angle blunt cone in high enthalpy flows

Drag reduction studies are conducted using a flat disc tipped aerospike for a 120-degree apex angle blunt cone model in high enthalpy flows. Accelerometer based force balance is used for the drag force measurement in the newly established free piston driven shock tunnel, HST3. Drag reduction upto about 58 percent has been achieved for Mach 8 flow of 5 MJ/kg specific enthalpy at zero degree angle of attack.

The role of spiders as predators of two lepidopteran Brassica pests

Spiders are thought to play a significant role in limiting pest outbreaks in agroecosystems such as vineyards, orchards and cotton. The diversity and impact of spiders in vegetable crops are less well understood, although there is evidence that predators may be important for suppression of lepidopteran pests in Brassica crops, particularly early in the season before parasitoids become established. Sampling was conducted in early season plantings of Brassicas in the Lockyer Valley (South East Queensland, Australia) in order to determine the most commonly occurring spider families. The most numerous were Theridiidae, which were more strongly associated with cauliflower and poorly associated with cabbage. The Lycosidae and Clubionidae/Miturgidae (formerly in the ‘catch-all’ family Clubionidae) also occurred commonly. Lycosidae (and to a lesser extent Salticidae) had above average abundance in Chinese cabbage and below average abundance in broccoli compared with average abundance for these spider families; Clubionidae/Miturgidae had above average abundance in cauliflower. Laboratory studies were then conducted to explore the predatory capacity of these three most commonly occurring spider families. All three were capable of feeding on larvae of the diamondback moth, Plutella xylostella (Linnaeus), and cabbage cluster caterpillar, Crocidolomia pavonana (Fabricius), under laboratory conditions. Theridiidae, which are thought to prey on small pests such as leafhoppers and aphids, were able to successfully attack larvae up to five times their body size. Predation rates varied from an average of 1.7 (SE = 0.47) (1.6 control corrected) larvae consumed over a 24 h period in the case of the Theridiidae, to 3.3 (SE = 0.60) larvae for the Clubionidae/Miturgidae.

Queensland shark control program non-target statistics by year

Spreadsheet of non-target species (bycatch) numbers in the Shark Control Program by species, date of capture, location, size and sex from 2001 onwards The shark control program (SCP) relies on nets or drumlines, or a combination of both, to minimise the threat of shark attack on humans in particular locations. Following is information on numbers and locations of sharks that have been caught by the SCP. It is important to reduce the inadvertent impacts of the SCP on other marine animals (bycatch) without compromising human safety. Bycatch levels are carefully monitored and research is focused on minimising impacts on non-target species. This dataset contains details of non-target numbers in the Shark Control program by species, date of capture, and location from 2001

A rational synthesis of vibration isolators

The paper deals with a rational approach to the development of general design criteria for non-dissipative vibration isolation systems. The study covers straight-through springmass systems as well as branched ones with dynamic absorbers. Various design options, such as the addition of another spring-mass pair, replacement of an existing system by one with more spring-mass pairs for the same space and material requirements, provision of one or more dynamic absorbers for the desired frequency range, etc., are investigated quantitatively by means of an algebraic algorithm which enables one to write down straightaway the velocity ratio and hence transmissibility of a linear dynamical system in terms of the constituent parameters.

Computation of turbulent flow in an IFRF quarl burner

A computational model for isothermal axisymmetric turbulent flow in a quarl burner is set up using the CFD package FLUENT, and numerical solutions obtained from the model are compared with available experimental data. A standard k-e model and and two versions of the RNG k-e model are used to model the turbulence. One of the aims of the computational study is to investigate whether the RNG based k-e turbulence models are capable of yielding improved flow predictions compared with the standard k-e turbulence model. A difficulty is that the flow considered here features a confined vortex breakdown which can be highly sensitive to flow behaviour both upstream and downstream of the breakdown zone. Nevertheless, the relatively simple confining geometry allows us to undertake a systematic study so that both grid-independent and domain-independent results can be reported. The systematic study includes a detailed investigation of the effects of upstream and downstream conditions on the predictions, in addition to grid refinement and other tests to ensure that numerical error is not significant. Another important aim is to determine to what extent the turbulence model predictions can provide us with new insights into the physics of confined vortex breakdown flows. To this end, the computations are discussed in detail with reference to known vortex breakdown phenomena and existing theories. A major conclusion is that one of the RNG k-e models investigated here is able to correctly capture the complex forward flow region inside the recirculating breakdown zone. This apparently pathological result is in stark contrast to the findings of previous studies, most of which have concluded that either algebraic or differential Reynolds stress modelling is needed to correctly predict the observed flow features. Arguments are given as to why an isotropic eddy-viscosity turbulence model may well be able to capture the complex flow structure within the recirculating zone for this flow setup. With regard to the flow physics, a major finding is that the results obtained here are more consistent with the view that confined vortex breakdown is a type of axisymmetric boundary layer separation, rather than a manifestation of a subcritical flow state.

Studies on the metabolism of β-carotene and apo-β-carotenoids in rats and chickens

1. (1) The relative abilities of the various cell fractions of rat and chicken liver to oxidize and reduce retinal and 8'- and 12'-apo-β-carotenal were investigated and it has been shown that, while retinal is exclusively oxidized by the soluble fraction, the apocarotenals are mostly oxidized by the particulate fractions of the homogenate. 2. (2) Addition of NAD+ or NADP+ markedly activated the oxidation of the apocarotenals, but not of retinal by the particulate fractions. 3. (3) Considerable amounts of retinal and 8'-, 10'- and 12'-apo-β-carotenal were isolated from the intestine of chickens fed β-carotene and these apocarotenoids were conclusively identified. 4. (4) Significant amounts of 8'-, 10'- and 12'-apo-β-carotenoic acids were isolated from the intestine of rats given 8'-apo-β-carotenal and these apocarotenoic acids were also conclusively identified. 5. (5) In the light of these observations it is suggested that during conversion to vitamin A, the β-carotene molecule is simultaneously attacked by the dioxygenase at several double bonds, the primary attack being at the central double bond and a tentative scheme for the mechanism of conversion is proposed.

A curve shortening flow rule for closed embedded plane curves with a prescribed rate of change in enclosed area

Motivated by a problem from fluid mechanics, we consider a generalization of the standard curve shortening flow problem for a closed embedded plane curve such that the area enclosed by the curve is forced to decrease at a prescribed rate. Using formal asymptotic and numerical techniques, we derive possible extinction shapes as the curve contracts to a point, dependent on the rate of decreasing area; we find there is a wider class of extinction shapes than for standard curve shortening, for which initially simple closed curves are always asymptotically circular. We also provide numerical evidence that self-intersection is possible for non-convex initial conditions, distinguishing between pinch-off and coalescence of the curve interior.

Responses of Scots pine to nickel and copper exposure and herbivory

The goal of this thesis was to examine the ecophysiological responses of Scots pine (Pinus sylvestris L.), with an emphasis on the oxidative enzyme peroxidase and plant phenolics to environmental stresses like elevated levels of nickel (Ni) and copper (Cu), and herbivory. The effects of Ni and Cu were studied in a gradient survey at a sulphur dioxide contaminated site in the Kola Peninsula, and with experiments in which seedlings were exposed to Ni mist or to Ni and Cu amended into the soil. In addition, experimental Ni exposure was combined with disturbance of the natural lichen cover of the forest ground layer. Pine sawfly attack was simulated in the early season defoliation experiment, in which mature Scots pine were defoliated (100 %) during two successive years in a dry, nutrient-poor Scots pine stand. In addition, the effect of previous defoliation on the growth of sawfly (Diprion pini L.) larvae was studied. Apoplastic peroxidase activity was elevated in the needles of pine in a Ni- , Cu- and SO2- polluted environment, which indicated an increased oxidative stress. Increased foliar peroxidase activity due to Ni contamination was shown in the experiment, in which Ni was added as mist. No such response was found in peroxidase acitivity of the roots exposed to elevated Ni and/or Cu in the soil. Elevated Ni in the soil increased the concentration of foliar condensed tannins, which are able to bind heavy metals in the cells. Addition of low levels of Ni in the soil appeared to benefit pine seedlings, which was seen as promoted shoot growth and better condition of the roots. Wet Ni deposition of 2000 mg m-2 reduced growth and survival of pine seedlings, whereas deposition levels 200 mg m-2 or 20 mg m-2 caused no effects in a 2-y lasting experiment. The lichen mat on the forest floor did not act as an effective buffer against the adverse impacts of heavy metals on pine seedlings. However, some evidence was found indicating that soil microbes profited from the lichen mat. Artificial defoliation increased peroxidase activity in the Scots pine needles. In addition, defoliation decreased nitrogen, diamine putrescine and glucose concentrations in the needles and increased the concentrations of several phenolic compounds, starch and sucrose. Previous artificial defoliation led to poor growth of sawfly larvae reared on the pines, suggesting delayed induced resistance in Scots pine. However, there was no consistent relationship between inducibility (proportional increase in a compound following defoliation) and adverse effects on the growth of pine sawfly larvae. The observed inducible responses in needle phenolics due to previous defoliation thus appear to represent non-specific responses against sawflies.

The effects of eutrophication on alternative reproductive tactics in threespine sticklebacks

When organisms compete for mates and fertilisations, the process of sexual selection drives the evolution of traits that increase reproductive success. The traits targeted by selection, and the extent to which they change, are constrained by the local environment. Sexual selection due to female mate choice can be undermined by alternative reproductive tactics (ARTs), which refers to discontinuous variation in traits or behaviours used in reproduction. As human activities are rapidly changing our planet, this raises the question how ARTs will be affected. Fish show a bewildering diversity of ARTs, which make them good model organisms to answer these questions. One example of human-induced environmental change, which is affecting aquatic ecosystems around the world, is eutrophication, the over-enrichment of water bodies with nutrients. One of its effects is decreased underwater visibility due to increases in both turbidity and vegetation density. The aims of this thesis were to investigate the effects increased turbidity and vegetation density have on an ART in sticklebacks, a fish common to marine and fresh water bodies of the Northern hemisphere. I furthermore investigated how this affected sexual selection for male size, a trait commonly under selection. I used a combination of behavioural observations in microcosms, where I manipulated underwater visibility, with collection of genetic material to reconstruct parentage of broods, and thus identify sneak fertilisations. The results show that turbidity might have weak negative effects on the frequency of sneaking behaviour, although this behaviour was rather infrequent in these experiments, which complicates firm conclusions. In dense vegetation the number of sneak fertilisations decreased slightly, as fewer nesting males sneaked, while the number of non-nesting males sneaking remained constant. The paternity analyses revealed that a significantly smaller fraction of eggs was sneak fertilised under dense vegetation. Furthermore, amongst the nesting males that sneaked, the amount of eggs sneak fertilised correlated positively with courtship success. A reduction in sneaking by these males under dense vegetation equalised the distribution of fertilisation success, in turn contributing to a decrease in the opportunity for selection. Under dense vegetation significantly more males built nests, which has also been observed in previous field studies. In a separate experiment we addressed if such changes in the proportion of nesters and non-nesters, without changes in visibility, affected the incidence of sneak fertilisation. My results show this was not the case, likely because sneaking is an opportunistic tactic shown by both nesters and non-nesters. Non-nesters did sneak proportionately more when there were many of them, which could be due to changes in the cost-benefit ratio of sneaking. As nesters can only attack one intruder at a time, the costs and risks per sneaker will decrease as the number of sneakers increases. The defensive behaviours shown by the nesters before spawning shifted to a more aggressive form of nest defence. This could be because less aggressive behaviours lose their effectiveness when the number of intruders increases. It could also indicate that the risks associated with aggressive behaviours decrease when there are fewer fellow nesters, as other studies indicate nesters are competitive and aggressive individuals. Under turbid conditions I did not detect changes in the opportunity for selection, based on fertilisation success, nor was male size under significant selection under clear or turbid conditions. More thorough analyses under densely vegetated conditions across the nesting, courtship and fertilisation stages revealed a decrease in the opportunity for selection across all stages. A reduction in sneaking by nesters contributed to this. During the nesting stage, but not during later stages, body size was under significant directional selection under sparse, but not dense vegetation. This illustrates the importance of considering all selection stages to get a complete picture of how environmental changes affect sexual selection. Leaving out certain stages or subgroups can result in incomplete or misleading results.

Purification and properties of protocatechuate-3,4-dioxygenase from Tecoma stans L

Protocatechuate-3,4-dioxygenase from the leaves of Tecoma stans was purified to near homogeneity and some of its properties studied. It was optimally active at pH 5.2 and at 40°C. Its molecular weight of approx. 150 000 was determined by gel filtration on a Sephadex G-150 column. The Km value for protocatechuate was found to be 330 μM and for ferrous sulfate, 40 μM. The enzyme was highly specific for protocatechuate and did not attack any of the substrate analogues. None of the substrate analogues tested inhibited the enzyme activity. Sulfhydryl reagents inhibited the enzyme activity which could be partially reversed by sulfhydryl compounds. The dioxygenase activity was not associated with polyphenol oxidase activity.

An FETI-preconditioned conjuerate gradient method for large-scale stochastic finite element problems

In the spectral stochastic finite element method for analyzing an uncertain system. the uncertainty is represented by a set of random variables, and a quantity of Interest such as the system response is considered as a function of these random variables Consequently, the underlying Galerkin projection yields a block system of deterministic equations where the blocks are sparse but coupled. The solution of this algebraic system of equations becomes rapidly challenging when the size of the physical system and/or the level of uncertainty is increased This paper addresses this challenge by presenting a preconditioned conjugate gradient method for such block systems where the preconditioning step is based on the dual-primal finite element tearing and interconnecting method equipped with a Krylov subspace reusage technique for accelerating the iterative solution of systems with multiple and repeated right-hand sides. Preliminary performance results on a Linux Cluster suggest that the proposed Solution method is numerically scalable and demonstrate its potential for making the uncertainty quantification Of realistic systems tractable.