Publications associées à 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

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

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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

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

Chattez avec Graph Search

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

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

The S2E Platform: Design, Implementation, and Applications

Method of real-time regulation compliance for wireless transmitters

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

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

Automated Verification of Network Function Binaries

Firmware for ensuring realtime radio regulations compliance in WSN