search

trailofbits / testing-handbook

Trail of Bits Testing Handbook
https://appsec.guide/
Creative Commons Attribution 4.0 International
36 stars 4 forks source link

[WIP]: Add sections on formal verification and Tamarin #12

Open fegge opened 5 months ago

fegge commented 5 months ago

Do not merge.

This PR is a WIP and adds content on formal verification in general and Tamarin in particular.

github-actions[bot] commented 4 months ago

PR Preview Action v1.4.7 :---: :rocket: Deployed preview to https://trailofbits.github.io/testing-handbook-preview/pr-preview/pr-12/ on branch gh-pages at 2024-02-12 14:40 UTC