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 …

The automation of software testing promises to delegate to machines what is otherwise the
most labor-intensive and expensive part of software development. The past decade has …

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 …

We present the design, implementation, and verification of XMHF-an eXtensible and
Modular Hypervisor Framework. XMHF is designed to achieve three goals--modular …

Cryptographic tools like proof systems, multi-party computation, and fully homomorphic
encryption are usually applied to computations expressed as systems of arithmetic …

Formal methods encompass a wide choice of techniques and tools for the specification,
development, analysis, and verification of software and hardware systems. Formal methods …

We present a semi-decision procedure for checking satisfiability of expressive correctness
properties of recursive first-order functional programs. In our approach, both properties and …

(57) ABSTRACT 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 …

Tool prototyping is an essential step in developing novel software verification algorithms and
techniques. However, implementing a verifier prototype that can handle real-world programs …

Formal methods for software development have made great strides in the last two decades,
to the point that their application in safety-critical embedded software is an undeniable …