ARA SSIA Formacrypt

Goal

The verification of cryptographic protocols is a very active research
area. Most works on this topic use either the computational approach,
in which messages are bitstrings, or the formal approach, in which
messages are terms. The computational approach is more realistic but
more difficult to automate. The goal of our project is to bridge the
gap between these two approaches.