Similar repositories to purseclab/btmodel_proverif: