List of proprietary source-available software

Automated Verification of Network Function Binaries

George Candea, Aikaterini Argyraki, Solal Vincenzo Pirelli

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

Multivariate statistical analysis as a tool for the segmentation of 3D spectral data

Cécile Hébert, Marco Cantoni, Guillaume Lucas, Pierre Burdet

Acquisition of three-dimensional (3D) spectral data is nowadays common using many different microanalytical techniques. In order to proceed to the 3D reconstruction, data processing is necessary not only to deal with noisy acquisitions but also to segment ...

Pergamon-Elsevier Science Ltd2013

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

Integral-equation analysis of 3-D metallic objects arranged in 2-D lattices using the Ewald transformation

Juan Ramon Mosig, Ivica Stevanovic, Frédéric Bongard, Pedro Crespo Valero, Katarina Blagovic

We present a space-domain integral-equation method for the analysis of periodic structures formed by three-dimensional metallic objects arranged in a general skewed two-dimensional lattice. The computation of the space-domain Green's function is accelerate ...

Institute of Electrical and Electronics Engineers2006