Hacker News
- Software Verification and Analysis Using Z3 https://research.nccgroup.com/2021/01/29/software-verification-and-analysis-using-z3/ 40 comments
Linking pages
Linked pages
- Chromium Blog: Chrome is deploying HTTP/3 and IETF QUIC https://blog.chromium.org/2020/10/chrome-is-deploying-http3-and-ietf-quic.html 621 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- BearSSL - Constant-Time Crypto https://www.bearssl.org/constanttime.html 71 comments
- Bitwise operation - Wikipedia https://en.wikipedia.org/wiki/Bitwise_operation#XOR 69 comments
- First-order logic - Wikipedia http://en.wikipedia.org/wiki/First-order_logic 44 comments
- Post-quantum cryptography - Wikipedia https://en.wikipedia.org/wiki/Post-quantum_cryptography 38 comments
- Finite field arithmetic - Wikipedia https://en.wikipedia.org/wiki/Finite_field_arithmetic 15 comments
- Double-Odd Elliptic Curves - Double-Odd Elliptic Curves https://doubleodd.group/ 11 comments
- A Detailed Look at RFC 8446 (a.k.a. TLS 1.3) https://blog.cloudflare.com/rfc-8446-aka-tls-1-3/ 8 comments
- Formal methods - Wikipedia https://en.wikipedia.org/wiki/Formal_methods 7 comments
- Checking Firewall Equivalence with Z3 | by Andrew Helwer | Medium https://medium.com/@ahelwer/checking-firewall-equivalence-with-z3-c2efe5051c8f 3 comments
- https://sat-smt.codes/SAT_SMT_by_example.pdf 2 comments
- GitHub - mit-plv/fiat-crypto: Cryptographic Primitive Code Generation by Fiat https://github.com/mit-plv/fiat-crypto 2 comments
- boringssl - Git at Google https://boringssl.googlesource.com/boringssl/ 1 comment
- ImperialViolet - Elliptic curves and their implementation http://www.imperialviolet.org/2010/12/04/ecc.html 1 comment
- Division by two - Wikipedia https://en.wikipedia.org/wiki/Division_by_two 1 comment
- How Facebook is bringing QUIC to billions - Engineering at Meta https://engineering.fb.com/2020/10/21/networking-traffic/how-facebook-is-bringing-quic-to-billions/ 0 comments
- Elliptic-curve cryptography - Wikipedia https://en.wikipedia.org/wiki/Elliptic-curve_cryptography 0 comments
- The inner magic behind the Z3 theorem prover - Microsoft Research https://www.microsoft.com/en-us/research/blog/the-inner-magic-behind-the-z3-theorem-prover/ 0 comments
- Boolean algebra - Wikipedia https://en.wikipedia.org/wiki/Boolean_algebra 0 comments
Related searches:
Search whole site: site:research.nccgroup.com
Search title: Software Verification and Analysis Using Z3 – NCC Group Research
See how to search.