| 31. | | Efficient smart contract security audits with machine learning and slither-simil (trailofbits.com) |
| 56 points by galapago on Oct 23, 2020 | past | 27 comments |
|
| 32. | | Let’s build a high-performance fuzzer with GPUs (trailofbits.com) |
| 153 points by galapago on Oct 22, 2020 | past | 22 comments |
|
| 33. | | PrivacyRaven Has Left the Nest (trailofbits.com) |
| 3 points by galapago on Oct 8, 2020 | past | 1 comment |
|
| 34. | | Red Dead Redemption 2 shown running faster on Linux than Windows 10 (pcgamer.com) |
| 4 points by galapago on June 20, 2020 | past |
|
| 35. | | Bug Hunting in Smart Contracts with Crytic (trailofbits.com) |
| 34 points by galapago on May 15, 2020 | past | 3 comments |
|
| 36. | | The First International Workshop on Smart Contract Analysis (trailofbits.com) |
| 1 point by galapago on April 23, 2020 | past |
|
| 37. | | Godot Docs Explains Why Encrypt Save Games (godot-es-docs.readthedocs.io) |
| 2 points by galapago on April 13, 2020 | past |
|
| 38. | | An Echidna for All Seasons (trailofbits.com) |
| 1 point by galapago on March 31, 2020 | past |
|
| 39. | | Our Full Report on the Voatz Mobile Voting Platform (trailofbits.com) |
| 14 points by galapago on March 13, 2020 | past | 1 comment |
|
| 40. | | Announcing the Crytic $10k Research Prize (trailofbits.com) |
| 4 points by galapago on Nov 13, 2019 | past |
|
| 41. | | Honggfuzz Plays GTA1 (imgur.com) |
| 2 points by galapago on Nov 9, 2019 | past |
|
| 42. | | Unofficial Nox port to Linux using decompiled code from playnox.xyz (github.com/neuromancer) |
| 1 point by galapago on Nov 9, 2019 | past |
|
| 43. | | Watch Your Language: Our First Vyper Audit (trailofbits.com) |
| 1 point by galapago on Oct 24, 2019 | past |
|
| 44. | | Crytic: Continuous Assurance for Smart Contracts (trailofbits.com) |
| 3 points by galapago on Aug 2, 2019 | past |
|
| 45. | | AFL official repository on GitHub (github.com/google) |
| 3 points by galapago on July 25, 2019 | past |
|
| 46. | | Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts (arxiv.org) |
| 53 points by galapago on July 19, 2019 | past | 17 comments |
|
| 47. | | Trail of Bits at ICSE 2019 – Recap (trailofbits.com) |
| 4 points by galapago on June 20, 2019 | past |
|
| 48. | | Slither: The Leading Static Analyzer for Smart Contracts (trailofbits.com) |
| 3 points by galapago on May 29, 2019 | past |
|
| 49. | | Crytic: Continuous Assurance for Smart Contracts (crytic.io) |
| 1 point by galapago on May 23, 2019 | past |
|
| 50. | | User-Friendly Fuzzing with Sienna Locomotive (trailofbits.com) |
| 23 points by galapago on April 8, 2019 | past |
|
| 51. | | Security audit finds vulnerabilities across Bitcoin forks (bitcoinsv.io) |
| 68 points by galapago on March 2, 2019 | past | 26 comments |
|
| 52. | | “Save game editors and console modding now illegal in Japan” (reddit.com) |
| 4 points by galapago on Jan 2, 2019 | past | 1 comment |
|
| 53. | | Winklevoss Brothers Launch Ethereum Token Backed by U.S. Dollars (forbes.com/sites/michaeldelcastillo) |
| 1 point by galapago on Sept 10, 2018 | past |
|
| 54. | | The (Not So) Smart Contracts Collection by Trail of Bits (solidity.wtf) |
| 2 points by galapago on Sept 5, 2018 | past |
|
| 55. | | Apple Is Testing a Feature That Could Kill Police iPhone Unlockers (vice.com) |
| 1 point by galapago on June 5, 2018 | past |
|
| 56. | | Total Meltdown? (frizk.net) |
| 2 points by galapago on March 27, 2018 | past |
|
| 57. | | DeepState: Symbolic Unit Testing for C and C++ (github.com/trailofbits) |
| 1 point by galapago on Feb 18, 2018 | past |
|
| 58. | | Using AI to uncover the mystery of Voynich manuscript (phys.org) |
| 4 points by galapago on Jan 30, 2018 | past |
|
| 59. | | An update on Better Ads (developers.google.com) |
| 3 points by galapago on Dec 20, 2017 | past |
|
| 60. | | Happiness Engineer (jobspresso.co) |
| 1 point by galapago on Dec 4, 2017 | past |
|
|
| More |
