New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update section on formal analysis #53

Closed

PieterKas opened this issue Jun 14, 2023 · 2 comments

Assignees

Collaborator

PieterKas commented Jun 14, 2023

Add reference to Pedram and Tim's work once ready. Consider guidance for other protocols.

PieterKas assigned danielfett

Collaborator Author

PieterKas commented Sep 4, 2023

Cite examples of analysis as an example of how formal analysis may be used. May also include work by Giada et al.

Collaborator Author

PieterKas commented Sep 15, 2023

This is a duplicate of #98

PieterKas closed this as completed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment