Publications associées à Formal Analysis of Secure Neighbor Discovery in Wireless Networks

Publications associées (31)

Integrated Wireless Power, Data Communication, and Thermal Sensing System for Autonomous Multisite Brain Implants

Implanted medical devices (IMDs) have been widely developed to support the monitoring and recording of biological data inside the body or brain. Wirelessly powered IMDs, a subset of implantable electronics, have been proposed to eliminate the limitations r ...

EPFL2024

On the Theory and Practice of Modern Secure Messaging

Daniel Patrick Collins

Billions of people now have conversations daily over the Internet. A large portion of this communication takes place via secure messaging protocols that offer "end-to-end encryption'" guarantees and resilience to compromise like the widely-used Double Ratc ...

EPFL2024

Federated learning with uncertainty-based client clustering for fleet-wide fault diagnosis

Olga Fink, Hao Lu

Operators from various industries have been pushing the adoption of wireless sensing nodes for industrial monitoring, and such efforts have produced sizeable condition monitoring datasets that can be used to build diagnosis algorithms capable of warning ma ...

2024

Automated Formal Verification of Software Network Functions

Solal Vincenzo Pirelli

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

WINC: A Wireless IoT Network for Multi-Noise Source Cancellation

Haitham Al Hassanieh, Junfeng Guan

This paper introduces Wireless IoT-based Noise Cancellation (WINC) which defines a framework for leveraging a wireless network of IoT microphones to enhance active noise cancellation in noise-canceling headphones. The IoT microphones forward ambient noise ...

Assoc Computing Machinery2023

Self-powered transformer intelligent wireless temperature monitoring system based on an ultra-low acceleration piezoelectric vibration energy harvester

Xin Chen

The wireless sensor nodes used for monitoring the condition of grid equipment always be powered by disposable batteries. However, it introduces disadvantages, such as inconvenient replacement, short lifespan, and envi-ronmental pollution, significantly imp ...

Elsevier2023

A review of the security vulnerabilities and countermeasures in the Internet of Things solutions: A bright future for the Blockchain

Jan Van Herle, Hossein Pourrahmani

The current advances in the Internet of Things (IoT) and the solutions being offered by this technology have accounted IoT among the top ten technologies that will transform the global economy by 2030. IoT is a state-of-the-art paradigm that has developed ...

2023

REMOTE: Re-thinking Task Mapping on Wireless 2.5D Systems-on-Package for Hotspot Removal

David Atienza Alonso, Giovanni Ansaloni, Marina Zapater Sancho, Darong Huang, Rafael Medina Morillas

2.5D Systems-on-Package (SoPs) are composed by several chiplets placed on an interposer. They are becoming increasingly popular as they enable easy integration of electronic components in the same package and high fabrication yields. Nevertheless, they int ...

2023

Radiation Patterns of RF Wireless Devices Implanted in Small Animals: Unexpected Deformations Due to Body Resonance

Anja Skrivervik, Stéphanie Lacour, Mingxiang Gao, German Augusto Ramirez Arroyave, Kangling Wu, James Daniel Rosenthal

One challenge in designing RF wireless bioelectronic devices is the impact of the interaction between electromagnetic waves and host body tissues on far-field wireless performance. In this paper, we investigate a peculiar phenomenon of implantable RF wirel ...

2023

Anonymous Tokens with Stronger Metadata Bit Hiding from Algebraic MACs

Serge Vaudenay, Fatma Betül Durak

On the one hand, the web needs to be secured from malicious activities such as bots or DoS attacks; on the other hand, such needs ideally should not justify services tracking people's activities on the web. Anonymous tokens provide a nice tradeoff between ...

2023

Radiation Performance of Antennas Implanted in Small Animals for Neuroengineering

Anja Skrivervik, Stéphanie Lacour, Mingxiang Gao, Kangling Wu, James Daniel Rosenthal

Wireless data communication could improve the performance and reliability of biomedical implants used in fundamental neuroscience research by removing infection-prone transcutaneous cabling. The small size of common research animals like mice and rodents, ...

IEEE2023

Tumescense monitoring system for diagnosing erectile dysfunction and methods of use

Nikolaos Stergiopoulos, Rodrigo Araujo Fraga Da Silva

Systems and methods for monitoring penile tumescence are provided that overcome the drawbacks of previously known systems by providing a wearable formed of a flexible and elastic tube having a plurality of sensors disposed on or embedded within it, the wea ...

2023

Strategies, Techniques and Systems for powering low-maintenance and battery-free devices through Energy Harvesting and Wireless Power Transfer

Roberto La Rosa

The purpose of this research has a background in the market for Internet of Things (IoT)devices and wireless sensor networks. The Market Forecast predicts the connection of a trillion"things" by 2025. The global smart sensor market size trend grows from US ...

EPFL2022

Theoretical Efficiency and Dosimetry of Buffered On-body Transmitter Antennas for Wireless Powering of In-body Devices

Anja Skrivervik, Denys Nikolayev

The viable and safe application of wireless power transfer for powering bioelectronic implants requires understanding the wave propagation in heterogeneous and dispersive media, the electromagnetic exposure assessment, and the optimum design of the system ...

IEEE2022

Vision-based Flocking in Aerial Robot Swarms

Fabian Maximilian Schilling

Aerial robot swarms have the potential to perform time-critical and dangerous tasks such as disaster response without compromising human safety. However, their reliance on external infrastructure such as global positioning for localization and wireless net ...

EPFL2022

Moby: A Blackout-Resistant Anonymity Network for Mobile Devices

Bryan Alexander Ford, Antoine Rault

Internet blackouts are challenging environments for anonymity and censorship resistance. Existing popular anonymity networks (e.g., Freenet, I2P, Tor) rely on Internet connectivity to function, making them impracticable during such blackouts. In such a set ...

2022

PROFACTORY: Improving IoT Security via Formalized Protocol Customization

Mathias Josef Payer

As IoT applications gain widespread adoption, it becomes important to design and implement IoT protocols with security. Existing research in protocol security reveals that the majority of disclosed protocol vulnerabilities are caused by incorrectly impleme ...

USENIX ASSOC2022

Secret Key Generation Using Short Blocklength Polar Coding Over Wireless Channels

Yanina Yurina Shkel

This paper investigates the problem of secret key generation from correlated Gaussian random variables in the short blocklength regime. Short blocklengths are commonly employed in massively connected IoT sensor networks in 5G and beyond wireless systems. P ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Wireless Powering Efficiency of Deep-Body Implantable Devices

Anja Skrivervik, Mingxiang Gao, Denys Nikolayev

The wireless power transfer (WPT) efficiency to implanted bioelectronic devices is constrained by several frequency-dependent physical mechanisms. Recent works have developed several mathematical formulations to understand these mechanisms and predict the ...

Institute of Electrical and Electronics Engineers2022

Subthreshold VO2 vertical switches for large-bandwidth millimeter-wave and sub-terahertz detection

Mihai Adrian Ionescu, Fatemeh Qaderi Rahaqi, Ali Gilani, Daesung Park

n-linear impedance characteristics of VO2 offer solutions to highly sensitive radio-frequency (RF), millimeterwave (mm-wave), and terahertz (THz) detectors. We demonstrate high-speed broadband sensibility of miniaturized VO2 switches by utilizing the nonli ...

IEEE2022