On the Design Rationale of SIMON Block Cipher: Integral Attacks and Impossible Differential Attacks against SIMON Variants

SIMON is a lightweight block cipher designed by NSA in 2013. NSA presented the specification and the implementation efficiency, but they did not provide detailed security analysis nor the design rationale. The original SIMON has rotation constants of $(1,8,2)$, and Kölbl {\it et al}.~regarded the constants as a parameter $(a,b,c)$, and analyzed the security of SIMON block cipher variants against differential and linear attacks for all the choices of $(a,b,c)$. This paper complements the result of Kölbl {\it et al}.~by considering integral and impossible differential attacks. First, we search the number of rounds of integral distinguishers by using a supercomputer. Our search algorithm follows the previous approach by Wang {\it et al}., however, we introduce a new choice of the set of plaintexts satisfying the integral property. We show that the new choice indeed extends the number of rounds for several parameters. We also search the number of rounds of impossible differential characteristics based on the miss-in-the-middle approach. Finally, we make a comparison of all parameters from our results and the observations by Kölbl {\it et al}. Interesting observations are obtained, for instance we find that the optimal parameters with respect to the resistance against differential attacks are not stronger than the original parameter with respect to integral and impossible differential attacks. We also obtain a parameter that is better than the original parameter with respect to security against these four attacks

REAL: Resilience and Adaptation using Large Language Models on Autonomous Aerial Robots

Large Language Models (LLMs) pre-trained on internet-scale datasets have shown impressive capabilities in code understanding, synthesis, and general purpose question-and-answering. Key to their performance is the substantial prior knowledge acquired during training and their ability to reason over extended sequences of symbols, often presented in natural language. In this work, we aim to harness the extensive long-term reasoning, natural language comprehension, and the available prior knowledge of LLMs for increased resilience and adaptation in autonomous mobile robots. We introduce REAL, an approach for REsilience and Adaptation using LLMs. REAL provides a strategy to employ LLMs as a part of the mission planning and control framework of an autonomous robot. The LLM employed by REAL provides (i) a source of prior knowledge to increase resilience for challenging scenarios that the system had not been explicitly designed for; (ii) a way to interpret natural-language and other log/diagnostic information available in the autonomy stack, for mission planning; (iii) a way to adapt the control inputs using minimal user-provided prior knowledge about the dynamics/kinematics of the robot. We integrate REAL in the autonomy stack of a real multirotor, querying onboard an offboard LLM at 0.1-1.0 Hz as part the robot's mission planning and control feedback loops. We demonstrate in real-world experiments the ability of the LLM to reduce the position tracking errors of a multirotor under the presence of (i) errors in the parameters of the controller and (ii) unmodeled dynamics. We also show (iii) decision making to avoid potentially dangerous scenarios (e.g., robot oscillates) that had not been explicitly accounted for in the initial prompt design.Comment: 13 pages, 5 figures, conference worksho

Robust MADER: Decentralized Multiagent Trajectory Planner Robust to Communication Delay in Dynamic Environments

Communication delays can be catastrophic for multiagent systems. However, most existing state-of-the-art multiagent trajectory planners assume perfect communication and therefore lack a strategy to rectify this issue in real-world environments. To address this challenge, we propose Robust MADER (RMADER), a decentralized, asynchronous multiagent trajectory planner robust to communication delay. By always keeping a guaranteed collision-free trajectory and performing a delay check step, RMADER is able to guarantee safety even under communication delay. We perform an in-depth analysis of trajectory deconfliction among agents, extensive benchmark studies, and hardware flight experiments with multiple dynamic obstacles. We show that RMADER outperforms existing approaches by achieving a 100% success rate of collision-free trajectory generation, whereas the next best asynchronous decentralized method only achieves 83% success.Comment: 8 pagers, 13 figures,. arXiv admin note: substantial text overlap with arXiv:2209.1366

Coordinated regulation of hepatic and adipose tissue transcriptomes by the oral administration of an amino acid mixture simulating the larval saliva of Vespa species

Genes mapped on Fig. 3. (XLSX 13 kb

Maternal Gut Microbiome Decelerates Fetal Endochondral Bone Formation by Inducing Inflammatory Reaction

To investigate the effect of the maternal gut microbiome on fetal endochondral bone formation, fetuses at embryonic day 18 were obtained from germ-free (GF) and specific-pathogen-free (SPF) pregnant mothers. Skeletal preparation of the fetuses' whole bodies did not show significant morphological alterations; however, micro-CT analysis of the tibiae showed a lower bone volume fraction in the SPF tibia. Primary cultured chondrocytes from fetal SPF rib cages showed a lower cell proliferation and lower accumulation of the extracellular matrix. RNA-sequencing analysis showed the induction of inflammation-associated genes such as the interleukin (IL) 17 receptor, IL 6, and immune-response genes in SPF chondrocytes. These data indicate that the maternal gut microbiome in SPF mice affects fetal embryonic endochondral ossification, possibly by changing the expression of genes related to inflammation and the immune response in fetal cartilage. The gut microbiome may modify endochondral ossification in the fetal chondrocytes passing through the placenta

Glucotoxicity Induces Insulin Promoter DNA Methylation in Beta Cells

Recent studies have implicated epigenetics in the pathophysiology of diabetes. Furthermore, DNA methylation, which irreversibly deactivates gene transcription, of the insulin promoter, particularly the cAMP response element, is increased in diabetes patients. However, the underlying mechanism remains unclear. We aimed to investigate insulin promoter DNA methylation in an over-nutrition state. INS-1 cells, the rat pancreatic beta cell line, were cultured under normal-culture-glucose (11.2 mmol/l) or experimental-high-glucose (22.4 mmol/l) conditions for 14 days, with or without 0.4 mmol/l palmitate. DNA methylation of the rat insulin 1 gene (Ins1) promoter was investigated using bisulfite sequencing and pyrosequencing analysis. Experimental-high-glucose conditions significantly suppressed insulin mRNA and increased DNA methylation at all five CpG sites within the Ins1 promoter, including the cAMP response element, in a time-dependent and glucose concentration-dependent manner. DNA methylation under experimental-high-glucose conditions was unique to the Ins1 promoter; however, palmitate did not affect DNA methylation. Artificial methylation of Ins1 promoter significantly suppressed promoter-driven luciferase activity, and a DNA methylation inhibitor significantly improved insulin mRNA suppression by experimental-high-glucose conditions. Experimental-high-glucose conditions significantly increased DNA methyltransferase activity and decreased ten-eleven-translocation methylcytosine dioxygenase activity. Oxidative stress and endoplasmic reticulum stress did not affect DNA methylation of the Ins1 promoter. High glucose but not palmitate increased ectopic triacylglycerol accumulation parallel to DNA methylation. Metformin upregulated insulin gene expression and suppressed DNA methylation and ectopic triacylglycerol accumulation. Finally, DNA methylation of the Ins1 promoter increased in isolated islets from Zucker diabetic fatty rats. This study helps to clarify the effect of an over-nutrition state on DNA methylation of the Ins1 promoter in pancreatic beta cells. It provides new insights into the irreversible pathophysiology of diabetes

Evaluating Clinical Genome Sequence Analysis by Watson for Genomics

Background: Oncologists increasingly rely on clinical genome sequencing to pursue effective, molecularly targeted therapies. This study assesses the validity and utility of the artificial intelligence Watson for Genomics (WfG) for analyzing clinical sequencing results.Methods: This study identified patients with solid tumors who participated in in-house genome sequencing projects at a single cancer specialty hospital between April 2013 and October 2016. Targeted genome sequencing results of these patients' tumors, previously analyzed by multidisciplinary specialists at the hospital, were reanalyzed by WfG. This study measures the concordance between the two evaluations.Results: In 198 patients, in-house genome sequencing detected 785 gene mutations, 40 amplifications, and 22 fusions after eliminating single nucleotide polymorphisms. Breast cancer (n = 40) was the most frequent diagnosis in this analysis, followed by gastric cancer (n = 31), and lung cancer (n = 30). Frequently detected single nucleotide variants were found in TP53 (n = 107), BRCA2 (n = 24), and NOTCH2 (n = 23). MYC (n = 10) was the most frequently detected gene amplification, followed by ERBB2 (n = 9) and CCND1 (n = 6). Concordant pathogenic classifications (i.e., pathogenic, benign, or variant of unknown significance) between in-house specialists and WfG included 705 mutations (89.8%; 95% CI, 87.5%−91.8%), 39 amplifications (97.5%; 95% CI, 86.8–99.9%), and 17 fusions (77.3%; 95% CI, 54.6–92.2%). After about 12 months, reanalysis using a more recent version of WfG demonstrated a better concordance rate of 94.5% (95% CI, 92.7–96.0%) for gene mutations. Across the 249 gene alterations determined to be pathogenic by both methods, including mutations, amplifications, and fusions, WfG covered 84.6% (88 of 104) of all targeted therapies that experts proposed and offered an additional 225 therapeutic options.Conclusions: WfG was able to scour large volumes of data from scientific studies and databases to analyze in-house clinical genome sequencing results and demonstrated the potential for application to clinical practice; however, we must train WfG in clinical trial settings

Structure of 136Sn and the Z = 50 magicity

The first 2+ excited state in the neutron-rich tin isotope 136Sn has been identified at 682(13) keV by measuring γ -rays in coincidence with the one proton removal channel from 137Sb. This value is higher than those known for heavier even-even N = 86 isotones, indicating the Z = 50 shell closure. It compares well to the first 2+ excited state of the lighter tin isotope 134Sn, which may suggest that the seniority scheme also holds for 136Sn. Our result confirms the trend of lower 2+ excitation energies of even-even tin isotopes beyond N = 82 compared to the known values in between the two doubly magic nuclei 100Sn and 132Sn. © The Author(s) 2014.published_or_final_versio

Solar System Exploration Sciences by EQUULEUS on SLS EM-1 and Science Instruments Development Status

EQUULEUS is a spacecraft to explore the cislunar region including the Earth-Moon Lagrange point L2 (EML2) and will be launched by NASA’s SLS EM-1 rocket. Although the size of EQUULEUS is only 6U, the spacecraft carries three different science instruments. By using these instruments, the spacecraft will demonstrate three missions for solar system exploration science during and after the flight to EML2; imaging of the plasmasphere around the earth, observation of space dust flux in the cislunar region, and observation of lunar impact flashes at the far side of the moon. The developments and verifications of the flight models of these science instruments were completed by the end of 2018, and we started flight model integration and testing. This paper introduces the details of the scientific objectives, design results and development statuses of the instruments. In addition, results of the integration and pre-flight tests are also described