Skip to content

Commit

Permalink
Add property list
Browse files Browse the repository at this point in the history
  • Loading branch information
@nivcertora
nivcertora committed May 16, 2024
1 parent 5aa3bac commit 39e5159
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion certora/properties.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -21,4 +21,5 @@
19. WebAuthn - encodeClientDataJson Integrity
20. WebAuthn - encodeSigningMessage Integrity
21. WebAuthn - verifySignature Integrity
22. DDOS on verifySignature
22. WebAuthn - Both verifySignature behave the same way.
23. DDOS on verifySignature.

0 comments on commit 39e5159

Please sign in to comment.