Comparative Study of Eight Formal Specifications of the Message Authenticator Algorithm.

Hubert Garavel Lina Marsso

Published in: MARS/VPT@ETAPS (2018)

Keyphrases

comparative study
learning algorithm
simulated annealing
computational complexity
preprocessing
k means
dynamic programming
segmentation algorithm
detection algorithm
search space
worst case
formal specification
databases
information systems
high level
reverse engineering