Improving the Privacy-Preserving of Covid-19 Bluetooth-Based Contact Tracing Applications Against Tracking Attacks

Bluetooth is an essential wireless standard for short-distance and low-power wireless networks. Health departments’ contact-tracing applications depended on Bluetooth technology to prevent infectious diseases from spreading, especially COVID-19. The security threats of the Bluetooth-based contact-tracing applications increased because an adversary can use them as surveillance tools that violate the user’s privacy and revealpersonal information. The Bluetooth standard mainly depends on the device address in its authenticated pairing mechanism (Secure Simple Pairing), which can collect with off-the-shelf hardware and software and leads to a tracking attack. To avoid the risk of tracking based on this security vulnerability in the Bluetooth protocol, we suggest a novel authentication protocol based on a noninteractive zero-knowledge scheme to substitute the authentication protocol used in the Bluetooth standard. The new protocol can replace the authentication protocol in the Bluetooth stack without any modification in the device pairing flow. Finally, we prove the security of our proposed scheme against the man-in-themiddle attack and tracking attack. A performance comparison with the authentication algorithm in the BLE standard shows that our method mitigates the tracking attack with low communication messages. Our results help enhance the contact-tracing application’s security in which Bluetooth access is available.

6DYN : 6TiSCH with Heterogeneous Slot Durations

New radio chips implement different physical layers, allowing firmware to change modulation, datarate and frequency dynamically. This technological development is an opportunity for industrial low-power wireless networks to offer even higher determinism, including latency predictability. This article introduces 6DYN, an extension to the IETF 6TiSCH standards-based protocol stack. In a 6DYN network, nodes switch physical layer dynamically on a link-by-link basis, in order to exploit the diversity offered by this new technology agility. To offer low latency and high network capacity, 6DYN uses heterogeneous slot durations: the length of a slot in the 6TiSCH schedule depends on the physical layer used. This article shows how reserved bits in 6TiSCH headers can be used to standardize 6DYN and details its implementation in OpenWSN, a reference implementation of 6TiSCH.

CoHop

Cross-Technology Interference (CTI) badly harms the transmission reliability for low-power networks such as ZigBee at 2.4-GHz band. Though promising, channel hopping still faces challenges because the increasingly dense deployment of CTI leaves very few available channels. Selecting a good channel with the least overhead is crucial but challenging. Most of the existing works are heuristic methods that choose a channel far from the current one to avoid adjacent channels that may be correlatively interfered by CTI with a wider bandwidth such as WiFi. However, we observe that the correlated channels influenced by the same CTI source do not necessarily have the same channel qualities and even the opposite state, due to the uneven spectrum power density of CTI. Such channel opportunities are unexplored and wasted. In this article, we propose CoHop, a quantitative correlation-based channel hopping method for low-power wireless networks. We establish a quantitative model that describes the correlation of channel qualities to capture channel opportunities and calculate channel quality without probing, to reduce probing overhead. The probing sequence is optimized based on the Pearson Correlation Coefficient and the prediction-based probing algorithm. We implement CoHop on TinyOS and evaluate its performance in various environments. The experimental results show that CoHop can increase the Packet Reception Ratio by 80%, compared with existing methods.

On-Demand Scheduling of Command and Responses for Low-Power Multihop Wireless Networks

Many IoT applications require a mechanism to disseminate commands and collect responses over a wireless network in order to control and collect data from multiple embedded devices. However, severe collisions may occur if a large number of nodes attempt to respond simultaneously and promptly, not only among the responses, but also with the dissemination of commands. This is because low-power wireless network protocols for dissemination and collection have been designed separately. Tuning the parameters of one side of the protocol has clear trade-off between reliability and latency. To address this challenge, we propose SCoRe, an on-demand scheme for joint scheduling of command and responses on multihop low-power wireless networks to improve both reliability and latency simultaneously at runtime. SCoRe gathers the amount of time required by network nodes for dissemination and collection, and allocates relative timeslots to each node recursively over multihop on-demand when (and only when) disseminating a command. While doing so, information exchange occurs only between local neighbor nodes without a need for global routing table nor time synchronization. We implement SCoRe on a low-power embedded platform, and compare with well-known dissemination and collection schemes through both simulations and testbed experiments on 30 devices. Our evaluation results show that SCoRe can improve both latency and reliability without tuning the parameters for one metric, while the legacy schemes require careful parameter selection to match only one side of SCoRe, never both.

Improving Link Reliability of IEEE 802.15.4g SUN with Re-Transmission Shaping

Packet re-transmissions are a common technique to improve link reliability in low-power wireless networks. However, since packet re-transmissions increase the end-device energy consumption and the network load, a maximum number of re-transmissions per packet is typically set, also considering the duty-cycle limitations imposed by radio-frequency regulations. Moreover, the number of re-transmissions per packet is typically set to a constant value, meaning that all packet re-transmissions are treated the same regardless of actual channel conditions (i.e., multi-path propagation or internal/external interference effects). Taking that into account, in this paper we propose and evaluate the concept of re-transmission shaping, a mechanism that manages packet re-transmissions to maximize link reliability, while minimizing energy consumption and meeting radio-frequency regulation constraints. The proposed re-transmission shaping mechanism operates by keeping track of unused packet re-transmissions and allocating additional retransmission when the instantaneous link quality decreases due to channel impairments. To evaluate the re-transmission shaping mechanism we use trace-based simulations using a IEEE 802.15.4g SUN data-set and two widely used metrics, the PDR (Packet Delivery Ratio) and the RNP (Required Number of Packets). The obtained results show that re-transmission shaping is a useful mechanism to improve link reliability of low-power wireless communications, as it can increase PDR from 77.9% to 99.2% while sustaining a RNP of 2.35 re-transmissions per packet, when compared to using a single re-transmission per packet.

TSCH-Sim: Scaling Up Simulations of TSCH and 6TiSCH Networks

TSCH (Time-Slotted Channel Hopping) and 6TiSCH (IPv6 over the TSCH mode of IEEE 802.15.4e) low-power wireless networks are becoming prominent in the industrial Internet of Things (IoT) and other areas where high reliability is needed in conjunction with energy efficiency. Due to the complexity of IoT deployments, network simulations are typically used for pre-deployment design and validation. However, it is currently difficult and time-consuming to simulate large-scale IoT networks with thousands of nodes. This paper proposes TSCH-Sim: a new discrete event simulator for IEEE 802.15.4-2015 TSCH and 6TiSCH networks. The evaluation shows that simulation results obtained with TSCH-Sim show a good match with results from other simulators that are commonly used to investigate TSCH networks. At the same time, TSCH-Sim is faster than these alternatives at least by an order of magnitude, making it more practical to carry out simulations of large networks.