Enforcing Security and Safety with Proof-Carrying Code

AbstractIn an environment where more and more code cannot be trusted to behave safety it is becoming necessary to employ mechanisms for detecting and preventing unsafe program behavior. This paper first reviews various such mechanisms and then focuses on static mechanisms with an emphasis on Proof-Carrying Code and its expressiveness.Proof-Carrying Code is a technique that allows a code receiver to verify statically that the code has certain required properties, which are stated in the form of a safety policy. To make this possible the code is accompanied by a representation of an easily checkable formal proof of compliance with the safety policy. This paper discusses first the general properties of the Proof-Carrying Code technique and then explores a particular implementation of the idea using verification condition generators. As a surprising result we prove that by adopting such an implementation choice we limit ourselves to safety properties, which constitute but a subset (albeit a very important one) of all the interesting program properties. We further speculate on what it takes to extend Proof-Carrying Code to handle more that safety properties

Prenatal exome sequencing: a useful tool for the fetal neurologist

Prenatal exome sequencing (pES) is a promising tool for diagnosing genetic disorders when structural anomalies are detected on prenatal ultrasound. The aim of this study was to investigate the diagnostic yield and clinical impact of pES as an additional modality for fetal neurologists who counsel parents in case of congenital anomalies of the central nervous system (CNS). We assessed 20 pregnancies of 19 couples who were consecutively referred to the fetal neurologist for CNS anomalies. pES had a diagnostic yield of 53% (10/19) with most diagnosed pregnancies having agenesis or hypoplasia of the corpus callosum (7/10). Overall clinical impact was 63% (12/19), of which the pES result aided parental decision making in 55% of cases (6/11), guided perinatal management in 75% of cases (3/4), and was helpful in approving a late termination of pregnancy request in 75% of cases (3/4). Our data suggest that pES had a high diagnostic yield when CNS anomalies are present, although this study is limited by its small sample size. Moreover, pES had substantial clinical impact, which warrants implementation of pES in the routine care of the fetal neurologist in close collaboration with gynecologists and clinical geneticists.Neuro Imaging Researc

ANK3 related neurodevelopmental disorders: expanding the spectrum of heterozygous loss-of-function variants

ANK3 encodes multiple isoforms of ankyrin-G, resulting in variegated tissue expression and function, especially regarding its role in neuronal development. Based on the zygosity, location, and type, ANK3 variants result in different neurodevelopmental phenotypes. Autism spectrum disorder has been associated with heterozygous missense variants in ANK3, whereas a more severe neurodevelopmental phenotype is caused by isoform-dependent, autosomal-dominant, or autosomal-recessive loss-of-function variants. Here, we present four individuals affected by a variable neurodevelopmental phenotype harboring a heterozygous frameshift or nonsense variant affecting all ANK3 transcripts. Thus, we provide further evidence of an isoform-based phenotypic continuum underlying ANK3-associated pathologies and expand its phenotypic spectrum.Genetics of disease, diagnosis and treatmen

CREBBP mutations in individuals without Rubinstein-Taybi syndrome phenotype

Item does not contain fulltextMutations in CREBBP cause Rubinstein-Taybi syndrome. By using exome sequencing, and by using Sanger in one patient, CREBBP mutations were detected in 11 patients who did not, or only in a very limited manner, resemble Rubinstein-Taybi syndrome. The combined facial signs typical for Rubinstein-Taybi syndrome were absent, none had broad thumbs, and three had only somewhat broad halluces. All had apparent developmental delay (being the reason for molecular analysis); five had short stature and seven had microcephaly. The facial characteristics were variable; main characteristics were short palpebral fissures, telecanthi, depressed nasal ridge, short nose, anteverted nares, short columella, and long philtrum. Six patients had autistic behavior, and two had self-injurious behavior. Other symptoms were recurrent upper airway infections (n = 5), feeding problems (n = 7) and impaired hearing (n = 7). Major malformations occurred infrequently. All patients had a de novo missense mutation in the last part of exon 30 or beginning of exon 31 of CREBBP, between base pairs 5,128 and 5,614 (codons 1,710 and 1,872). No missense or truncating mutations in this region have been described to be associated with the classical Rubinstein-Taybi syndrome phenotype. No functional studies have (yet) been performed, but we hypothesize that the mutations disturb protein-protein interactions by altering zinc finger function. We conclude that patients with missense mutations in this specific CREBBP region show a phenotype that differs substantially from that in patients with Rubinstein-Taybi syndrome, and may prove to constitute one (or more) separate entities. (c) 2016 Wiley Periodicals, Inc

Origin and clinical relevance of chromosomal aberrations other than the common trisomies detected by genome-wide NIPS: Results of the TRIDENT study

PurposeNoninvasive prenatal screening (NIPS) using cell-free DNA in maternal blood is highly sensitive for detecting fetal trisomies 21, 18, and 13. Using a genome-wide approach, other chromosome anomalies can also be detected. We report on the origin

Stretch-activated ion channel TMEM63B associates with developmental and epileptic encephalopathies and progressive neurodegeneration

By converting physical forces into electrical signals or triggering intracellular cascades, stretch-activated ion channels allow the cell to respond to osmotic and mechanical stress. Knowledge of the pathophysiological mechanisms underlying associations of stretch-activated ion channels with human disease is limited. Here, we describe 17 unrelated individuals with severe early-onset developmental and epileptic encephalopathy (DEE), intellectual disability, and severe motor and cortical visual impairment associated with progressive neurodegenerative brain changes carrying ten distinct heterozygous variants of TMEM63B, encoding for a highly conserved stretch-activated ion channel. The variants occurred de novo in 16/17 individuals for whom parental DNA was available and either missense, including the recurrent p.Val44Met in 7/17 individuals, or in-frame, all affecting conserved residues located in transmembrane regions of the protein. In 12 individuals, hematological abnormalities co-occurred, such as macrocytosis and hemolysis, requiring blood transfusions in some. We modeled six variants (p.Val44Met, p.Arg433His, p.Thr481Asn, p.Gly580Ser, p.Arg660Thr, and p.Phe697Leu), each affecting a distinct transmembrane domain of the channel, in transfected Neuro2a cells and demonstrated inward leak cation currents across the mutated channel even in isotonic conditions, while the response to hypo-osmotic challenge was impaired, as were the Ca2+ transients generated under hypo-osmotic stimulation. Ectopic expression of the p.Val44Met and p.Gly580Cys variants in Drosophila resulted in early death. TMEM63B-associated DEE represents a recognizable clinicopathological entity in which altered cation conductivity results in a severe neurological phenotype with progressive brain damage and early-onset epilepsy associated with hematological abnormalities in most individuals. Genetics of disease, diagnosis and treatmen

Correction to: Putting genome-wide sequencing in neonates into perspective

The original version of this Article contained an error in the spelling of the author Pleuntje J. van der Sluijs, which was incorrectly given as Eline (P. J.) van der Sluijs. This has now been corrected in both the PDF and HTML versions of the Article

Heterozygous ANKRD17 loss-of-function variants cause a syndrome with intellectual disability, speech delay, and dysmorphism

ANKRD17 is an ankyrin repeat-containing protein thought to play a role in cell cycle progression, whose ortholog in Drosophila functions in the Hippo pathway as a co-factor of Yorkie. Here, we delineate a neurodevelopmental disorder caused by de novo heterozygous ANKRD17 variants. The mutational spectrum of this cohort of 34 individuals from 32 families is highly suggestive of haploinsufficiency as the underlying mechanism of disease, with 21 truncating or essential splice site variants, 9 missense variants, 1 in-frame insertion-deletion, and 1 microdeletion (1.16 Mb). Consequently, our data indicate that loss of ANKRD17 is likely the main cause of phenotypes previously associated with large multi-gene chromosomal aberrations of the 4q13.3 region. Protein modeling suggests that most of the missense variants disrupt the stability of the ankyrin repeats through alteration of core structural residues. The major phenotypic characteristic of our cohort is a variable degree of developmental delay/intellectual disability, particularly affecting speech, while additional features include growth failure, feeding difficulties, non-specific MRI abnormalities, epilepsy and/or abnormal EEG, predisposition to recurrent infections (mostly bacterial), ophthalmological abnormalities, gait/balance disturbance, and joint hypermobility. Moreover, many individuals shared similar dysmorphic facial features. Analysis of single-cell RNA-seq data from the developing human telencephalon indicated ANKRD17 expression at multiple stages of neurogenesis, adding further evidence to the assertion that damaging ANKRD17 variants cause a neurodevelopmental disorder.Neurolog

Biology and integrated pest management of the elephant weevil borer, orthorhinus cylindrirostris (EWB) (fabricius) (coleoptera: curculionidae) in blueberries

Item does not contain fulltex

The V73M mutation in the hepatic lipase gene is associated with elevated cholesterol levels in four Dutch pedigrees with familial combined in hyperlipidemia.

Item does not contain fulltex