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 39e5159 commit f50532f
Showing 1 changed file with 7 additions and 6 deletions.
13 changes: 7 additions & 6 deletions certora/properties.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,9 +17,10 @@
15. Singleton - Implementation of _verifySignature Function (Integrity)
16. Singleton - getConfiguration Function (Integrity).
17. Singleton - Both is valid Signature behave the same way.
18. WebAuthn - castSignature Integrity
19. WebAuthn - encodeClientDataJson Integrity
20. WebAuthn - encodeSigningMessage Integrity
21. WebAuthn - verifySignature Integrity
22. WebAuthn - Both verifySignature behave the same way.
23. DDOS on verifySignature.
19. Singleton - Once signer passed is isValidSignaure it will never fail on it after any call.
20. WebAuthn - castSignature Integrity
21. WebAuthn - encodeClientDataJson Integrity
22. WebAuthn - encodeSigningMessage Integrity
23. WebAuthn - verifySignature Integrity
24. WebAuthn - Both verifySignature behave the same way.
25. DDOS on verifySignature.

0 comments on commit f50532f

Please sign in to comment.