PrivacyRaven Has Left the Nest By Suha S. Hussain, Georgia TechIf you work on deep learning systems, check out... 2020-10-08 21:00:36 | 阅读: 279 | 收藏 | blog.trailofbits.com substitute inference membership inversion

Graphtage: A New Semantic Diffing Tool Graphtage is a command line utility and underlying library for semantically compa... 2020-08-28 20:00:27 | 阅读: 233 | 收藏 | blog.trailofbits.com graphtage canonical zab

Using Echidna to test a smart contract library In this post, we’ll show you how to test your smart contracts with the Echidna fu... 2020-08-17 20:00:17 | 阅读: 248 | 收藏 | blog.trailofbits.com memory library crytic echidna

Sinter: New user-mode security enforcement for macOS TL;DR: Sinter is the first available open-source endpoint protection agent writte... 2020-08-12 14:41:16 | 阅读: 254 | 收藏 | blog.trailofbits.com sinter security client monitoring

Accidentally stepping on a DeFi lego The initial release of yVault contained logic for computing the price of yUSDC th... 2020-08-05 20:00:03 | 阅读: 259 | 收藏 | blog.trailofbits.com usdc musd bpt yusdc balancer

Contract verification made easier Smart contract authors can now express security properties in the same language t... 2020-07-13 04:00:46 | 阅读: 246 | 收藏 | blog.trailofbits.com manticore verifier symbolic balances exploration

Advocating for change As a company, we believe Black lives matter. In the face of continued police brut... 2020-06-18 06:33:17 | 阅读: 309 | 收藏 | blog.trailofbits.com police nyc policing protest

Upgradeable contracts made safer with Crytic Upgradeable contracts are not as safe as you think. Architectures for upgradeabil... 2020-06-12 20:50:52 | 阅读: 228 | 收藏 | blog.trailofbits.com crytic proxy upgradeable mytoken

ECDSA: Handle with Care The elliptic curve digital signature algorithm (ECDSA) is a common digital signat... 2020-06-11 20:50:20 | 阅读: 329 | 收藏 | blog.trailofbits.com ecdsa nonces inv sn elliptic

How to check if a mutex is locked in Go TL;DR: Can we check if a mutex is locked in Go? Yes, but not with a mutex API. H... 2020-06-09 20:50:53 | 阅读: 246 | 收藏 | blog.trailofbits.com mutex mutexlocked rwmutex