Practical Fine-grained Privilege Separation in Multithreaded Applications

An inherent security limitation with the classic multithreaded programming model is that all the threads share the same address space and, therefore, are implicitly assumed to be mutually trusted. This assumption, however, does not take into consideration of many modern multithreaded applications that involve multiple principals which do not fully trust each other. It remains challenging to retrofit the classic multithreaded programming model so that the security and privilege separation in multi-principal applications can be resolved. This paper proposes ARBITER, a run-time system and a set of security primitives, aimed at fine-grained and data-centric privilege separation in multithreaded applications. While enforcing effective isolation among principals, ARBITER still allows flexible sharing and communication between threads so that the multithreaded programming paradigm can be preserved. To realize controlled sharing in a fine-grained manner, we created a novel abstraction named ARBITER Secure Memory Segment (ASMS) and corresponding OS support. Programmers express security policies by labeling data and principals via ARBITER's API following a unified model. We ported a widely-used, in-memory database application (memcached) to ARBITER system, changing only around 100 LOC. Experiments indicate that only an average runtime overhead of 5.6% is induced to this security enhanced version of application

Optimizing Coordinated Vehicle Platooning: An Analytical Approach Based on Stochastic Dynamic Programming

Platooning connected and autonomous vehicles (CAVs) can improve traffic and fuel efficiency. However, scalable platooning operations require junction-level coordination, which has not been well studied. In this paper, we study the coordination of vehicle platooning at highway junctions. We consider a setting where CAVs randomly arrive at a highway junction according to a general renewal process. When a CAV approaches the junction, a system operator determines whether the CAV will merge into the platoon ahead according to the positions and speeds of the CAV and the platoon. We formulate a Markov decision process to minimize the discounted cumulative travel cost, i.e. fuel consumption plus travel delay, over an infinite time horizon. We show that the optimal policy is threshold-based: the CAV will merge with the platoon if and only if the difference between the CAV's and the platoon's predicted times of arrival at the junction is less than a constant threshold. We also propose two ready-to-implement algorithms to derive the optimal policy. Comparison with the classical value iteration algorithm implies that our approach explicitly incorporating the characteristics of the optimal policy is significantly more efficient in terms of computation. Importantly, we show that the optimal policy under Poisson arrivals can be obtained by solving a system of integral equations. We also validate our results in simulation with Real-time Strategy (RTS) using real traffic data. The simulation results indicate that the proposed method yields better performance compared with the conventional method

Customizing Indoor Wireless Coverage via 3D-Fabricated Reflectors

Judicious control of indoor wireless coverage is crucial in built environments. It enhances signal reception, reduces harmful interference, and raises the barrier for malicious attackers. Existing methods are either costly, vulnerable to attacks, or hard to configure. We present a low-cost, secure, and easy-to-configure approach that uses an easily-accessible, 3D-fabricated reflector to customize wireless coverage. With input on coarse-grained environment setting and preferred coverage (e.g., areas with signals to be strengthened or weakened), the system computes an optimized reflector shape tailored to the given environment. The user simply 3D prints the reflector and places it around a Wi-Fi access point to realize the target coverage. We conduct experiments to examine the efficacy and limits of optimized reflectors in different indoor settings. Results show that optimized reflectors coexist with a variety of Wi-Fi APs and correctly weaken or enhance signals in target areas by up to 10 or 6 dB, resulting to throughput changes by up to -63.3% or 55.1%

Pairwise Quantum Correlations for Superpositions of Dicke States

Pairwise correlation is really an important property for multi-qubit states. For the two-qubit X states extracted from Dicke states and their superposition states, we obtain a compact expression of the quantum discord by numerical check. We then apply the expression to discuss the quantum correlation of the reduced two-qubit states of Dicke states and their superpositions, and the results are compared with those obtained by entanglement of formation, which is a quantum entanglement measure.Comment: 17pages, 8 figures,slightly improved and slightly extended version,and added some reference

Preclinical pharmacology, efficacy, and safety of varenicline in smoking cessation and clinical utility in high risk patients

Smoking is still the most prominent cause of preventable premature death in the United States and an increasing cause of morbidity and mortality throughout the world. Although the current treatments such as nicotine replacement therapy (NRT) and bupropion are effective, long-term abstinence rates are low. Mechanism studies suggest that the pleasurable effects of smoking are mediated predominantly by nicotine, which activates the brain reward system by activation of brain α4β2 nicotinic acetylcholine receptors (nAChRs). Varenicline is a novel α4β2 nAChR partial agonist and has been found to be even more effective than NRT or bupropion in attenuating smoking satisfaction and in relieving craving and withdrawal symptoms after abstinence. Thus, varenicline has been recently approved to be a first-line medication for smoking cessation in the United States and European countries. Varenicline is generally well tolerated in healthy adult smokers, with the most commonly reported adverse effects being nausea, insomnia, and headache. However, growing postmarketing data has linked varenicline to an increase in neuropsychiatric symptoms such as seizures, suicidal attempts, depression, and psychosis as well as serious injuries potentially relating to unconsciousness, dizziness, visual disturbances, or movement disorders. Therefore, new safety warnings are issued to certain high risk populations, such as patients with mental illness and operators of commercial vehicles and heavy machinery. In particular, pilots, air traffic controllers, truck and bus drivers have been banned from taking varenicline