We initiate a program to develop a principled theory of secure systems. Our main technical result is a formal logic for reasoning about a network of shared memory, multi-user systems. The logic is inspired by an existing logic for security protocols. It extends the attacker model and adds shared memory, time, and limited forms of access control. We prove soundness for the proof system in the pr...

This report describes the design and results of a series of experiments in complexity in physics and critical phenomena. Experiments included the following: 1. Ising model simulations where the critical temperature of the phase transition and the correlation length were measured on 2D lattices. 2. Percolation simulations implented using the union find algorithm that estimate the size of the gia...

Counterfactual conditions such as “if A were not true, then C would not have been true” have been formally studied by philosophers for causal claims for decades. Counterfactuals are often used informally in practice for diagnosing systems and identifying errors or misconfigurations. This paper develops a proof theory for counterfactual reasoning of Horn clauses, which have applications in domai...

This paper presents an efficient collision resolution protocol and its variations for the tag identification problem, where an electromagnetic reader attempts to obtain within its read range the unique ID number of each tag. The novelty of our main protocol is that each tag is memoryless, i.e., the current response of each tag only depends on the current query of the reader but not on the past ...

D-003, a product with cholesterol-lowering and antioxidant effects, is a mixture of very high molecular weight aliphatic acids (C24:0 to C36:0) purified from sugar cane (Saccharum officinarum, L.) wax, where octacosanoic acid is the major component. The stability of D-003 as such and in 5 mg filmcoated tablets was determined following ICH guidelines. Validation studies of the GC method demonstr...

Bambara groundnut (Vigna subterranea (L.) Verdc. ) is grown for food and income in Nigeria. A total of ten landraces bambara with varying seed coat eye colours were collected directly from farmers Kogi, Niger Kaduna States Nigeria taken to the Biochemistry Laboratory Kogi State University, Anyigba, proximate analysis. The results revealed significant differences among evaluated accessions all e...

High-throughput screening (HTS) previously identified benzimidazole 1 (JMN3-003) as a compound with broad antiviral activity against different influenza viruses and paramyxovirus strains. In pursuit of a lead compound from this series for development, we sought to increase both the potency and the aqueous solubility of 1. Lead optimization has achieved compounds with potent antiviral activity a...

In this study, we investigated the prevalence of sexual dysfunction among males with advanced chronic kidney disease and effect treating hyperprolactinemia these patients. prospective patients were assessed history, physical examination, hormonal assessment, two questionnaires, IIEF AIPE. Patients received treatment cabergoline 0.5 mg once per week for 6 months re-evaluated. A total 102 include...