Publications related to Towards Provable Secure Neighbor Discovery in Wireless Networks

Related publications (30)

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

Breaking Blockchain Rationality with Out-of-Band Collusion

Bryan Alexander Ford, Verónica del Carmen Estrada Galiñanes, Louis-Henri Manuel Jakob Merino, Haoqian Zhang

Blockchain systems often rely on rationality assumptions for their security, expecting that nodes are motivated to maximize their profits. These systems thus design their protocols to incentivize nodes to execute the honest protocol but fail to consider ou ...

Springer International Publishing Ag2024

A modular multiple frequency inductive link to wirelessly power multiple miniaturized implants

Sandro Carrara, Diego Ghezzi, Gian Luca Barbruni

A modular multiple frequency coils inductive link system to wirelessly provide power for at least a medical implant at an output of a receiving coil, whereby the receiving coil is configured to be implanted in an organism. The modular multiple frequency co ...

2024

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

Electromagnetic Radiation of Implantable Antennas

Mingxiang Gao

In the development of implantable bioelectronics, the establishment of efficient wireless RF links between implants and external nodes is crucial, providing substantial contributions to the advancement of medical diagnosis, therapies, and basic science. Im ...

EPFL2024

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

To Infinity, and Beyond (Coverage)

Ahmad Hazimeh

The pursuit of software security and reliability hinges on the identification and elimination of software vulnerabilities, a challenge compounded by the vast and evolving complexity of modern systems. Fuzzing has emerged as an indispensable technique for b ...

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

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

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

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

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

Time-Resolved Hanbury Brown-Twiss Interferometry of On-Chip Biphoton Frequency Combs Using Vernier Phase Modulation

Tobias Kippenberg, Junqiu Liu

Biphoton frequency combs (BFCs) are promising quantum sources for large-scale and high-dimensional quantum information and networking systems. In this context, the spectral purity of individual frequency bins will be critical for realizing quantum networki ...

American Physical Society (APS)2023

Toward Metantennas: Metamaterial-Based Antennas for Wireless Communications

Yuanyan Su

Antennas have historically been the most common electromagnetic (EM) technology for wireless communication systems. Antenna as hardware is entirely dependent on the EM properties of the materials used, mostly related to the permittivity and permeability. I ...

Ieee-Inst Electrical Electronics Engineers Inc2023

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

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

Analytic Approximation of In-Body Path Loss for Implanted Antennas

Anja Skrivervik, Mingxiang Gao

Implantable bioelectronic devices predominantly use wireless links for communication and/or power transfer. When considering transmitting implanted antennas, electromagnetic radiation through biological media is highly attenuated, and previous work has sho ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

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

Frontiers in the Application of RF Vacuum Electronics

Timothy Goodman

The application of radio frequency (RF) vacuum electronics for the betterment of the human condition began soon after the invention of the first vacuum tubes in the 1920s and has not stopped since. Today, microwave vacuum devices are powering important app ...

2023