We introduce a Markov-model-based framework for Moving Target Defense (MTD) analysis. The framework allows modeling of broad range of MTD strategies, provides general theorems about how the probability of a successful adversary defeating an MTD strategy is related to the amount of time/cost spent by the adversary, and shows how a multi-level composition of MTD strategies can be analyzed by a straightforward combination of the analysis for each one of these strategies. Within the proposed framework we define the concept of security capacity which measures the strength or effectiveness of an MTD strategy: the security capacity depends on MTD specific parameters and more general system parameters. We apply our framework to two concrete MTD strategies.

No abstract

No abstract

Calcific aortic valve disease is the most common heart valve disease. It is associated with a significant increase in cardiovascular morbidity and mortality and independently increases the cardiovascular risk. It is then important to develop parameters that can estimate the stiffness of the valve. Such parameters may contribute to early detection of the disease or track its progression and optimize the timing for therapy. In this study, we introduce a metric representing the stiffness of the native aortic calcified valve over a wide range of stenosis severities. Our approach is based on three-dimensional structural finite-element simulations and in vitro measurements. The proposed method is developed first in a pulse duplicator; its clinical applicability is then evaluated in three patients with severe aortic stenosis. Our results indicate that the value of the proposed metric varies considerably between healthy valves and valves with very severe aortic stenosis, from 0.001 to 7.38 MPa, respectively. The method introduced in this study could give useful information regarding the stiffness of the valve leaflets with potential application to the evaluation of aortic sclerosis and aortic stenosis.

Protoporphyrin IX (PPIX) produced following the administration of exogenous 5d-aminolevulinic acid is clinically approved for photodynamic therapy and fluorescence-guided resection in various jurisdictions around the world. For both applications, quantification of PPIX forms the basis for accurate therapeutic dose calculation and identification of malignant tissues for resection. While it is well established that the PPIX synthesis and accumulation rates are subject to the cell’s biochemical microenvironment, the effect of the physical microenvironment, such as matrix stiffness, has received little attention to date. Here we studied the proliferation rate and PPIX synthesis and accumulation in two glioma cell lines U373 and U118 cultured under five different substrate conditions, including the conventional tissue culture plastic and polyacrylamide gels that simulated tissue stiffness of normal brain (1 kPa) and glioblastoma tumors (12 kPa). We found that the proliferation rate increased with substrate stiffness for both cell lines, but not in a linear fashion. PPIX concentration was significantly higher in cells cultured on tissue-simulating gels than on the much stiffer tissue culture plastic for both cell lines. These findings, albeit preliminary, suggest that the physical microenvironment might be an important determinant of tumor aggressiveness and PPIX synthesis in glioma cells.

No abstract

We initiate an effort to demonstrate how we can provide a rigorous, perceptible and holistic security analysis of a very large scale system. We choose OpenStack to exemplify our approach. OpenStack is the prevalent open-source, non-proprietary package for managing cloud services and data centers. It is highly complex and consists of multiple inter-related components which are developed by separate, loosely coordinated groups. All of these properties make the security analysis of OpenStack both a crucial mission and a challenging one. We base our modeling and security analysis in the universally composable (UC) security framework, which has been so far used mainly for analyzing security of cryptographic protocols. Indeed, demonstrating how the UC framework can be used to argue about security-sensitive systems which are mostly non-cryptographic, in nature, is one of the main contributions of this work.Our analysis has the following key features:1. It is user-centric: It stresses the security guarantees given to users of the system, in terms of privacy, correctness, and timeliness of the services.Although our analysis covers only a number of core components of OpenStack, it formulates some basic and important security trade offs in the design. It also naturally paves the way to a more comprehensive analysis of OpenStack. In addition, as a by-product result of our modeling, we introduce a novel tokening mechanism, RAFT, which is backward compatible with Fernet Token currently used in OpenStack. By applying the UC framework, we prove that RAFT's one-time use tokens can realize a more secure OpenStack cloud than bearer tokens do.

A significant number of elderly patients with severe symptomatic aortic stenosis are denied surgical aortic valve replacement (SAVR) because of high operative risk. Transcatheter aortic valve implantation (TAVI) has emerged as a valid alternative to SAVR in these patients. One of the main characteristics of TAVI, when compared to SAVR, is that the diseased native aortic valve remains in place. For hemodynamic testing of new percutaneous valves and clinical training, one should rely on animal models. However, the development of an appropriate animal model of severe aortic stenosis is not straightforward. This work aims at developing and testing an elastic model of the ascending aorta including a severe aortic stenosis. The physical model was built based on a previous silicone model and tested experimentally in this study. Experimental results showed that the error between the computer-aided design (CAD) file and the physical elastic model was <5%, the compliance of the ascending aorta was 1.15 ml/mm Hg, the effective orifice area (EOA) of the stenotic valve was 0.86 cm 2 , the peak jet velocity was 4.9 m/s and mean transvalvular pressure gradient was 50 mm Hg, consistent with as severe. An EDWARDS-SAPIEN 26 mm valve was then implanted in the model leading to a significant increase in EOA (2.22 cm 2 ) and a significant decrease in both peak jet velocity (1.29 m/s) and mean transvalvular pressure gradient (3.1 mm Hg). This model can be useful for preliminary in vitro testing of percutaneous valves before more extensive animal and in vivo tests.