Proverif mode