Publications associées à Symbian OS

On the Insecurity of Vehicles Against Protocol-Level Bluetooth Threats

Cars are some of the most security-critical consumer devices. On the one hand, owners expect rich infotainment features, including audio, hands-free calls, contact management, or navigation through their connected mobile phone. On the other hand, the infot ...

IEEE COMPUTER SOC2022

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Mathias Josef Payer

Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...

USENIX ASSOC2020

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be semantically correct, crash-free, and memory safe. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardware to ...

2018

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be, crash-free, memory safe and semantically correct [29]. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardwar ...

ASSOC COMPUTING MACHINERY2018

A practical reputation system for pervasive social chatting

Yu Chen, Yue Shen

A Mobile Ad Hoc Network (MANET) is becoming a practical platform for pervasive social networking. For example, people chat with each other via MANET for instant social activities. How to help mobile users build up trust in pervasive social chatting is beco ...

Academic Press Inc Elsevier Science2013

Investigation of the "permanent" electrochemical promotion of catalysis (P-EPOC) by electrochemical mass spectrometry (EMS) measurements

Christos Comninellis, Cyril Falgairette, Chun Xia

The phenomenon of electrochemical promotion of catalysis (EPOC) is most often fully reversible. Subsequent to long-lasting polarization, however, the new steady-state open-circuit catalytic activity after current interruption may remain significantly highe ...

Elsevier2010