Resolving the predicament of android custom permissions

Android leverages a set of system permissions to protect platform resources. At the same time, it allows untrusted third-party applications to declare their own custom permissions to regulate access to app components. However, Android treats custom permissions the same way as system permissions even though they are declared by entities of different trust levels. In this work, we describe two new classes of vulnerabilities that arise from the ‘predicament’ created by mixing system and custom permissions in Android. These have been acknowledged as serious security flaws by Google and we demonstrate how they can be exploited in practice to gain unauthorized access to platform resources and to compromise popular Android apps. To address the shortcomings of the system, we propose a new modular design called Cusper for the Android permission model. Cusper separates the management of system and custom permissions and introduces a backward-compatible naming convention for custom permissions to prevent custom permission spoofing. We validate the correctness of Cusper by 1) introducing the first formal model of Android runtime permissions, 2) extending it to describe Cusper, and 3) formally showing that key security properties that can be violated in the current permission model are always satisfied in Cusper. To demonstrate Cusper’s practicality, we implemented it in the Android platform and showed that it is both effective and efficient

Congenital leptin deficiency and thyroid function

Thyroid function is closely related to leptin's secretion by the adipose tissue. In states of leptin-deficiency, the circadian rhythm of TSH is altered, leading to central hypothyroidism in animal models. In humans, central hypothyroidism has also been described in rare cases of congenital leptin deficiency. However, the thyroid phenotype in these cases is heterogeneous, with the occurrence of central hypothyroidism in a minority of cases. Here we describe thyroid function in four leptin-deficient humans (2 males aged 5 and 27, and 2 females aged 35 and 40), before and during leptin replacement with recombinant human methionyl leptin (r-metHuLeptin). The child was evaluated for four years, and the adults, for eight years. In addition, the adults were submitted to a brief withdrawal of leptin during six weeks in the sixth year. Our results show that, regardless of leptin replacement, our leptin-deficient patients have normal thyroid function. In spite of having an important role in regulating the hypothalamic-pituitary-thyroidal axis, leptin is not required for normal thyroid function

Time evolution of the scattering data for a fourth-order linear differential operator

The time evolution of the scattering and spectral data is obtained for the differential operator $\displaystyle\frac{d^4}{dx^4} +\displaystyle\frac{d}{dx} u(x,t)\displaystyle\frac{d}{dx}+v(x,t),$ where $u(x,t)$ and $v(x,t)$ are real-valued potentials decaying exponentially as $x\to\pm\infty$ at each fixed $t.$ The result is relevant in a crucial step of the inverse scattering transform method that is used in solving the initial-value problem for a pair of coupled nonlinear partial differential equations satisfied by $u(x,t)$ and $v(x,t).$Comment: 19 page

Predicting the natural state of fractured carbonate reservoirs: An Andector Field, West Texas test of a 3-D RTM simulator

The power of the reaction, transport, mechanical (RTM) modeling approach is that it directly uses the laws of geochemistry and geophysics to extrapolate fracture and other characteristics from the borehole or surface to the reservoir interior. The objectives of this facet of the project were to refine and test the viability of the basin/reservoir forward modeling approach to address fractured reservoir in E and P problems. The study attempts to resolve the following issues: role of fracturing and timing on present day location and characteristics; clarifying the roles and interplay of flexure dynamics, changing rock rheological properties, fluid pressuring and tectonic/thermal histories on present day reservoir location and characteristics; and test the integrated RTM modeling/geological data approach on a carbonate reservoir. Sedimentary, thermal and tectonic data from Andector Field, West Texas, were used as input to the RTM basin/reservoir simulator to predict its preproduction state. The results were compared with data from producing reservoirs to test the RTM modeling approach. The effects of production on the state of the field are discussed in a companion report. The authors draw the following conclusions: RTM modeling is an important new tool in fractured reservoir E and P analysis; the strong coupling of RTM processes and the geometric and tensorial complexity of fluid flow and stresses require the type of fully coupled, 3-D RTM model for fracture analysis as pioneered in this project; flexure analysis cannot predict key aspects of fractured reservoir location and characteristics; fracture history over the lifetime of a basin is required to understand the timing of petroleum expulsion and migration and the retention properties of putative reservoirs

Analytical evaluation of the MoM matrix elements

Derivation of the closed-form Green's functions has eliminated the computationally expensive evaluation of the Sommerfeld integrals to obtain the Green's functions in the spatial domain. Therefore, using the closed-form Green's functions in conjunction with the method of moments (MoM) has unproved the computational efficiency of the technique significantly. Further improvement can be achieved on the calculation of the matrix elements involved in the MoM, usually double integrals for planar geometries, by eliminating the numerical integration. The contribution of this paper is to present the analytical evaluation of the matrix elements when the closed-form Green's functions are used, and to demonstrate the amount of improvement in computation time. © 1996 IEEE

Properties of Solutions in 2+1 Dimensions

We solve the Einstein equations for the 2+1 dimensions with and without scalar fields. We calculate the entropy, Hawking temperature and the emission probabilities for these cases. We also compute the Newman-Penrose coefficients for different solutions and compare them.Comment: 16 pages, 1 figures, PlainTeX, Dedicated to Prof. Yavuz Nutku on his 60th birthday. References adde

Safety of Transcatheter Aortic Valve Replacement in Patients with Aortic Aneurysm: A Propensity-Matched Analysis

Introduction There is a paucity of data regarding the outcomes of transcatheter aortic valve replacement (TAVR) among patients with thoracic or abdominal aortic aneurysms (AA). Using the Nationwide Inpatient Sample (NIS) database, we explored the safety of TAVR among patients with a diagnosis of AA. Methods We queried the National Inpatient Sample database (2012–2017) for hospitalized patients undergoing TAVR, using ICD-9 and ICD-10 codes for endovascular TAVR. Reports show that \u3e 95% of endovascular TAVR in the US is via transfemoral access, so our population are mostly patients undergoing transfemoral TAVR. Using propensity score matching, we compared the trends and outcomes of TAVR procedures among patients with versus without AA. Results From a total sample of 29,517 individuals who had TAVR procedures between January 2012 and December 2017, 910 had a diagnosis of AA. In 774 matched-pair analysis, all-cause in-hospital mortality was similar in patients with and without AA OR 0.63 [(95% CI 0.28–1.43), p = 0.20]. The median length of stay was higher in patients with AA: 4 days (IQR 2.0–7.0) versus 3 days (IQR 2.0–6.0) p = 0.01. Risk of AKI [OR 1.01 (0.73–1.39), p = 0.87], heart block requiring pacemaker placement [OR 1.17 (0.81–1.69), p = 0.40], aortic dissection [OR 2.38 (0.41–13.75), p = 0.25], acute limb ischemia [OR 0.46 (0.18–1.16), p = 0.09], vascular complications [OR 0.80 (0.34–1.89), p = 0.53], post-op bleeding [OR 1.12 (0.81–1.57), p = 0.42], blood transfusion [OR 1.20 (0.84–1.70), p = 0.26], and stroke [OR 0.58 (0.24–1.39), p = 0.25] were similar in those with and without AA. Conclusions Data from a large nationwide database demonstrated that patients with AA undergoing TAVR are associated with similar in-hospital outcomes compared with patients without AA. Key Summary Points Patients with a diagnosis aortic aneurysm (thoracic or abdominal) undergoing transcatheter aortic valve replacement (TAVR) have same risk of periprocedural complications as those without a diagnosis of aortic aneurysms (AA). Patients with a diagnosis of aortic aneurysm had a longer length of hospital stay. Further studies are needed to determine how specific features of aortic aneurysm such as size, shape, thrombus burden, or calcifications affect the safety of TAVR

Assessment of Dynamic Change of Coronary Artery Geometry and Its Relationship to Coronary Artery Disease, Based on Coronary CT Angiography

To investigate the relationship between dynamic changes of coronary artery geometry and coronary artery disease (CAD) using computed tomography (CT). Seventy-one patients underwent coronary CT angiography with retrospective electrocardiographic gating. End-systolic (ES) and end-diastolic (ED) phases were automatically determined by dedicated software. Centerlines were extracted for the right and left coronary artery. Differences between ES and ED curvature and tortuosity were determined. Associations of change in geometrical parameters with plaque types and degree of stenosis were investigated using linear mixed models. The differences in number of inflection points were analyzed using Wilcoxon signed-rank tests. Tests were done on artery and segment level. One hundred thirty-seven arteries (64.3%) and 456 (71.4%) segments were included. Curvature was significantly higher in ES than in ED phase for arteries (p = 0.002) and segments (p < 0.001). The difference was significant only at segment level for tortuosity (p = 0.005). Number of inflection points was significantly higher in ES phase on both artery and segment level (p < 0.001). No significant relationships were found between degree of stenosis and plaque types and dynamic change in geometrical parameters. Non-invasive imaging by cardiac CT can quantify change in geometrical parameters of the coronary arteries during the cardiac cycle. Dynamic change of vessel geometry through the cardiac cycle was not found to be related to the presence of CAD

Explicit solutions to the Korteweg-de Vries equation on the half line

Certain explicit solutions to the Korteweg-de Vries equation in the first quadrant of the $xt$-plane are presented. Such solutions involve algebraic combinations of truly elementary functions, and their initial values correspond to rational reflection coefficients in the associated Schr\"odinger equation. In the reflectionless case such solutions reduce to pure $N$-soliton solutions. An illustrative example is provided.Comment: 17 pages, no figure