Hacker News
- Tis-interpreter detects subtle bugs in C programs http://trust-in-soft.com/tis-interpreter 2 comments
Linking pages
- How I implemented my own crypto http://loup-vaillant.fr/articles/implemented-my-own-crypto 517 comments
- GitHub - TrustInSoft/tis-interpreter: An interpreter for finding subtle bugs in programs written in standard C https://github.com/TrustInSoft/tis-interpreter 60 comments
- GitHub - LoupVaillant/Monocypher: An easy to use, easy to deploy crypto library https://github.com/LoupVaillant/Monocypher 41 comments
- s2n Is Now Handling 100 Percent of SSL Traffic for Amazon S3 | AWS Security Blog https://aws.amazon.com/blogs/security/s2n-is-now-handling-100-percent-of-of-ssl-traffic-for-amazon-s3/ 23 comments
- What is Strict Aliasing and Why do we Care? · GitHub https://gist.github.com/shafik/848ae25ee209f698763cffee272a58f8 6 comments
- News https://monocypher.org/news 6 comments
- Automated Reasoning and Amazon s2n | AWS Security Blog http://blogs.aws.amazon.com/security/post/TxLEHNNDPUFDU9/Automated-Reasoning-and-Amazon-s2n 0 comments
Related searches:
Search whole site: site:trust-in-soft.com
Search title: TIS-interpreter progress report - TrustInSoft, exhaustive static analysis tools for software security and safety
See how to search.