Publications related to Binary blob

Automated Verification of Network Function Binaries

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

Teaching under lockdown: the change in the social practice of teaching

Patrick Jermann, Roland John Tormey, Helena Kovacs

Due to the unprecedented situation caused by a global pandemic, the traditional way of teaching that is reliant on face-to-face interaction between teachers and students has been dismantled. This article looks into university teachers’ experiences of teach ...

Springer2022

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

Method of real-time regulation compliance for wireless transmitters

Pierre-André Farine, Alexis Boegli, Mitko Tanevski

All wireless devices must comply with the local radio regulations which are set by international and national regulatory bodies such as the European Telecommunication Standardization Institute (ETSI) for Europe and the Federal Commission for Communication ...

2015

Three-dimensional simulations of blob dynamics in a simple magnetized torus

Paolo Ricci, Joaquim Loizu Cisquella, Sébastien Jolliet, Federico David Halpern, Annamaria Mosetto, Annalisa Cardellini

The propagation of blobs, structures of localized enhanced plasma pressure, is studied in global three-dimensional simulations of a simple magnetized torus. In particular, we carry out single-seeded blob simulations to explore the dependence of the blob ve ...

Amer Inst Physics2014

System and method for in-vivo multi-path analysis of binary software

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

A system and method for in-vivo multi-path analysis and testing of binary software including binary device drivers is disclosed. The system and method may be used to test a binary software system and may comprise a virtual machine, a symbolic execution eng ...

2012

The S2E Platform: Design, Implementation, and Applications

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This article presents S2E, a platform for analyzing the properties and behavior of software systems, along with its use in developing tools for comprehensive performance profiling, reverse engineering of proprietary software, and automated testing of kerne ...

2012

Firmware for ensuring realtime radio regulations compliance in WSN

Pierre-André Farine, Alexis Boegli, Mitko Tanevski

All wireless devices must comply with the local radio regulations which are set by international and national regulatory bodies such as the European Telecommunication Standardization Institute (ETSI) for Europe and the Federal Commission for Communication ...

IEEE Computer Society2012

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

George Candea, Vitaly Chipounov, Volodymyr Kuznetsov

This paper presents S2E, a platform for analyzing the properties and behavior of software systems. We demonstrate S2E's use in developing practical tools for comprehensive performance profiling, reverse engineering of proprietary software, and bug finding ...

2011

Reverse Engineering of Binary Device Drivers with RevNIC

George Candea, Vitaly Chipounov

This paper presents a technique that helps automate the reverse engineering of device drivers. It takes a closed-source binary driver, automatically reverse engineers the driver’s logic, and synthesizes new device driver code that implements the exact same ...

2010

Binary blob

Automated Verification of Network Function Binaries

Teaching under lockdown: the change in the social practice of teaching

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Method of real-time regulation compliance for wireless transmitters

Three-dimensional simulations of blob dynamics in a simple magnetized torus

System and method for in-vivo multi-path analysis of binary software

The S2E Platform: Design, Implementation, and Applications

Firmware for ensuring realtime radio regulations compliance in WSN

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

Reverse Engineering of Binary Device Drivers with RevNIC

Graph Chatbot

Chat with Graph Search

System and method for in-vivo multi-path analysis of binary software

Method of real-time regulation compliance for wireless transmitters

Firmware for ensuring realtime radio regulations compliance in WSN

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Three-dimensional simulations of blob dynamics in a simple magnetized torus

Reverse Engineering of Binary Device Drivers with RevNIC

S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems

Teaching under lockdown: the change in the social practice of teaching

Automated Verification of Network Function Binaries

The S2E Platform: Design, Implementation, and Applications