Applied Pi-calculus to Linear Logic Compiler

An experiment compiling ProVerif source code to a language based on linear logic for automatic protocol verification.

Authors

• Theis Grønbech Petersen
• Thorvald Jørgensen

License

This project is licensed under The MIT License.