407 research outputs found

    Towards a Formally Verified Security Monitor for VM-based Confidential Computing

    Full text link
    Confidential computing is a key technology for isolating high-assurance applications from the large amounts of untrusted code typical in modern systems. Existing confidential computing systems cannot be certified for use in critical applications, like systems controlling critical infrastructure, hardware security modules, or aircraft, as they lack formal verification. This paper presents an approach to formally modeling and proving a security monitor. It introduces a canonical architecture for virtual machine (VM)-based confidential computing systems. It abstracts processor-specific components and identifies a minimal set of hardware primitives required by a trusted security monitor to enforce security guarantees. We demonstrate our methodology and proposed approach with an example from our Rust implementation of the security monitor for RISC-V

    Association of blood pressure variability and neurocognition in children with chronic kidney disease

    Get PDF
    Children with chronic kidney disease (CKD) and hypertension have increased blood pressure variability (BPV). Increased BPV has been associated with lower neurocognitive test scores in adults. Children with CKD are at risk for decreased neurocognitive function. Our objective was to determine if children with CKD and increased BPV had worse performance on neurocognitive testing compared with children with CKD and lower BPV

    Kinetics of fragmentation-annihilation processes

    Get PDF
    We investigate the kinetics of systems in which particles of one species undergo binary fragmentation and pair annihilation. In the latter, nonlinear process, fragments react at collision to produce an inert species, causing loss of mass. We analyse these systems in the reaction-limited regime by solving a continuous model within the mean-field approximation. The rate of fragmentation, for a particle of mass xx to break into fragments of masses yy and xyx-y, has the form xλ1x^{\lambda-1} (λ>0\lambda>0), and the annihilation rate is constant and independent of the masses of the reactants. We find that the asymptotic regime is characterized by the annihilation of small-mass clusters. The results are compared with those for a model with linear mass-loss (i.e.\ with a sink). We also study more complex models, in which the processes of fragmentation and annihilation are controlled by mutually-reacting catalysts. Both pair- and linear-annihilation are considered. Depending on the specific model and initial densities of the catalysts, the time-decay of the cluster-density can now be very unconventional and even non-universal. The interplay between the intervening processes and the existence of a scaling regime are determined by the asymptotic behaviour of the average-mass and of the mass-density, which may either decay indefinitely or tend to a constant value. We discuss further developments of this class of models and their potential applications.Comment: 16 pages(LaTeX), submitted to Phys. Rev.

    Neurocognitive, Social-Behavioral, and Adaptive Functioning in Preschool Children with Mild to Moderate Kidney Disease

    Get PDF
    The negative impact of End Stage Kidney Disease on cognitive function in children is well established, but no studies have examined the neurocognitive, social-behavioral, and adaptive behavior skills of preschool children with mild to moderate chronic kidney disease (CKD)

    Stable Distributions in Stochastic Fragmentation

    Full text link
    We investigate a class of stochastic fragmentation processes involving stable and unstable fragments. We solve analytically for the fragment length density and find that a generic algebraic divergence characterizes its small-size tail. Furthermore, the entire range of acceptable values of decay exponent consistent with the length conservation can be realized. We show that the stochastic fragmentation process is non-self-averaging as moments exhibit significant sample-to-sample fluctuations. Additionally, we find that the distributions of the moments and of extremal characteristics possess an infinite set of progressively weaker singularities.Comment: 11 pages, 5 figure
    corecore