This letter proposes a compositional data-driven approach for safety verification of networks discrete-time subsystems with formal guarantees . Following modular and each subsystem, we search so-called sub-barrier candidate represented as linear combination priori user-defined basis functions. ...

Complexity and large scale of SoC designs call for developments in today’s verification techniques. On the one hand, it costs too much efforts and time in traditional RTL modeling methodologies when verifying large scale designs; on the other hand, properties requiring cycle accuracy are not efficiently verified in Transaction Level Models due to the abstraction. In this paper, we present a hie...

In this poster, we generalize the problem of secure location verification to that of path verification and propose a scheme to securely verify the claims of a mobile node that moves along a path. Although the secure verification of location claims has been studied extensively in the literature, current solutions require very strict time synchronization of the verifiers, or extra communication a...