Joint Wireless Information and Energy Transfer with Reduced Feedback in MIMO Interference Channels

To determine the transmission strategy for joint wireless information and energy transfer (JWIET) in the MIMO interference channel (IFC), the information access point (IAP) and energy access point (EAP) require the channel state information (CSI) of their associated links to both the information-decoding (ID) mobile stations (MSs) and energy-harvesting (EH) MSs (so-called local CSI). In this paper, to reduce th e feedback overhead of MSs for the JWIET in two-user MIMO IFC, we propose a Geodesic energy beamforming scheme that requires partial CSI at the EAP. Furthermore, in the two-user MIMO IFC, it is proved that the Geodesic energy beamforming is the optimal strategy. By adding a rank-one constraint on the transmit signal covariance of IAP, we can further reduce the feedback overhead to IAP by exploiting Geodesic information beamforming. Under the rank-one constraint of IAP's transmit signal, we prove that Geodesic information/energy beamforming approach is the optimal strategy for JWIET in the two-user MIMO IFC. We also discuss the extension of the proposed rank-one Geodesic information/energy beamforming strategies to general K-user MIMO IFC. Finally, by analyzing the achievable rate-energy performance statistically under imperfect partial CSIT, we propose an adaptive bit allocation strategy for both EH MS and ID MS.Comment: accepted to IEEE Journal of Selected Areas in Communications (IEEE JSAC), Special Issue on Wireless Communications Powered by Energy Harvesting and Wireless Energy Transfe

Information Flow Control in WebKit's JavaScript Bytecode

Websites today routinely combine JavaScript from multiple sources, both trusted and untrusted. Hence, JavaScript security is of paramount importance. A specific interesting problem is information flow control (IFC) for JavaScript. In this paper, we develop, formalize and implement a dynamic IFC mechanism for the JavaScript engine of a production Web browser (specifically, Safari's WebKit engine). Our IFC mechanism works at the level of JavaScript bytecode and hence leverages years of industrial effort on optimizing both the source to bytecode compiler and the bytecode interpreter. We track both explicit and implicit flows and observe only moderate overhead. Working with bytecode results in new challenges including the extensive use of unstructured control flow in bytecode (which complicates lowering of program context taints), unstructured exceptions (which complicate the matter further) and the need to make IFC analysis permissive. We explain how we address these challenges, formally model the JavaScript bytecode semantics and our instrumentation, prove the standard property of termination-insensitive non-interference, and present experimental results on an optimized prototype

Declassification of Faceted Values in JavaScript

This research addresses the issues with protecting sensitive information at the language level using information flow control mechanisms (IFC). Most of the IFC mechanisms face the challenge of releasing sensitive information in a restricted or limited manner. This research uses faceted values, an IFC mechanism that has shown promising flexibility for downgrading the confidential information in a secure manner, also called declassification. In this project, we introduce the concept of first-class labels to simplify the declassification of faceted values. To validate the utility of our approach we show how the combination of faceted values and first-class labels can build various declassification mechanisms

Multilateral Development Banks and Private Sector Financing: The Case of IFC

IFC, private sector financing, multinational development banks, causality tests

Joint Wireless Information and Energy Transfer in a K-User MIMO Interference Channel

Recently, joint wireless information and energy transfer (JWIET) methods have been proposed to relieve the battery limitation of wireless devices. However, the JWIET in a general K-user MIMO interference channel (IFC) has been unexplored so far. In this paper, we investigate for the first time the JWIET in K-user MIMO IFC, in which receivers either decode the incoming information data (information decoding, ID) or harvest the RF energy (energy harvesting, EH). In the K-user IFC, we consider three different scenarios according to the receiver mode -- i) multiple EH receivers and a single ID receiver, ii) multiple IDs and a single EH, and iii) multiple IDs and multiple EHs. For all scenarios, we have found a common necessary condition of the optimal transmission strategy and, accordingly, developed the transmission strategy that satisfies the common necessary condition, in which all the transmitters transferring energy exploit a rank-one energy beamforming. Furthermore, we have also proposed an iterative algorithm to optimize the covariance matrices of the transmitters that transfer information and the powers of the energy beamforming transmitters simultaneously, and identified the corresponding achievable rate-energy tradeoff region. Finally, we have shown that by selecting EH receivers according to their signal-to-leakage-and-harvested energy-ratio (SLER), we can improve the achievable rate-energy region further.Comment: arXiv admin note: text overlap with arXiv:1303.169