Checking secure information flow in Java bytecode by code transformation and standard bytecode verification

A method is presented for checking secure information flow in Java bytecode, assuming a multilevel security policy that assigns security levels to the objects. The method exploits the type‐level abstract interpretation of standard bytecode verification to detect illegal information flows. We define an algorithm transforming the original code into another code in such a way that a typing error detected by the Verifier on the transformed code corresponds to a possible illicit information flow in the original code. We present a prototype tool that implements the method and we show an example of application. Copyright © 2004 John Wiley & Sons, Ltd.     

Fast and Highly Sensitive Ionic‐Polymer‐Gated WS2–Graphene Photodetectors

The combination of graphene with semiconductor materials in heterostructure photodetectors enables amplified detection of femtowatt light signals using micrometer‐scale electronic devices. Presently, long‐lived charge traps limit the speed of such detectors, and impractical strategies, e.g., the use of large gate‐voltage pulses, have been employed to achieve bandwidths suitable for applications such as video‐frame‐rate imaging. Here, atomically thin graphene–WS₂ heterostructure photodetectors encapsulated in an ionic polymer are reported, which are uniquely able to operate at bandwidths up to 1.5 kHz whilst maintaining internal gain as large as 10⁶. Highly mobile ions and the nanometer‐scale Debye length of the ionic polymer are used to screen charge traps and tune the Fermi level of the graphene over an unprecedented range at the interface with WS₂. Responsivity R = 10⁶ A W^?1 and detectivity D* = 3.8 × 10¹¹ Jones are observed, approaching that of single‐photon counters. The combination of both high responsivity and fast response times makes these photodetectors suitable for video‐frame‐rate imaging applications.     

Introducing Enantioselective Ultrahigh-Pressure Liquid Chromatography (eUHPLC): Theoretical Inspections and Ultrafast Separations on a New Sub-2-μm Whelk-O1 Stationary Phase

A new chiral stationary phase for ultrahigh-pressure liquid chromatography (UHPLC) applications was prepared by covalent attachment of the Whelk-O1 selector to spherical, high-surface-area 1.7-μm porous silica particles. Columns of varying dimensions (lengths of 50, 75, 100, and 150 mm and internal diameters of 3.0 or 4.6 mm) were packed and characterized in terms of permeability, efficiency, retention, and enantioselectivity, using both organic and water-rich mobile phases. A conventional HPLC Whelk-O1 column based on 5.0-μm porous silica particles and packed in a 250 mm × 4.6 mm column was used as a reference. Van Deemter curves, generated with low-molecular-weight solutes on a 100 mm × 4.6 mm column packed with the 1.7-μm particles, showed H(min) (μm) and μ(opt) (mm/s) values of 4.10 and 5.22 under normal-phase and 3.74 and 4.34 under reversed-phase elution conditions. The flat C term of the van Deemter curves observed with the 1.7-μm particles allowed the use of higher-than-optimal flow rates without significant efficiency loss. Kinetic plots constructed from van Deemter data confirmed the ability of the column packed with the 1.7-μm particles to afford subminute separations with good efficiency and its superior performances in the high-speed regime, compared to the column packed with 5.0-μm particles. Resolutions in the time scale of seconds were obtained using a 50-mm-long column in the normal phase or polar organic mode. The intrinsic kinetic performances of 1.7-μm silica particles are retained in the Whelk-O1 chiral stationary phase, clearly demonstrating the potentials of enantioselective UHPLC in terms of high speed, throughput, and resolution.     

Attention allocation for decision making queues

We consider the optimal servicing of a queue with sigmoid server performance. There are various systems with sigmoid server performance, including systems involving human decision making, visual perception, human–machine communication and advertising response. Tasks arrive at the server according to a Poisson process. Each task has a deadline that is incorporated as a latency penalty. We investigate the trade-off between the reward obtained by processing the current task and the penalty incurred due to the tasks waiting in the queue. We study this optimization problem in a Markov decision process (MDP) framework. We characterize the properties of the optimal policy for the MDP and show that the optimal policy may drop some tasks; that is, may not process a task at all. We determine an approximate solution to the MDP using the certainty-equivalent receding horizon optimization framework and derive performance bounds on the proposed receding horizon policy. We also suggest guidelines for the design of such queues.     

The P2X7R-NLRP3 and AIM2 Inflammasome Platforms Mark the Complexity/Severity of Viral or Metabolic Liver Damage

P2X7R-NLRP3 and AIM2 inflammasomes activate caspase-1 and the release of cytokines involved in viral-related liver disease. Little is known about their role in non-alcoholic fatty liver disease (NAFLD) and non-alcoholic steato-hepatitis (NASH). We characterized the role of inflammasomes in NAFLD, NASH, and HCV. Gene expression and subcellular localization of P2X7R/P2X4R-NLRP3 and AIM2 inflammasome components were examined in histopathological preparations of 46 patients with biopsy-proven viral and metabolic liver disease using real-time PCR and immunofluorescence. P2X7R, P2X4R, and Caspase-1 are two- to five-fold more expressed in patients with NAFLD/NASH associated with chronic HCV infection than those with metabolic damage only (p ≤ 0.01 for all comparisons). The AIM2 inflammasome is 4.4 times more expressed in patients with chronic HCV infection, regardless of coexistent metabolic abnormalities (p = 0.0006). IL-2, a cytokine playing a pivotal role during chronic HCV infection, showed a similar expression in HCV and NASH patients (p = 0.77) but was virtually absent in NAFLD. The P2X7R-NLRP3 complex prevailed in infiltrating macrophages, while AIM2 was localized in Kupffer cells. Caspase-1 expression correlated with elastography-based liver fibrosis (r = 0.35, p = 0.02), whereas P2X7R, P2X4R, NRLP3, Caspase-1, and IL-2 expression correlated with circulating markers of disease severity. P2X7R and P2X4R play a major role in liver inflammation accompanying chronic HCV infection, especially when combined with metabolic damage, while AIM2 is specifically expressed in chronic viral hepatitis. We describe for the first time the hepatic expression of IL-2 in NASH, so far considered a peculiarity of HCV-related liver damage.     

Robust invariant sets for constrained storage systems

Several items are produced and stored into n buffers in order to supply an external demand without interruptions. We consider the classical problem of determining control laws and smallest buffer levels guaranteeing that an unknown bounded demand is always satisfied. A simple model with n decoupled integrators and n additive bounded disturbances is employed. The coupling arises from bounds on the total production capacity and on the total demand. Invariant set theory for linear and switched linear systems is exploited to compute robust positive invariant sets and controlled robust invariant sets for two commonly adopted scheduling policies. This paper provides the explicit expression of the invariant sets for any arbitrary n.     

Stabilization of strict‐feedback nonlinear systems with input delay using closed‐loop predictors

In this paper, we consider the control problem of strict‐feedback nonlinear systems with time‐varying input and output delays. The approach is based on the usual observer/predictor/feedback approach, but the novelty is the use of the closed‐loop dynamics in the predictor. This approach allows to develop two designs, an instantaneous predictor and a delay differential equation‐based predictor, that both attain the same performance in terms of system trajectories and input signal as in the case with no delays. The design based on delay differential equations allows to build a cascade of predictors to deal with arbitrarily large delay bounds. The resulting controller is much simpler to implement than classical infinite‐dimensional predictors, and it is robust with respect to actuation and measurement disturbances. We illustrate the approach with an application to the control of a chaotic system with input delay. Copyright © 2016 John Wiley & Sons, Ltd.     

A distributed simplex algorithm for degenerate linear programs and multi-agent assignments

In this paper we propose a novel distributed algorithm to solve degenerate linear programs on asynchronous peer-to-peer networks with distributed information structures. We propose a distributed version of the well-known simplex algorithm for general degenerate linear programs. A network of agents, running our algorithm, will agree on a common optimal solution, even if the optimal solution is not unique, or will determine infeasibility or unboundedness of the problem. We establish how the multi-agent assignment problem can be efficiently solved by means of our distributed simplex algorithm. We provide simulations supporting the conjecture that the completion time scales linearly with the diameter of the communication graph.     

Joint near-lossless compression and watermarking of still images for authentication and tamper localization

A system is presented to jointly achieve image watermarking and compression. The watermark is a fragile one being intended for authentication purposes. The watermarked and compressed images are fully compliant with the JPEG-LS standard, the only price to pay being a slight reduction of compression efficiency and an additional distortion that can be anyway tuned to grant a maximum preset error. Watermark detection is possible both in the compressed and in the pixel domain, thus increasing the flexibility and usability of the system. The system is expressly designed to be used in remote sensing and telemedicine applications, hence we designed it in such a way that the maximum compression and watermarking error can be strictly controlled (near-lossless compression and watermarking). Experimental results show the ability of the system to detect tampering and to limit the peak error between the original and the processed images.