Algebraic analysis of Trivium-like ciphers

Trivium is a bit-based stream cipher in the final portfolio of the eSTREAM project. In this paper, we apply the approach of Berbain et al. to Trivium-like ciphers and perform new algebraic analyses on them, namely Trivium and its reduced versions: Trivium-N, Bivium-A and Bivium-B. In doing so, we answer an open question in the literature. We demonstrate a new algebraic attack on Bivium-A. This attack requires less time and memory than previous techniques which use the F4 algorithm to recover Bivium-A's initial state. Though our attacks on Bivium-B, Trivium and Trivium-N are worse than exhaustive keysearch, the systems of equations which are constructed are smaller and less complex compared to previous algebraic analysis. Factors which can affect the complexity of our attack on Trivium-like ciphers are discussed in detail.

Exploring emotional climate in preservice science teacher education

Classroom emotional climates are interrelated with students’ engagement with university courses. Despite growing interest in emotions and emotional climate research, little is known about the ways in which social interactions and different subject matter mediate emotional climates in preservice science teacher education classes. In this study we investigated the emotional climate and associated classroom interactions in a preservice science teacher education class. We were interested in the ways in which salient classroom interactions were related to the emotional climate during lessons centered on debates about science-based issues (e.g., nuclear energy alternatives). Participants used audience response technology to indicate their perceptions of the emotional climate. Analysis of conversation for salient video clips and analysis of non-verbal conduct (acoustic parameters, body movements, and facial expressions) supplemented emotional climate data. One key contribution that this study makes to preservice science teacher education is to identify the micro-processes of successful and unsuccessful class interactions that were associated with positive and neutral emotional climate. The structure of these interactions can inform the practice of other science educators who wish to produce positive emotional climates in their classes. The study also extends and explicates the construct of intensity of emotional climate.

Human single-stranded DNA binding proteins are essential for maintaining genomic stability

The double-stranded conformation of cellular DNA is a central aspect of DNA stabilisation and protection. The helix preserves the genetic code against chemical and enzymatic degradation, metabolic activation, and formation of secondary structures. However, there are various instances where single-stranded DNA is exposed, such as during replication or transcription, in the synthesis of chromosome ends, and following DNA damage. In these instances, single-stranded DNA binding proteins are essential for the sequestration and processing of single-stranded DNA. In order to bind single-stranded DNA, these proteins utilise a characteristic and evolutionary conserved single-stranded DNA-binding domain, the oligonucleotide/oligosaccharide-binding (OB)-fold. In the current review we discuss a subset of these proteins involved in the direct maintenance of genomic stability, an important cellular process in the conservation of cellular viability and prevention of malignant transformation. We discuss the central roles of single-stranded DNA binding proteins from the OB-fold domain family in DNA replication, the restart of stalled replication forks, DNA damage repair, cell cycle-checkpoint activation, and telomere maintenance.

ASICS : authenticated key exchange security incorporating certification systems

Most security models for authenticated key exchange (AKE) do not explicitly model the associated certification system, which includes the certification authority (CA) and its behaviour. However, there are several well-known and realistic attacks on AKE protocols which exploit various forms of malicious key registration and which therefore lie outside the scope of these models. We provide the first systematic analysis of AKE security incorporating certification systems (ASICS). We define a family of security models that, in addition to allowing different sets of standard AKE adversary queries, also permit the adversary to register arbitrary bitstrings as keys. For this model family we prove generic results that enable the design and verification of protocols that achieve security even if some keys have been produced maliciously. Our approach is applicable to a wide range of models and protocols; as a concrete illustration of its power, we apply it to the CMQV protocol in the natural strengthening of the eCK model to the ASICS setting.

Infrared study of methyl formate and formaldehyde adsorption on reduced and oxidised silica-supported copper catalysts

Infrared spectra are reported of methyl formate and formaldehyde adsorbed at 300 K on silica, Cu/SiO2 reduced in hydrogen and Cu/SiO2 which had been oxidised by exposure to nitrous oxide after reduction. Silanol groups on silica form hydrogen bonds with carbonyl groups in weakly adsorbed methyl formate molecules. Methyl formate ligates via its carbonyl groups to Cu atoms in the surface of reduced copper. A low residual concentration of surface oxygen on copper promoted the slow reaction of ligated methyl formate to give a bridging formate species on copper and adsorbed methoxy groups. Methyl formate did not ligate to an oxidised copper surface but was rapidly chemisorbed to give unidentate formate and methoxy species. Formaldehyde slowly polymerises on silica to form trioxane and other oxymethylene species. The reaction is faster over Cu/SiO2 which, in the reduced state, also catalyses the formation of bridging formate anions adsorbed on copper. The reaction between formaldehyde and oxidised Cu/SiO2 leads to both unidentate and bidentate formate and adsorbed water.

Infrared study of the adsorption of formic acid on silica-supported copper and oxidised copper catalysts

Infrared spectra are reported of formic acid adsorbed at 300 K on a reduced copper catalyst (Cu/SiO2) and a copper surface which had been oxidised by exposure to nitrous oxide. Formic acid was weakly adsorbed on the silica support. Ligation of formic acid to the copper surface occurred only on the reduced catalyst. Dissociative adsorption resulted in the formation of unidentate formate on the oxidised catalyst. The presence of reduced copper metal instigated a rapid reorientation to a bidentate formate species.

Infrared study of CO adsorption on reduced and oxidised silica-supported copper catalysts

FTIR spectra are reported of CO adsorbed on silica-supported copper catalysts prepared from copper(II) acetate monohydrate. Fully oxidised catalyst gave bands due to CO on CuO, isolated Cu2+ cations on silica and anion vacancy sites in CuO. The highly dispersed CuO aggregated on reduction to metal particles which gave bands due to adsorbed CO characteristic of both low-index exposed planes and stepped sites on high-index planes. Partial surface oxidation with N2O or H2O generated Cu+ adsorption sites which were slowly reduced to Cu° by CO at 300 K. Surface carbonate initially formed from CO was also slowly depleted with time with the generation of CO2. The results are consistent with adsorbed carbonate being an intermediate in the water-gas shift reaction of H2O and CO to H2 and CO2.

Infrared study of the adsorption of methanol on oxidised and reduced Cu/SiO2 catalysts

Infrared spectra are reported of methanol adsorbed at 295 K on reduced Cu/SiO2 and on Cu/SiO2 which had been preoxidised by exposure to excess nitrous oxide. Methanol was chemisorbed on reduced Cu/SiO2 to give methoxy species on both silica and copper, gave a trace of formate on copper via reaction with residual surface oxygen, and was weakly adsorbed at SiOH sites on the silica support. Heating the adsorbed species at 393 K led to the loss of methoxy groups on copper and the concomitant formation of a bidentate surface formate. Heating reduced Cu/SiO2 in methanol at 538 K initially gave both gaseous and adsorbed (on Cu) methyl formate which subsequently decomposed to CO and hydrogen. The reactions of methanol with oxidised Cu/SiO2 were similar to those for the reduced catalyst although surface oxygen promoted the formation of surface methoxy groups on copper. Subsequent heating at 393 K led first to unidentate formate before the appearance of bidentate formate.

An in situ high pressure FT-IR study of CO2/H2 interactions with model ZnO/SiO2, Cu/SiO2 and Cu/ZnO/SiO2 methanol synthesis catalysts

In situ FT-IR spectroscopy allows the methanol synthesis reaction to be investigated under actual industrial conditions of 503 K and 10 MPa. On Cu/SiO2 catalyst formate species were initially formed which were subsequently hydrogenated to methanol. During the reaction a steady state concentration of formate species persisted on the copper. Additionally, a small quantity of gaseous methane was produced. In contrast, the reaction of CO2 and H2 on ZnO/SiO2 catalyst only resulted in the formation of zinc formate species: no methanol was detected. The interaction of CO2 and H2 with Cu/ZnO/SiO2 catalyst gave formate species on both copper and zinc oxide. Methanol was again formed by the hydrogenation of copper formate species. Steady-state concentrations of copper formate existed under actual industrial reaction conditions, and copper formate is the pivotal intermediate for methanol synthesis. Collation of these results with previous data on copper-based methanol synthesis catalysts allowed the formulation of a reaction mechanism

Evidence for the adsorption of molecules at special sites located at copper/zinc oxide interfaces. Part 2. -- A fourier-transform infrared spectroscopy study of methanol adsorption on reduced and oxidised Cu/ZnO/SiO2 catalysts

FTIR spectra are reported of methanol adsorbed at 295 K on ZnO/SiO 2, on reduced Cu/ZnO/SiO2 and on Cu/ZnO/SiO2 which had been preoxidised by exposure to nitrous oxide. Methanol on ZnO/SiO2 gave methoxy species on ZnO and SiO, in addition to both strongly and weakly physisorbed methanol on SiO2. The corresponding adsorption of methanol on reduced Cu/ZnO/SiO2 also gave methoxy species on Cu and a small amount of bridging formate. Reaction of methanol with a reoxidised Cu/ZnO/SiO2 catalyst resulted in an enhanced quantity of methoxy species on Cu. Heating adsorbed species on Cu/ZnO/SiO2 at 393 K led to the loss of methoxy groups on Cu and the concomitant formation of formate species on both ZnO and Cu. The comparable reaction on a reoxidised Cu/ZnO/SiO2 catalyst gave an increased amount of formate species on ZnO and this correlated with an increased quantity of methoxy groups lost from Cu. An explanation is given in terms of adsorption of formate and formaldehyde species at special sites located at the copper/zinc oxide interface.

Evidence for the adsorption of molecules at special sites located at copper/zinc oxide interfaces: Part 1. -- A Fourier-transform infrared study of formic acid and formaldehyde adsorption on reduced and oxidised Cu/ZnO/SiO2 catalysts

Fourier-transform infrared (FTIR) spectra are reported of formic acid and formaldehyde on ZnO/SiO2, reduced Cu/ZnO/SiO2 and reoxidised Cu/ZnO/SiO2 catalyst. Formic acid adsorption on ZnO/SiO2 produced mainly bidentate zinc formate species with a lesser quantity of unidentate zinc formate. Formic acid on reduced Cu/ZnO/SiO2 catalyst resulted not only in the formation of bridging copper formate structures but also in an enhanced amount of formate relative to that for ZnO/SiO2 catalyst. Formic acid on reoxidised Cu/ZnO/SiO2 gave unidentate formate species on copper in addition to zinc formate moieties. The interaction of formaldehyde with ZnO/SiO2 catalyst resulted in the formation of zinc formate species. The same reaction on reduced Cu/ZnO/SiO2 catalyst gave bridging formate on copper and a remarkable increase in the quantity of formate species associated with the zinc oxide. Adsorption of formaldehyde on a reoxidised Cu/ZnO/SiO2 catalyst produced bridging copper formate and again an apparent increase in the concentration of zinc formate species. An explanation in terms of the adsorption of molecules at special sites located at the interface between copper and zinc oxide is given.

Infrared study of CO, CO2, H2 and H2O interactions on potassium-promoted reduced and oxidised silica-supported copper catalysts

FTIR spectra are reported of CO, CO2, H2 and H2O on silica-supported potassium, copper and potassium-copper catalysts. Adsorption of CO on a potassium/silica catalyst resulted in the formation of complexed CO moieties. Whereas exposure of CO2 to the same catalyst produced bands ascribed to CO2 -, bidentate carbonate and complexed CO species. Fully oxidised copper/silica surfaces gave bands due to CO on CuO and isolated Cu2+ cations on silica. Addition of potassium to this catalyst removed a peak attributed to CO adsorption on isolated Cu2+ cations and red-shifted the maximum ascribed to CO adsorbed on CuO. For a reduced copper/silica catalyst bands due to adsorbed CO on both high and low index planes were red-shifted by 10 cm-1 in the presence of potassium, although the strength of the Cu - CO bond did not appear to be increased concomitantly. An explanation in terms of an electrostatic effect between potassium and adsorbed CO is forwarded. A small maximum at ca. 1510 cm-1 for the reduced catalyst increased substantially upon exposing CO to a reoxidised promoted catalyst. Correspondingly, CO2 adsorption allowed the identification of two distinct carboxylate species, one of which was located at an interfacial site between copper and potassium oxide. Carboxylate species reacted with hydrogen at 295 K, on a reduced copper surface, to produce predominantly unidentate formate on potassium. In contrast no interaction was detected on a reoxidised copper catalyst at 295 K until a fraction of the copper surface was in a reduced state. Furthermore the interaction of polar water molecules with carboxylate species resulted in a perturbation of this structure which gave lower C----O stretching frequencies.

A combined temperature-programmed reaction spectroscopy and Fourier-transform infrared spectroscopy study of CO2/H2 and CO/CO2/H2 interactions with model ZnO/SiO2, Cu/SiO2 and Cu/ZnO/SiO2 methanol-synthesis catalysts

The reaction of CO2 and H2 with ZnO/SiO2 catalyst at 295 K gave predominantly hydrogencarbonate on zinc oxide and a small quantity of formate was evolved after heating at 393 K. Elevation of the reaction temperature to 503 K enhanced the rate of formation of zinc formate species. Significantly these formate species decomposed at 573 K almost entirely to CO2 and H2. Even after exposure of CO2-H2 or CO-CO2-H2 mixtures to highly defected ZnO/SiO2 catalyst, the formate species produced still decomposed to give CO2 and H2. It was concluded that carboxylate species which were formed at oxygen anion vacancies on polar Zn planes were not significantly hydrogenated to formate. Consequently it was proposed that the non-polar planes on zinc oxide contained sites which were specific for the synthesis of methanol. The interaction of CO2 and H2 with reduced Cu/ZnO/SiO2 catalyst at 393 K gave copper formate species in addition to substantial quantities of formate created at interfacial sites between copper and zinc oxide. It was deduced that interfacial formate species were produced from the hydrogenation of interfacial bidentate carbonate structures. The relevance of interfacial formate species in the methanol synthesis reaction is discussed. Experiments concerning the reaction of CO2-H2 with physical mixtures of Cu/SiO2 and ZnO/SiO2 gave results which were simply characteristic of the individual components. By careful consideration of previous data a detailed proposal regarding the role of spillover hydrogen is outlined. Admission of CO to a gaseous CO2-H2 feedstock resulted in a considerably diminished amount of formate species on copper. This was ascribed to a combination of over-reduction of the surface and site-blockage.

Evidence for the adsorption of molecules at special sites located at copper/zinc oxide interfaces. Part 3. -- Fourier-transform infrared study of methyl formate adsorption on reduced and oxidised Cu/ZnO/SiO2 catalysts

FTIR spectra are reported of methyl formate adsorbed at 295 K on ZnO/SiO2, reduced Cu/ZnO/SiO2 and on Cu/ZnO/SiO2 which had been preoxidised by exposure to nitrous oxide. Methyl formate on ZnO/SiO2 gave adsorbed zinc formate species and strongly physisorbed molecular methanol on silica. The comparable reaction of methyl formate with reduced Cu/ZnO/SiO2 catalyst produced bridging formate species on copper and a diminished quantity of zinc formate relative to that formed on ZnO/SiO2 catalyst. This effect is explained in terms of site blockage on the ZnO surface by small copper clusters. Addition of methyl formate to a reoxidised Cu/ZnO/SiO2 catalyst produced a considerably greater amount of formate species on zinc oxide and methoxy groups on copper were detected. The increase in concentration of zinc formate species was rationalised in terms of rearrangement of unidentate copper formate species to become bonded to copper and zinc oxide sites located at the interface between these two components.