English
Related papers

Related papers: Attack tree metrics are operad algebras

200 papers

We study an abstract notion of tree structure which lies at the common core of various tree-like discrete structures commonly used in combinatorics: trees in graphs, order trees, nested subsets of a set, tree-decompositions of graphs and…

Combinatorics · Mathematics 2017-02-28 Reinhard Diestel

Multitarget tracking (MTT) is a challenging task that aims at estimating the number of targets and their states from measurements of the target states provided by one or multiple sensors. Additional information, such as imperfect estimates…

Signal Processing · Electrical Eng. & Systems 2020-12-02 Domenico Gaglione , Giovanni Soldi , Paolo Braca , Giovanni De Magistris , Florian Meyer , Franz Hlawatsch

Trees -- i.e., the type of data structure known under this name -- are central to many aspects of knowledge organization. We investigate some central design choices concerning the ontological modeling of such trees. In particular, we…

Artificial Intelligence · Computer Science 2017-10-17 David Carral , Pascal Hitzler , Hilmar Lapp , Sebastian Rudolph

Neural Machine Translation (NMT) models have been shown to be vulnerable to adversarial attacks, wherein carefully crafted perturbations of the input can mislead the target model. In this paper, we introduce ACT, a novel adversarial attack…

Computation and Language · Computer Science 2024-02-23 Sahar Sadrizadeh , Ljiljana Dolamic , Pascal Frossard

Machine learning (ML) and artificial intelligence (AI) techniques have now become commonplace in software products and services. When threat modelling a system, it is therefore important that we consider threats unique to ML and AI…

Cryptography and Security · Computer Science 2024-01-17 Vimal Kumar , Juliette Mayo , Khadija Bahiss

Advanced persistent threat (APT) is widely acknowledged to be the most sophisticated and potent class of security threat. APT refers to knowledgeable human attackers that are organized, highly sophisticated and motivated to achieve their…

Cryptography and Security · Computer Science 2021-03-30 Atif Ahmad , Jeb Webb , Kevin C. Desouza , James Boorman

Adversarial defenses are naturally evaluated on their ability to tolerate adversarial attacks. To test defenses, diverse adversarial attacks are crafted, that are usually described in terms of their evading capability and the L0, L1, L2,…

Machine Learning · Computer Science 2023-01-31 Tommaso Puccetti , Tommaso Zoppi , Andrea Ceccarelli

Software applications are subject to an increasing number of attacks, resulting in data breaches and financial damage. Many solutions have been considered to help mitigate these attacks, such as the integration of attack-awareness…

Cryptography and Security · Computer Science 2020-07-20 Tolga Ünlü , Lynsay A. Shepherd , Natalie Coull , Colin McLean

Decision trees are simple, yet powerful, classification models used to classify categorical and numerical data, and, despite their simplicity, they are commonly used in operations research and management, as well as in knowledge mining.…

Logic in Computer Science · Computer Science 2020-03-13 Andrea Brunello , Guido Sciavicco , Ionel Eduard Stan

Regulation, legal liabilities, and societal concerns challenge the adoption of AI in safety and security-critical applications. One of the key concerns is that adversaries can cause harm by manipulating model predictions without being…

Machine Learning · Computer Science 2023-01-31 Jona Klemenc , Holger Trittenbach

Early detection of network intrusions and cyber threats is one of the main pillars of cybersecurity. One of the most effective approaches for this purpose is to analyze network traffic with the help of artificial intelligence algorithms,…

Cryptography and Security · Computer Science 2024-02-13 Giacomo Zonneveld , Lorenzo Principi , Marco Baldi

Threshold Autoregressive (TAR) models have been widely used by statisticians for non-linear time series forecasting during the past few decades, due to their simplicity and mathematical properties. On the other hand, in the forecasting…

Machine Learning · Computer Science 2022-11-17 Rakshitha Godahewa , Geoffrey I. Webb , Daniel Schmidt , Christoph Bergmeir

In this article, we propose the Artificial Intelligence Security Taxonomy to systematize the knowledge of threats, vulnerabilities, and security controls of machine-learning-based (ML-based) systems. We first classify the damage caused by…

Cryptography and Security · Computer Science 2023-01-20 Yusuke Kawamoto , Kazumasa Miyake , Koichi Konishi , Yutaka Oiwa

Machine learning (ML) models have significantly grown in complexity and utility, driving advances across multiple domains. However, substantial computational resources and specialized expertise have historically restricted their wide…

Cryptography and Security · Computer Science 2025-08-28 Kaixiang Zhao , Lincan Li , Kaize Ding , Neil Zhenqiang Gong , Yue Zhao , Yushun Dong

Recent adversarial attack developments have made reinforcement learning more vulnerable, and different approaches exist to deploy attacks against it, where the key is how to choose the right timing of the attack. Some work tries to design…

Machine Learning · Computer Science 2022-05-03 Yang Li , Quan Pan , Erik Cambria

In the present day we use machine learning for sensitive tasks that require models to be both understandable and robust. Although traditional models such as decision trees are understandable, they suffer from adversarial attacks. When a…

Machine Learning · Computer Science 2020-12-21 Daniël Vos , Sicco Verwer

APT, known as Advanced Persistent Threat, is a difficult challenge for cyber defence. These threats make many traditional defences ineffective as the vulnerabilities exploited by these threats are insiders who have access to and are within…

Cryptography and Security · Computer Science 2021-09-01 Mohammad Mamun , Kevin Shi

This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET) with the Enriched Lawvere Theories. We extend QETs to Metric…

Logic in Computer Science · Computer Science 2025-09-18 Radu Mardare , Neil Ghani , Eigil Rischel

In this work, we are dedicated to multi-target active object tracking (AOT), where there are multiple targets as well as multiple cameras in the environment. The goal is maximize the overall target coverage of all cameras. Previous work…

Computer Vision and Pattern Recognition · Computer Science 2022-05-10 Zheng Chen , Jian Zhao , Mingyu Yang , Wengang Zhou , Houqiang Li

We propose a tree-based algorithm for classification and regression problems in the context of functional data analysis, which allows to leverage representation learning and multiple splitting rules at the node level, reducing…

Machine Learning · Statistics 2020-11-03 Edoardo Belli , Simone Vantini