task_categories:text-generation task_categories:question-answering task_categories:text-classification language:en license:mit size_categories:n<1K format:json modality:text library:datasets library:pandas library:polars library:mlcroissant region:us cryptography security cybersecurity security-protocols protocol-verification formal-methods spore clark-jacob-library avispa-library avantssar-library