English
Related papers

Related papers: Tracing the Man in the Middle in Monoidal Categori…

200 papers

The main result of this paper is the construction of a trace and a trace pairing for endomorphisms satisfying suitable conditions in a monoidal category. This construction is a common generalization of the trace for endomorphisms of…

Category Theory · Mathematics 2011-05-05 Stephan Stolz , Peter Teichner

This paper presents a survey of man-in-the-middle (MIM) attacks in communication networks and methods of protection against them. In real time communication, the attack can in many situations be discovered by the use of timing information.…

Cryptography and Security · Computer Science 2015-04-10 Subodh Gangan

Man-in-The-Middle (MiTM) attacks present numerous threats to a smart grid. In a MiTM attack, an intruder embeds itself within a conversation between two devices to either eavesdrop or impersonate one of the devices, making it appear to be a…

Cryptography and Security · Computer Science 2022-03-14 Patrick Wlazlo , Abhijeet Sahu , Zeyu Mao , Hao Huang , Ana Goulart , Katherine Davis , Saman Zonouz

Notions of guardedness serve to delineate the admissibility of cycles, e.g. in recursion, corecursion, iteration, or tracing. We introduce an abstract notion of guardedness structure on a symmetric monoidal category, along with a…

Logic in Computer Science · Computer Science 2018-02-27 Sergey Goncharov , Lutz Schröder

Middleboxes in a computer network system inspect and analyse network traffic to detect malicious communications, monitor system performance and provide operational services. However, encrypted traffic hinders the ability of middleboxes to…

Cryptography and Security · Computer Science 2021-01-13 Geong Sen Poh , Dinil Mon Divakaran , Hoon Wei Lim , Jianting Ning , Achintya Desai

The mining of graphs in terms of their local substructure is a well-established methodology to analyze networks. It was hypothesized that motifs - subgraph patterns which appear significantly more often than expected at random - play a key…

Social and Information Networks · Computer Science 2015-01-16 Marco Winkler , Joerg Reichardt

Cyberattacks targeting critical infrastructures, such as water treatment facilities, represent significant threats to public health, safety, and the environment. This paper introduces a systematic approach for modeling and assessing covert…

Cryptography and Security · Computer Science 2025-11-07 Victor Mattos , João Henrique Schmidt , Amit Bhaya , Alan Oliveira de Sá , Daniel Sadoc Menasché , Gaurav Srivastava

Machine Learning (ML) can be incredibly valuable to automate anomaly detection and cyber-attack classification, improving the way that Network Intrusion Detection (NID) is performed. However, despite the benefits of ML models, they are…

Cryptography and Security · Computer Science 2024-02-27 João Vitorino , Isabel Praça , Eva Maia

Man in the middle attacks are a significant threat to modern e-commerce and online communications, even when such transactions are protected by TLS. We intend to show that it is possible to detect man-in-the-middle attacks on SSL and TLS by…

Cryptography and Security · Computer Science 2013-08-19 Kevin Benton , Ty Bross

Networks can be combined in various ways, such as overlaying one on top of another or setting two side by side. We introduce "network models" to encode these ways of combining networks. Different network models describe different kinds of…

Category Theory · Mathematics 2020-07-22 John C. Baez , John Foley , Joe Moeller , Blake S. Pollard

Identifying and explaining the structure of complex networks at different scales has become an important problem across disciplines. At the mesoscale, modular architecture has attracted most of the attention. At the macroscale, other…

Physics and Society · Physics 2018-11-09 María J. Palazzi , Javier Borge-Holthoefer , Claudio Tessone , Albert Solé-Ribalta

In many interesting cases, the application of machine learning is hindered by data having a complicated structure stimulated by a structured file-formats like JSONs, XMLs, or ProtoBuffers, which is non-trivial to convert to a vector /…

Cryptography and Security · Computer Science 2020-02-12 Tomas Pevny , Marek Dedic

-Multipath communications at the Internet scale have been a myth for a long time, with no actual protocol being deployed so that multiple paths could be taken by a same connection on the way towards an Internet destination. Recently, the…

Networking and Internet Architecture · Computer Science 2017-04-25 Ho-Dac-Duy Nguyen , Chi-Dung Phung , Stefano Secci , Benevid Felix , Michele Nogueira

The purpose of this expository note is to describe duality and trace in a symmetric monoidal category, along with important properties (including naturality and functoriality), and to give as many examples as possible. Among other things,…

Category Theory · Mathematics 2013-10-25 Kate Ponto , Michael Shulman

We present a new model of computation, described in terms of monoidal categories. It conforms the Church-Turing Thesis, and captures the same computable functions as the standard models. It provides a succinct categorical interface to most…

Logic in Computer Science · Computer Science 2015-03-20 Dusko Pavlovic

Intermediate-scale (or `meso-scale') structures in networks have received considerable attention, as the algorithmic detection of such structures makes it possible to discover network features that are not apparent either at the local scale…

Social and Information Networks · Computer Science 2013-04-04 M. Puck Rombach , Mason A. Porter , James H. Fowler , Peter J. Mucha

Transactional network data can be thought of as a list of one-to-many communications(e.g., email) between nodes in a social network. Most social network models convert this type of data into binary relations between pairs of nodes. We…

Machine Learning · Statistics 2010-10-08 Mahdi Shafiei , Hugh Chipman

Machine learning (ML) started to become widely deployed in cyber security settings for shortening the detection cycle of cyber attacks. To date, most ML-based systems are either proprietary or make specific choices of feature…

Cryptography and Security · Computer Science 2019-07-11 Talha Ongun , Timothy Sakharaov , Simona Boboila , Alina Oprea , Tina Eliassi-Rad

Community structure is one of the key properties of complex networks and plays a crucial role in their topology and function. While an impressive amount of work has been done on the issue of community detection, very little attention has…

Physics and Society · Physics 2010-09-17 Andrea Lancichinetti , Mikko Kivela , Jari Saramaki , Santo Fortunato

This document describes a dataset with diverse types of Denial of Service (DoS) attacks and Man-in-the-Middle (MiTM) attacks. The data is available at the following DOI 10.21227/mewp-g646. This document describes the data collection process…

Cryptography and Security · Computer Science 2021-03-19 Bruno Sousa , Tiago Cruz , Miguel Arieiro , Vasco Pereira
‹ Prev 1 2 3 10 Next ›