blockchain
How Cryptocurrency Could Benefit You
The post How Cryptocurrency Could Benefit You appeared first on CCSI ...
Mainnet360: joint economic and security reviews with Prysm Group
On Monday, October 28th at the Crypto Economics Security Conference, Trail of Bits announced a new joint offering with Prysm Group: Mainnet360. Carefully designed to produce a comprehensive assessment of the security ...
Announcing the Crytic $10k Research Prize
At Trail of Bits, we make a significant effort to stay up to date with the academic world. We frequently evaluate our work through peer-reviewed conferences, and we love to attend academic ...
Cyber Security Businesses: Solving Challenges Through New Technologies
From everyday transactions to transport planning, as our world becomes more dependent on technology, cybersecurity risks are becoming more common, and more dangerous. Luckily, there’s a range of cybersecurity businesses and start-ups ...
Formal Analysis of the CBC Casper Consensus Algorithm with TLA+
by Anne Ouyang, Piedmont Hills High School, San Jose, CA As a summer intern at Trail of Bits, I used the PlusCal and TLA+ formal specification languages to explore Ethereum’s CBC Casper ...
Watch Your Language: Our First Vyper Audit
A lot of companies are working on Ethereum smart contracts, yet writing secure contracts remains a difficult task. You still have to avoid common pitfalls, compiler issues, and constantly check your code ...
The Trouble With IoT Technology
The internet of things (IoT) has resulted in integrated workplaces and homes as smart thermostats, washing machines, security systems and wearable tech devices mean technology is making our lives even easier. However, ...
USENIX Enigma 2019, Noah Johnson’s ‘Building A Secure Data Market On Blockchain’
Thanks to USENIX for publishing the USENIX Enigma 2019 outstanding conference videos on their YouTube Channel Permalink ...
USENIX Enigma 2019, Nicholas Weaver’s ‘Cryptocurrency: Burn It With Fire’
Thanks to USENIX for publishing the USENIX Enigma 2019 outstanding conference videos on their YouTube Channel ...
Crytic: Continuous Assurance for Smart Contracts
Note: This blog has been reposted from Truffle Suite’s blog. We are proud to announce our new smart contract security product: https://crytic.io/. Crytic provides continuous assurance for smart contracts. The platform reports ...
