Kevin Gardner

How Cryptocurrency Could Benefit You

The post How Cryptocurrency Could Benefit You appeared first on CCSI ...
SFBW19 - Economic & Security Audit Panel  Do's and Dont's

Mainnet360: joint economic and security reviews with Prysm Group

| | blockchain, Press Release
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 ...
anne_1

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 ...
Anatomy of an Unsafe Smart Contract Programming Language

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 ...
IoT

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, ...
Security Boulevard
Enigma 2019

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 ...
Enigma 2019

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

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 ...