In an axial-flow turbine of a jet engine used for aircraft propulsion, the passage vortex (PV) and tip leakage (TLV) generated inside blade deteriorate aerodynamic performance. this study, dielectric barrier discharge plasma actuator (PA) was installed in upstream endwall cascade to suppress PV. The effects presence or absence clearance change size on structure at exit were observed by recordin...

Quantitative information flow analyses measure how much information on secrets is leaked by publicly observable outputs. One area of interest is to quantify and estimate the information leakage of composed systems. Prior work has focused on running disjoint component systems in parallel and reasoning about the leakage compositionally, but has not explored how the component systems are run in pa...

leakage in water distribution networks causes waste of water and economical losses. in this paper a new method is presented to calculate nodal and pipes leakage in water distribution systems using capabilities of epanet2.10 software. the method estimate the total water losses in the system based on iwa methodology using minimum night flow (mnf) measurements. recognising the pressure dependency ...

Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in synchronous hardware circuits. The method is based on a parameterized notion of confidentiality for finite transition systems that allows one to model information leakage in a fine-grained way. We present an efficient ...

We put forward a model of action-based randomization mechanisms to analyse quantitative information flow (qif) under generic leakage functions, and under possibly adaptive adversaries. This model subsumes many of the qif models proposed so far. Our main contributions include the following: (1) we identify mild general conditions on the leakage function under which it is possible to derive gener...

This paper contributes to the investigation of object-sensitive information flow properties for sequential Java, i.e., properties that take into account information leakage through objects, as opposed to primitive values. We present two improvements to a popular object-sensitive noninterference property. Both reduce the burden on analysis and monitoring tools. The second contribution is a forma...