Receding horizon filtering for a class of discrete time-varying nonlinear systems with multiple missing measurements

This paper is concerned with the receding horizon filtering problem for a class of discrete time-varying nonlinear systems with multiple missing measurements. The phenomenon of missing measurements occurs in a random way and the missing probability is governed by a set of stochastic variables obeying the given Bernoulli distribution. By exploiting the projection theory combined with stochastic analysis techniques, a Kalman-type receding horizon filter is put forward to facilitate the online applications. Furthermore, by utilizing the conditional expectation, a novel estimation scheme of state covariance matrices is proposed to guarantee the implementation of the filtering algorithm. Finally, a simulation example is provided to illustrate the effectiveness of the established filtering scheme.This work was supported in part by the Deanship of Scientific Research (DSR) at King Abdulaziz University in Saudi Arabia [grant number 16-135-35-HiCi], the National Natural Science Foundation of China [grant number 61329301], [grant number 61203139], [grant number 61134009], and [grant number 61104125], Royal Society of the U.K., the Shanghai Rising-Star Program of China [grant number 13QA1400100], the Shu Guang project of Shanghai Municipal Education Commission and Shanghai Education Development Foundation [grant number 13SG34], the Fundamental Research Funds for the Central Universities, DHU Distinguished Young Professor Program, and the Alexander von Humboldt Foundation of Germany

Android HIV: A Study of Repackaging Malware for Evading Machine-Learning Detection

Machine learning based solutions have been successfully employed for automatic detection of malware in Android applications. However, machine learning models are known to lack robustness against inputs crafted by an adversary. So far, the adversarial examples can only deceive Android malware detectors that rely on syntactic features, and the perturbations can only be implemented by simply modifying Android manifest. While recent Android malware detectors rely more on semantic features from Dalvik bytecode rather than manifest, existing attacking/defending methods are no longer effective. In this paper, we introduce a new highly-effective attack that generates adversarial examples of Android malware and evades being detected by the current models. To this end, we propose a method of applying optimal perturbations onto Android APK using a substitute model. Based on the transferability concept, the perturbations that successfully deceive the substitute model are likely to deceive the original models as well. We develop an automated tool to generate the adversarial examples without human intervention to apply the attacks. In contrast to existing works, the adversarial examples crafted by our method can also deceive recent machine learning based detectors that rely on semantic features such as control-flow-graph. The perturbations can also be implemented directly onto APK's Dalvik bytecode rather than Android manifest to evade from recent detectors. We evaluated the proposed manipulation methods for adversarial examples by using the same datasets that Drebin and MaMadroid (5879 malware samples) used. Our results show that, the malware detection rates decreased from 96% to 1% in MaMaDroid, and from 97% to 1% in Drebin, with just a small distortion generated by our adversarial examples manipulation method.Comment: 15 pages, 11 figure

Flow-Attention-based Spatio-Temporal Aggregation Network for 3D Mask Detection

Anti-spoofing detection has become a necessity for face recognition systems due to the security threat posed by spoofing attacks. Despite great success in traditional attacks, most deep-learning-based methods perform poorly in 3D masks, which can highly simulate real faces in appearance and structure, suffering generalizability insufficiency while focusing only on the spatial domain with single frame input. This has been mitigated by the recent introduction of a biomedical technology called rPPG (remote photoplethysmography). However, rPPG-based methods are sensitive to noisy interference and require at least one second (> 25 frames) of observation time, which induces high computational overhead. To address these challenges, we propose a novel 3D mask detection framework, called FASTEN (Flow-Attention-based Spatio-Temporal aggrEgation Network). We tailor the network for focusing more on fine-grained details in large movements, which can eliminate redundant spatio-temporal feature interference and quickly capture splicing traces of 3D masks in fewer frames. Our proposed network contains three key modules: 1) a facial optical flow network to obtain non-RGB inter-frame flow information; 2) flow attention to assign different significance to each frame; 3) spatio-temporal aggregation to aggregate high-level spatial features and temporal transition features. Through extensive experiments, FASTEN only requires five frames of input and outperforms eight competitors for both intra-dataset and cross-dataset evaluations in terms of multiple detection metrics. Moreover, FASTEN has been deployed in real-world mobile devices for practical 3D mask detection.Comment: 13 pages, 5 figures. Accepted to NeurIPS 202

Event-triggered distributed H∞ state estimation with packet dropouts through sensor networks

This study is concerned with the event-triggered distributed H∞ state estimation problem for a class of discrete-time stochastic non-linear systems with packet dropouts in a sensor network. An event-triggered communication mechanism is adopted over the sensor network with hope to reduce the communication burden and the energy consumption, where the measurements on each sensor are transmitted only when a certain triggering condition is violated. Furthermore, a novel distributed state estimator is designed where the available innovations are not only from the individual sensor, but also from its neighbouring ones according to the given topology. The purpose of the problem under consideration is to design a set of distributed state estimators such that the dynamics of estimation errors is exponentially mean-square stable and also the prespecified H∞ disturbance rejection attenuation level is guaranteed. By utilising the property of the Kronecker product and the stochastic analysis approaches, sufficient conditions are established under which the addressed state estimation problem is recast as a convex optimisation one that can be easily solved via available software packages. Finally, a simulation example is utilised to illustrate the usefulness of the proposed design scheme of event-triggered distributed state estimators.This work was supported in part by Royal Society of the UK, the National Natural Science Foundation of China under Grants 61329301, 61203139, 61473076, 61374127 and 61422301, the Shanghai Rising-Star Program of China under Grant 13QA1400100, the ShuGuang project of Shanghai Municipal Education Commission and Shanghai Education Development Foundation under Grant 13SG34, the Fundamental Research Funds for the Central Universities, DHU Distinguished Young Professor Program, and the Alexander von Humboldt Foundation of Germany

Causal Structure Learning Supervised by Large Language Model

Causal discovery from observational data is pivotal for deciphering complex relationships. Causal Structure Learning (CSL), which focuses on deriving causal Directed Acyclic Graphs (DAGs) from data, faces challenges due to vast DAG spaces and data sparsity. The integration of Large Language Models (LLMs), recognized for their causal reasoning capabilities, offers a promising direction to enhance CSL by infusing it with knowledge-based causal inferences. However, existing approaches utilizing LLMs for CSL have encountered issues, including unreliable constraints from imperfect LLM inferences and the computational intensity of full pairwise variable analyses. In response, we introduce the Iterative LLM Supervised CSL (ILS-CSL) framework. ILS-CSL innovatively integrates LLM-based causal inference with CSL in an iterative process, refining the causal DAG using feedback from LLMs. This method not only utilizes LLM resources more efficiently but also generates more robust and high-quality structural constraints compared to previous methodologies. Our comprehensive evaluation across eight real-world datasets demonstrates ILS-CSL's superior performance, setting a new standard in CSL efficacy and showcasing its potential to significantly advance the field of causal discovery. The codes are available at \url{https://github.com/tyMadara/ILS-CSL}