Replies (2)

hello's avatar
hello 4 months ago
people are even doing formal verification to cryptography... not just tests...