In this paper, we present a verification methodology that integrates formal verification techniques with verification by simulation, thereby providing means for generating simulation test suites that ensure coverage. We derive the test suites by means of BDD-based symbolic techniques for describing and traversing the implementation state space. In our approach, we provide a high-level of contro...

When a group key exchange protocol is executed, the session key is typically extracted from two types of secrets; long-term keys (for authentication) and freshly generated (often random) values. The leakage of this latter so-called ephemeral keys has been extensively analyzed in the 2-party case, yet very few works are concerned with it in the group setting. We provide a generic group key excha...

The failure of the nanoscale metallic interface has raised concerns owing to the effect interfacial amalgamation has on its application in nanoelectronic devices. Single crystal copper [110] and [100], which are set as two components of [110]‖[100] nanocrystalline copper, are used to simulate the interfacial properties using molecular dynamics simulations. Repeated tension and compression cycle...

Several wav elets from well known biorthogonal families are shown to be unbounded on every interval. One, in fact, is shown to be infinite at each dyadic rational. Not withstanding these facts, we show how to compute exact values for these wav elets at many points and thus achieve exact pictures for these functions.

Unique elastomeric rotary actuators based on pneumatically driven peristaltic motion are demonstrated. Using silicone-based wheels, these motors enable a new class of soft locomotion not found in nature, which is capable of withstanding impact, traversing irregular terrain, and operating in water. For soft robotics, this work marks progress toward providing torque without bending actuators.

In this paper, the authors have presented the study of digital watermarking scheme which employs both the Discrete Cosine Transform (DCT) and the Singular Value Decomposition (SVD). The study discuss that how an original greyscale image can be secured by robust digital watermarking. In this paper it has been discussed how block based DCT and SVD transformation together can form a hybrid waterma...

Sandwich composites were fabricated successfully with the balsa wood as core material and regenerated cellulose fabric bio-based polypropylene (PP) composite skins. The PP produced using two different methods: conventional stacking lay-up directly pellets. made hot press equipment customized mold. sandwich system bio-composite laminate designed to achieve very close weight compare key mechanica...