Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard.
Wendelin SerwePublished in: MARS (2015)
Keyphrases
- formal specification
- model checking
- data encryption standard
- concurrent systems
- formal methods
- encryption algorithms
- asynchronous circuits
- image encryption
- temporal logic
- protocol specification
- process algebra
- formal verification
- cryptographic algorithms
- grid workflow
- high security
- artificial intelligence
- reverse engineering
- efficient implementation
- software systems
- software components
- security analysis
- business rules