Lattice mixing and vanishing trapdoors : a framework for fully secure short signatures and more

We propose a framework for adaptive security from hard random lattices in the standard model. Our approach borrows from the recent Agrawal-Boneh-Boyen families of lattices, which can admit reliable and punctured trapdoors, respectively used in reality and in simulation. We extend this idea to make the simulation trapdoors cancel not for a specific forgery but on a non-negligible subset of the possible challenges. Conceptually, we build a compactly representable, large family of input-dependent “mixture” lattices, set up with trapdoors that “vanish” for a secret subset which we hope the forger will target. Technically, we tweak the lattice structure to achieve “naturally nice” distributions for arbitrary choices of subset size. The framework is very general. Here we obtain fully secure signatures, and also IBE, that are compact, simple, and elegant.

Strong cryptography from weak secrets

Distributed-password public-key cryptography (DPwPKC) allows the members of a group of people, each one holding a small secret password only, to help a leader to perform the private operation, associated to a public-key cryptosystem. Abdalla et al. recently defined this tool [1], with a practical construction. Unfortunately, the latter applied to the ElGamal decryption only, and relied on the DDH assumption, excluding any recent pairing-based cryptosystems. In this paper, we extend their techniques to support, and exploit, pairing-based properties: we take advantage of pairing-friendly groups to obtain efficient (simulation-sound) zero-knowledge proofs, whose security relies on the Decisional Linear assumption. As a consequence, we provide efficient protocols, secure in the standard model, for ElGamal decryption as in [1], but also for Linear decryption, as well as extraction of several identity-based cryptosystems [6,4]. Furthermore, we strenghten their security model by suppressing the useless testPwd queries in the functionality.

HPAKE : Password authentication secure against cross-site user impersonation

We propose a new kind of asymmetric mutual authentication from passwords with stronger privacy against malicious servers, lest they be tempted to engage in “cross-site user impersonation” to each other. It enables a person to authenticate (with) arbitrarily many independent servers, over adversarial channels, using a memorable and reusable single short password. Beside the usual PAKE security guarantees, our framework goes to lengths to secure the password against brute-force cracking from privileged server information.

Distributed public-key cryptography from weak secrets

We introduce the notion of distributed password-based public-key cryptography, where a virtual high-entropy private key is implicitly defined as a concatenation of low-entropy passwords held in separate locations. The users can jointly perform private-key operations by exchanging messages over an arbitrary channel, based on their respective passwords, without ever sharing their passwords or reconstituting the key. Focusing on the case of ElGamal encryption as an example, we start by formally defining ideal functionalities for distributed public-key generation and virtual private-key computation in the UC model. We then construct efficient protocols that securely realize them in either the RO model (for efficiency) or the CRS model (for elegance). We conclude by showing that our distributed protocols generalize to a broad class of “discrete-log”-based public-key cryptosystems, which notably includes identity-based encryption. This opens the door to a powerful extension of IBE with a virtual PKG made of a group of people, each one memorizing a small portion of the master key.

Negotiating the creative and the critical : Paul Dawson’s creative writing and the new humanities

In the first Modern Language Association newsletter for 2006, renowned poetry critic and MLA President, Marjorie Perloff, remarked on the growing ascendency of Creative Writing within English Studies in North America. In her column, Perloff notes that "[i]n studying the English Job Information List (JIL) so as to advise my own students and others I know currently on the market, I noticed what struck me as a curious trend: there are, in 2005, almost three times as many positions in creative writing as in the study of twentieth-century literature" (3). The dominance of Creative Writing in the English Studies job list in turn reflects the growing student demand for undergraduate and postgraduate degrees in the field—over the past 20 years, BA and MA degrees in Creative Writing in North American tertiary institutions have quadrupled (3)...

TNF and TNF receptor expression and insulin sensitivity in human omental and subcutaneous adipose tissue--influence of BMI and adipose distribution

Tumour necrosis factor (TNF)alpha is implicated in the relationship between obesity and insulin resistance/ type 2 diabetes. In an effort to understand this association better we (i) profiled gene expression patterns of TNF, TNFR1 and TNFR2 and (ii) investigated the effects of TNF on glucose uptake in isolated adipocytes and adipose tissue explants from omental and subcutaneous depots from lean, overweight and obese individuals. TNF expression correlated with expression of TNFR2, but not TNFR1, and TNF and TNFR2 expression increased in obesity. TNFR1 expression was higher in omental than in subcutaneous adipocytes. Expression levels of TNF or either receptor did not differ between adipocytes from individuals with central and peripheral obesity. TNF only suppressed glucose uptake in insulin-stimulated subcutaneous tissue and this suppression was only observed in tissue from lean subjects. These data support a relationship between the TNF system and body mass index (BMI), but not fat distribution, and suggest depot specificity of the TNF effect on glucose uptake. Furthermore, adipose tissue from obese subjects already appears insulin 'resistant' and this may be a result of the increased TNF levels.

The heparan sulfate proteoglycan (HSPG) glypican-3 mediates commitment of MC3T3-E1 cells toward osteogenesis

Heparan sulfate (HS) sugar chains attached to core proteoglycans (PGs) termed HSPGs mediate an extensive range of cell-extracellular matrix (ECM) and growth factor interactions based upon their sulfation patterns. When compared with non-osteogenic (maintenance media) culture conditions, under established osteogenic culture conditions, MC3T3-E1 cells characteristically increase their osteogenic gene expression profile and switch their dominant fibroblast growth factor receptor (FGFR) from FGFR1 (0.5-fold decrease) to FGFR3 (1.5-fold increase). The change in FGFR expression profile of the osteogenic-committed cultures was reflected by their inability to sustain an FGF-2 stimulus, but respond to BMP-2 at day 14 of culture. The osteogenic cultures decreased their chondroitin and dermatan sulfate PGs (biglycan, decorin, and versican), but increased levels of the HS core protein gene expression, in particular glypican-3. Commitment and progress through osteogenesis is accompanied by changes in FGFR expression, decreased GAG initiation but increased N- and O-sulfation and reduced remodeling of the ECM (decreased heparanase expression) resulting in the production of homogenous (21 kDa) HS chain. With the HSPG glypican-3 expression strongly upregulated in these processes, siRNA was used to knockdown this gene to examine the effect on osteogenic commitment. Reduced glypican-3 abrogated the expression of Runx2, and thus differentiation. The reintroduction of this HSPG into Runx2-null cells allowed osteogenesis to proceed. These results demonstrate the dependence of osteogenesis on specific HS chains, in particular those associated with glypican-3.

Temporal and functional changes in glycosaminoglycan expression during osteogenesis

Heparan sulfate proteoglycans (HSPGs) are complex and labile macromolecular moieties on the surfaces of cells that control the activities of a range of extracellular proteins, particularly those driving growth and regeneration. Here, we examine the biosynthesis of heparan sulfate (HS) sugars produced by cultured MC3T3-E1 mouse calvarial pre-osteoblast cells in order to explore the idea that changes in HS activity in turn drive phenotypic development during osteogenesis. Cells grown for 5 days under proliferating conditions were compared to cells grown for 20 days under mineralizing conditions with respect to their phenotype, the forms of HS core protein produced, and their HS sulfotransferase biosynthetic enzyme levels. RQ-PCR data was supported by the results from the purification of day 5 and day 20 HS forms by anionic exchange chromatography. The data show that cells in active growth phases produce more complex forms of sugar than cells that have become relatively quiescent during active mineralization, and that these in turn can differentially influence rates of cell growth when added exogenously back to preosteoblasts.

Normal human mammary epithelial cells spontaneously escape senescence and acquire genomic changes

Senescence and genomic integrity are thought to be important barriers in the development of malignant lesions. Human fibroblasts undergo a limited number of cell divisions before entering an irreversible arrest, called senescence. Here we show that human mammary epithelial cells (HMECs) do not conform to this paradigm of senescence. In contrast to fibroblasts, HMECs exhibit an initial growth phase that is followed by a transient growth plateau (termed selection or M0; refs 3-5), from which proliferative cells emerge to undergo further population doublings (approximately 20-70), before entering a second growth plateau (previously termed senescence or M1; refs 4-6). We find that the first growth plateau exhibits characteristics of senescence but is not an insurmountable barrier to further growth. HMECs emerge from senescence, exhibit eroding telomeric sequences and ultimately enter telomere-based crisis to generate the types of chromosomal abnormalities seen in the earliest lesions of breast cancer. Growth past senescent barriers may be a pivotal event in the earliest steps of carcinogenesis, providing many genetic changes that predicate oncogenic evolution. The differences between epithelial cells and fibroblasts provide new insights into the mechanistic basis of neoplastic transformation.

Ecological consequences of fragmentation and deforestation in an urban landscape : a case study

Landscape change is an ongoing process even within established urban landscapes. Yet, analyses of fragmentation and deforestation have focused primarily on the conversion of non-urban to urban landscapes in rural landscapes and ignored urban landscapes. To determine the ecological effects of continued urbanization in urban landscapes, tree-covered patches were mapped in the Gwynns Falls watershed (17158.6 ha) in Maryland for 1994 and 1999 to document fragmentation, deforestation, and reforestation. The watershed was divided into lower (urban core), middle (older suburbs), and upper (recent suburbs) subsections. Over the entire watershed a net of 264.5 of 4855.5 ha of tree-covered patches were converted to urban land use-125 new tree-covered patches were added through fragmentation, 4 were added through reforestation, 43 were lost through deforestation, and 7 were combined with an adjacent patch. In addition, 180 patches were reduced in size. In the urban core, deforestation continued with conversion to commercial land use. Because of the lack of vegetation, commercial land uses are problematic for both species conservation and derived ecosystem benefits. In the lower subsection, shape complexity increased for tree-covered patches less than 10 ha. Changes in shape resulted from canopy expansion, planted materials, and reforestation of vacant sites. In the middle and upper subsections, the shape index value for tree-covered patches decreased, indicating simplification. Density analyses of the subsections showed no change with respect to patch densities but pointed out the importance of small patches (≤5 ha) as "stepping stone" to link large patches (e. g., ≥100 ha). Using an urban forest effect model, we estimated, for the entire watershed, total carbon loss and pollution removal, from 1994 to 1999, to be 14,235,889.2 kg and 13,011.4 kg, respectively due to urban land-use conversions.

Genome analysis reveals insights into physiology and longevity of the Brandt’s bat Myotis brandtii

Bats account for one-fifth of mammalian species, are the only mammals with powered flight, and are among the few animals that echolocate. The insect-eating Brandt’s bat (Myotis brandtii) is the longest-lived bat species known to date (lifespan exceeds 40 years) and, at 4–8 g adult body weight, is the most extreme mammal with regard to disparity between body mass and longevity. Here we report sequencing and analysis of the Brandt’s bat genome and transcriptome, which suggest adaptations consistent with echolocation and hibernation, as well as altered metabolism, reproduction and visual function. Unique sequence changes in growth hormone and insulin-like growth factor 1 receptors are also observed. The data suggest that an altered growth hormone/insulin-like growth factor 1 axis, which may be common to other long-lived bat species, together with adaptations such as hibernation and low reproductive rate, contribute to the exceptional lifespan of the Brandt’s bat.

Mechanical influences on endothelial cell network formation in vitro

While both the restoration of the blood supply and an appropriate local mechanical environment are critical for uneventful bone healing, their influence on each other remains unclear. Human bone fracture haematomas (<72h post-trauma) were cultivated for 3 days in fibrin matrices, with or without cyclic compression. Conditioned medium from these cultures enhanced the formation of vessel-like networks by HMEC-1 cells, and mechanical loading further elevated it, without affecting the cells’ metabolic activity. While haematomas released the angiogenesis-regulators, VEGF and TGF-β1, their concentrations were not affected by mechanical loading. However, direct cyclic stretching of the HMEC-1 cells decreased network formation. The appearance of the networks and a trend towards elevated VEGF under strain suggested physical disruption rather than biochemical modulation as the responsible mechanism. Thus, early fracture haematomas and their mechanical loading increase the paracrine stimulation of endothelial organisation in vitro, but direct periodic strains may disrupt or impair vessel assembly in otherwise favourable conditions.

Engineering education for sustainable development : a review of international progress

Since the late 1980s there have been increasing calls around the world for embedding sustainability content throughout engineering curricula, particularly over the past decade. However in general there has been little by way of strategic or systematic integration within programs offered by higher education institutions(HEIs). Responding to a growing awareness towards the issues surrounding sustainability, a number of professional engineering institutions (PEIs) internationally have placed increasing emphasis on policies and initiatives relating to the role of engineering in addressing 21st Century challenges. This has resulted in some consideration towards integrating sustainable development into engineering curricula as envisaged by accreditation guidelines. This paper provides a global overview of such accreditation developments, highlighting emerging sustainability competencies (or ‘graduate attributes’) and places these in the context of relevant PEI declarations, initiatives, policies, codes of ethics and guideline publications. The paper concludes by calling for urgent action by PEIs, including strategic accreditation initiatives that promote timely curriculum renewal towards EESD.

Hydrogen evolution by a metal-free electrocatalyst

Electrocatalytic reduction of water to molecular hydrogen via the hydrogen evolution reaction may provide a sustainable energy supply for the future, but its commercial application is hampered by the use of precious platinum catalysts. All alternatives to platinum thus far are based on nonprecious metals, and, to our knowledge, there is no report about a catalyst for electrocatalytic hydrogen evolution beyond metals. Here we couple graphitic-carbon nitride with nitrogen-doped graphene to produce a metal-free hybrid catalyst, which shows an unexpected hydrogen evolution reaction activity with comparable overpotential and Tafel slope to some of well-developed metallic catalysts. Experimental observations in combination with density functional theory calculations reveal that its unusual electrocatalytic properties originate from an intrinsic chemical and electronic coupling that synergistically promotes the proton adsorption and reduction kinetics.

Integrated approach for diagnostics and prognostics of HP LNG pump based on health state probability estimation

Effective machine fault prognostic technologies can lead to elimination of unscheduled downtime and increase machine useful life and consequently lead to reduction of maintenance costs as well as prevention of human casualties in real engineering asset management. This paper presents a technique for accurate assessment of the remnant life of machines based on health state probability estimation technique and historical failure knowledge embedded in the closed loop diagnostic and prognostic system. To estimate a discrete machine degradation state which can represent the complex nature of machine degradation effectively, the proposed prognostic model employed a classification algorithm which can use a number of damage sensitive features compared to conventional time series analysis techniques for accurate long-term prediction. To validate the feasibility of the proposed model, the five different level data of typical four faults from High Pressure Liquefied Natural Gas (HP-LNG) pumps were used for the comparison of intelligent diagnostic test using five different classification algorithms. In addition, two sets of impeller-rub data were analysed and employed to predict the remnant life of pump based on estimation of health state probability using the Support Vector Machine (SVM) classifier. The results obtained were very encouraging and showed that the proposed prognostics system has the potential to be used as an estimation tool for machine remnant life prediction in real life industrial applications.