Stanford Security Lab

Library of AVISPA Models

Summary

For reference, a number of AVISPA models that were developed for research and class projects are collected here.

Models

Back to Model Checking Page