Construction and Analysis of Safe, Secure, and Interoperable Smart Devices | Zendy

Diana Toma | Zendy; D. Borrione | Zendy; Ghiath Al-Sammane | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Author(s) -

Diana Toma,

D. Borrione,

Ghiath Al-Sammane

Publication year - 2005

Publication title -

lecture notes in computer science

Language(s) - English

Resource type - Book series

SCImago Journal Rank - 0.249

H-Index - 400

eISSN - 1611-3349

pISSN - 0302-9743

DOI - 10.1007/b105030

Subject(s) - interoperability , computer security , computer science , world wide web

ISBN: 3540242872 chapitre de livre.International audienceThe early validation of components specifications requires a proven correct formalization of the functional behavior. We use the ACL2 theorem prover the establish safety properties on it. After the first design step, we automatically translate the synthesizable VHDL into a functional form. The combination of symbolic simulation, automatic transfer function extraction, and theorem proving is used to show that the VHDL design is functionally compliant to the specification. The approach is demonstrated on a SHA-1 cryptographic circuit

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research