Publications associées à Binary blob

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

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

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

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 ...

American Institute of Physics (AIP)2014

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

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

TwinDrivers: Semi-Automatic Derivation of Fast and Safe Hypervisor Network Drivers from Guest OS Drivers

Willy Zwaenepoel, Aravind Menon, Simon Schubert

In a virtualized environment, device drivers are often run inside a virtual machine (VM) rather than in the hypervisor. Doing so protects the hypervisor from bugs in the driver, and also allows the reuse of the device driver and its support infrastructure ...

ACM2009

Reverse-Engineering Drivers for Safety and Portability

George Candea, Vitaly Chipounov

Device drivers today lack two important properties: guaranteed safety and cross-platform portability. We present an approach to incrementally achieving these properties in drivers, without requiring any changes in the drivers or operating system kernels. W ...

2008

Synchronous versus asynchronous modeling of gene regulatory networks

Giovanni De Micheli, Abhishek Garg, Ioannis Xenarios

In silico modeling of gene regulatory networks has gained some momentum recently due to increased interest in analyzing the dynamics of biological systems. This has been further facilitated by the increasing availability of experimental data on gene–gene, ...

2008