Sheaf semantics of termination-insensitive noninterference

We propose a new sheaf semantics for secure information flow over a space of abstract behaviors, based on synthetic domain theory: security classes are open/closed partitions, types are sheaves, and redaction of sensitive information corresponds to restricting a sheaf to a closed subspace. Our security-aware computational model satisfies termination-insensitive noninterference automatically, and therefore constitutes an intrinsic alternative to state of the art extrinsic/relational models of noninterference. Our semantics is the latest application of Sterling and Harper's recent re-interpretation of phase distinctions and noninterference in programming languages in terms of Artin gluing and topos-theoretic open/closed modalities. Prior applications include parametricity for ML modules, the proof of normalization for cubical type theory by Sterling and Angiuli, and the cost-aware logical framework of Niu et al. In this paper we employ the phase distinction perspective twice: first to reconstruct the syntax and semantics of secure information flow as a lattice of phase distinctions between "higher" and "lower" security, and second to verify the computational adequacy of our sheaf semantics vis-\`a-vis an extension of Abadi et al.'s dependency core calculus with a construct for declassifying termination channels.Comment: Extended version of FSCD '22 paper with full technical appendice

Orion Portable Fire Extinguisher Performance Testing Against a Laptop Lithium-Ion Battery Stored-Energy Fire-Method, Magnesium Fires, and Combustion By-Product Toxicity

As part of the qualification of the International Space Station (ISS) fine water mist portable fire extinguisher (PFE), several test methods were developed to determine firefighting capability against stored-energy sources. The most challenging of these devised stored-energy fire test methods proved to be the Lithium-ion (Li-ion) battery fire test scenario. The Orion crew capsule will utilize a different PFE technology from ISS (water spray rather than water mist), which spurred the need for the same type of evaluation focused on the sources of stored energy slated for use on Orion. Laptops were identified as a realistic source for stored-energy fires, requiring a modified Li-ion battery fire test scenario. In addition to open test cell (ambient oxygen concentration) testing to evaluate new proposed PFE performance, sealed chamber (20.9% and elevated oxygen concentration) testing was also performed. Chamber testing included combustion product sampling at various fire progression points for analysis and application to Orion emergency equipment design and response planning. The PFE stored-energy fire test methodology was modified and testing performed. Initial tests indicated ignition of the laptop magnesium laptop cases was possible. Additional tests were performed to characterize the laptop magnesium case fire behavior in various configurations. The new water spray PFE technology proved effective in extinguishing laptop stored-energy fires, and much was learned in the way these types of fires progressed. Findings indicate potential laptop magnesium case ignition mitigation strategies need to be further investigated

Standards of conduct and reporting in evidence syntheses that could inform environmental policy and management decisions

Accurate, unbiased and concise synthesis of available evidence following clear methodology and transparent report‑ ing is necessary to support effective environmental policy and management decisions. Without this, less reliable and/ or less objective reviews of evidence could inform decision making, leading to ineffective, resource wasteful inter‑ ventions with potential for unintended consequences. We evaluated the reliability of over 1000 evidence syntheses (reviews and overviews) published between 2018 and 2020 that provide evidence on the impacts of human activities or effectiveness of interventions relevant to environmental management. The syntheses are drawn from the Col‑ laboration for Environmental Evidence Database of Evidence Reviews (CEEDER), an online, freely available evidence service for evidence users that assesses the reliability of evidence syntheses using a series of published criteria. We found that the majority of syntheses have problems with transparency, replicability and potential for bias. Overall, our results suggest that most recently published evidence syntheses are of low reliability to inform decision making. Reviews that followed guidance and reporting standards for evidence synthesis had improved assessment ratings, but there remains substantial variation in the standard of reviews amongst even these. Furthermore, the term ‘system‑ atic review’, which implies conformity with a methodological standard, was frequently misused. A major objective of the CEEDER project is to improve the reliability of the global body of environmental evidence reviews. To this end we outline freely available online resources to help improve review conduct and reporting. We call on authors, editors and peer reviewers to use these resources to ensure more reliable syntheses in the future

The Drosophila Anion Exchanger (DAE) lacks a detectable interaction with the spectrin cytoskeleton

<p>Abstract</p> <p>Background</p> <p>Current models suggest that the spectrin cytoskeleton stabilizes interacting ion transport proteins at the plasma membrane. The human erythrocyte anion exchanger (AE1) was the first membrane transport protein found to be associated with the spectrin cytoskeleton. Here we evaluated a conserved anion exchanger from Drosophila (DAE) as a marker for studies of the downstream effects of spectrin cytoskeleton mutations.</p> <p>Results</p> <p>Sequence comparisons established that DAE belongs to the SLC4A1-3 subfamily of anion exchangers that includes human AE1. Striking sequence conservation was observed in the C-terminal membrane transport domain and parts of the N-terminal cytoplasmic domain, but not in the proposed ankyrin-binding site. Using an antibody raised against DAE and a recombinant transgene expressed in <it>Drosophila </it>S2 cells DAE was shown to be a 136 kd plasma membrane protein. A major site of expression was found in the stomach acid-secreting region of the larval midgut. DAE codistributed with an infolded subcompartment of the basal plasma membrane of interstitial cells. However, spectrin did not codistribute with DAE at this site or in anterior midgut cells that abundantly expressed both spectrin and DAE. Ubiquitous knockdown of DAE with dsRNA eliminated antibody staining and was lethal, indicating that DAE is an essential gene product in <it>Drosophila</it>.</p> <p>Conclusions</p> <p>Based on the lack of colocalization and the lack of sequence conservation at the ankyrin-binding site, it appears that the well-characterized interaction between AE1 and the spectrin cytoskeleton in erythrocytes is not conserved in <it>Drosophila</it>. The results establish a pattern in which most of the known interactions between the spectrin cytoskeleton and the plasma membrane in mammals do not appear to be conserved in <it>Drosophila</it>.</p

The sustainable materials roadmap

Over the past 150 years, our ability to produce and transform engineered materials has been responsible for our current high standards of living, especially in developed economies. However, we must carefully think of the effects our addiction to creating and using materials at this fast rate will have on the future generations. The way we currently make and use materials detrimentally affects the planet Earth, creating many severe environmental problems. It affects the next generations by putting in danger the future of the economy, energy, and climate. We are at the point where something must drastically change, and it must change now. We must create more sustainable materials alternatives using natural raw materials and inspiration from nature while making sure not to deplete important resources, i.e. in competition with the food chain supply. We must use less materials, eliminate the use of toxic materials and create a circular materials economy where reuse and recycle are priorities. We must develop sustainable methods for materials recycling and encourage design for disassembly. We must look across the whole materials life cycle from raw resources till end of life and apply thorough life cycle assessments (LCAs) based on reliable and relevant data to quantify sustainability. We need to seriously start thinking of where our future materials will come from and how could we track them, given that we are confronted with resource scarcity and geographical constrains. This is particularly important for the development of new and sustainable energy technologies, key to our transition to net zero. Currently 'critical materials' are central components of sustainable energy systems because they are the best performing. A few examples include the permanent magnets based on rare earth metals (Dy, Nd, Pr) used in wind turbines, Li and Co in Li-ion batteries, Pt and Ir in fuel cells and electrolysers, Si in solar cells just to mention a few. These materials are classified as 'critical' by the European Union and Department of Energy. Except in sustainable energy, materials are also key components in packaging, construction, and textile industry along with many other industrial sectors. This roadmap authored by prominent researchers working across disciplines in the very important field of sustainable materials is intended to highlight the outstanding issues that must be addressed and provide an insight into the pathways towards solving them adopted by the sustainable materials community. In compiling this roadmap, we hope to aid the development of the wider sustainable materials research community, providing a guide for academia, industry, government, and funding agencies in this critically important and rapidly developing research space which is key to future sustainability.journal articl