GEZEL

swMATH4151MaRDI QIDQ16335FDOQ16335

Author name not available (Why is that?)

Official website: http://rijndael.ece.vt.edu/gezel2/

Described by source

• Domain specific tools and methods for application in Security processor design

Cited In (10)

• Model-based verification, optimization, synthesis and performance evaluation of real-time systems
• HW/SW co-design for public-key cryptosystems on the 8051 micro-controller
• Verics
• Casaal
• APMC
• UPPAAL TIGA
• Model Checking Real-Time Systems
• UPPAAL CORA
• Verification, performance analysis and controller synthesis for real-time systems
• Semantics and Verification of a Language for Modelling Hardware Architectures

This page was built for software: GEZEL