Welcome to the repository for X-Men: A Mutation-Based Approach for the Formal Analysis of Security Ceremonies

Team: Diego Sempreboni, Luca Viganò

Description

X-Men is a toolkit, an integrated front-end toholistically conduct formal security analysis of socio-technical systems. X-Men is based on The TAMARIN Prover formal language in order to create formal model where there is a human component who is able to:

1. skip some intermediate actions, or
2. add some actions, or
3. replace an action with another one, or
4. neglect to carry out one or more actions, e.g., neglecting to carry out a check on the contents of a message.

Further extension will include other behavioural patterns.