The trustworthiness of integrated circuits is now an essential technical and business
challenge for the semiconductor industry. In the digital domain, there has been extensive …

The problem of learning automata from example traces (but no equivalence or membership
queries) is fundamental in automata learning theory and practice. In this paper, we study this …

Information flow tracking (IFT) is a widely used methodology for ensuring data confidentiality
in electronic systems and numerous such methods have been developed at various …

Analog components are fundamental blocks of smart systems, as they allow a tight
interaction with the environment, in terms of both sensing/actuation and communication. This …

We summarize and present the available body of knowledge in trusted and secure design of
analog/mixed-signal/radio frequency (RF) integrated circuits (ICs) and intellectual properties …

Information flow tracking (IFT) is a widely used methodology for ensuring data confidentiality
and/or integrity in electronic systems and many such methods have been developed at …

We address the problem of formally verifying nonlinear analog circuits with an uncertain
initial set by computing their reachable set. A reachable set contains the union of all possible …

Accurate abstracted behavioral modeling of analog circuits is still an open problem,
especially when the abstraction process is automated. In this paper we present an …

The integration of increasingly more complex and heterogeneous SOCs results in ever more
complicated demands for the verification of the system and its underlying subsystems. Pre …

The test generation problem for analog/RF circuits has been largely intractable due to the
fact that repetitive circuit simulation for test stimulus optimization is extremely time …