English
Related papers

Related papers: Segment-Based Formal Verification of WiFi Fragment…

200 papers

Despite Wi-Fi is at the eve of its seventh generation, security concerns regarding this omnipresent technology remain in the spotlight of the research community. This work introduces two new denial of service attacks against contemporary…

Cryptography and Security · Computer Science 2023-05-24 Efstratios Chatzoglou , Vyron Kampourakis , Georgios Kambourakis

This paper focuses on the creation of a new, publicly available Wi-Fi probe request dataset. Probe requests belong to the family of management frames used by the 802.11 (Wi-Fi) protocol. As the situation changes year by year, and technology…

Networking and Internet Architecture · Computer Science 2023-12-11 Tomáš Bravenec , Joaquín Torres-Sospedra , Michael Gould , Tomas Fryza

Static Random Access Memory (SRAM) Physically Unclonable Functions (PUFs) make use of intrinsic manufacturing variations in memory cells to derive device-unique responses. Employing such hardware-rooted fingerprints for authentication, this…

Cryptography and Security · Computer Science 2026-04-20 Florian Lehn , Pascal Ahr , Hans D. Schotten

Transmit beamforming is one of the key techniques used in the existing IEEE 802.11 WiFi standards and future generations such as 11be and 11bn, a.k.a., ultra high reliability (UHR). The paper gives an overview of the current standardization…

Signal Processing · Electrical Eng. & Systems 2025-03-04 Ziming He

Physical layer security has been recently recognized as a promising new design paradigm to provide security in wireless networks. In addition to the existing conventional cryptographic methods, physical layer security exploits the dynamics…

We consider single-hop topologies with saturated transmitting nodes, using IEEE~802.11 DCF for medium access. However, unlike the conventional WiFi, we study systems where one or more of the protocol parameters are different from the…

Networking and Internet Architecture · Computer Science 2016-07-26 Abhijit Bhattacharya , Anurag Kumar

Wireless sensor networks (WSNs) have recently attracted a lot of interest in the research community due their wide range of applications. Unfortunately, these networks are vulnerable to numerous security threats that can adversely affect…

Cryptography and Security · Computer Science 2012-09-09 Jaydip Sen , Sripad Krishna

The paper examines quantitative assessment of wireless distribution system security, as well as an assessment of risks from attacks and security violations. Furthermore, it describes typical security breach and formal attack models and five…

Cryptography and Security · Computer Science 2019-06-27 Volodymyr Buriachok , Volodymyr Sokolov , Pavlo Skladannyi

Wireless sensor networks (WSNs) have recently attracted a lot of interest in the research community due their wide range of applications. Unfortunately, these networks are vulnerable to numerous security threats that can adversely affect…

Cryptography and Security · Computer Science 2021-09-07 Jaydip Sen

With the rapid deployment of Internet of Things (IoT) devices in applications such as smarthomes, healthcare and industrial automation, security and privacy has become a major concern. Recently, National Institute of Standards and…

Cryptography and Security · Computer Science 2021-10-04 Yunjie Yi , Guang Gong , Kalikinkar Mandal

Recent experimental studies confirm the prevalence of the widely known performance anomaly problem in current Wi-Fi networks, and report on the severe network utility degradation caused by this phenomenon. Although a large body of work…

Networking and Internet Architecture · Computer Science 2015-05-20 Paul Patras , Andres Garcia-Saavedra , David Malone , Douglas J. Leith

Today's societies are enveloped in an ever-growing telecommunication infrastructure. This infrastructure offers important opportunities for sensing and recording a multitude of human behaviors. Human mobility patterns are a prominent…

Computers and Society · Computer Science 2016-10-18 Piotr Sapiezynski , Arkadiusz Stopczynski , David Kofoed Wind , Jure Leskovec , Sune Lehmann

WiFi-based home monitoring has emerged as a compelling alternative to traditional camera- and sensor-based solutions, offering wide coverage with minimal intrusion by leveraging existing wireless infrastructure. This paper presents key…

Signal Processing · Electrical Eng. & Systems 2025-06-06 Guozhen Zhu , Yuqian Hu , Chenshu Wu , Wei-Hsiang Wang , Beibei Wang , K. J. Ray Liu

Wi-Fi (802.11) networks have become an essential part of our daily lives; hence, their security is of utmost importance. However, Wi-Fi Protected Access 3 (WPA3), the latest security certification for 802.11 standards, has recently been…

Cryptography and Security · Computer Science 2021-10-11 Neil Dalal , Nadeem Akhtar , Anubhav Gupta , Nikhil Karamchandani , Gaurav S. Kasbekar , Jatin Parekh

Formal verification is crucial for ensuring the robustness of security protocols against adversarial attacks. The Needham-Schroeder protocol, a foundational authentication mechanism, has been extensively studied, including its integration…

Cryptography and Security · Computer Science 2025-08-29 Kangfeng Ye , Roberto Metere , Jim Woodcock , Poonam Yadav

Website Fingerprinting (WF) attacks exploit patterns in encrypted traffic to infer the websites visited by users, posing a serious threat to anonymous communication systems. Although recent WF techniques achieve over 90% accuracy in…

Cryptography and Security · Computer Science 2025-10-17 Xinhao Deng , Jingyou Chen , Linxiao Yu , Yixiang Zhang , Zhongyi Gu , Changhao Qiu , Xiyuan Zhao , Ke Xu , Qi Li

Wireless covert channels promise to exfiltrate information with high bandwidth by circumventing traditional access control mechanisms. Ideally, they are only accessible by the intended recipient and---for regular system…

Networking and Internet Architecture · Computer Science 2015-05-06 Jiska Classen , Matthias Schulz , Matthias Hollick

Telephony Denial of Service (TDoS) attacks target telephony services, such as Voice over IP (VoIP), not allowing legitimate users to make calls. There are few defenses that attempt to mitigate TDoS attacks, most of them using IP filtering,…

Networking and Internet Architecture · Computer Science 2017-09-14 Marcilio O. O. Lemos , Yuri Gil Dantas , Iguatemi E. Fonseca , Vivek Nigam

The number of active users of Wi-Fi Direct Device-to-Device file sharing applications on Android has exceeded 1.8 billion. Wi-Fi Direct, also known as Wi-Fi P2P, is commonly used for peer-to-peer, high-speed file transfer between mobile…

Cryptography and Security · Computer Science 2020-04-28 Andrei Bytes , Jay Prakash , Jianying Zhou , Tony Q. S. Quek

Nowadays, a majority of System-on-Chips (SoCs) make use of Intellectual Property (IP) in order to shorten development cycles. When such IPs are developed, one of the main focuses lies in the high configurability of the design. This…

Software Engineering · Computer Science 2024-05-06 Aman Kumar , Sebastian Simon