Securify

Security scanner for Ethereum smart contracts: Created by ICE center and ChainSecurity

[Jingxuan He @jingxuan_he]

Happy to announce ILF, a new fuzzer for smart contracts (to appear at @acm_ccs 2019). ILF learns to generate fuzzing inputs from symbolic execution, using the framework of imitation learning.

Paper available at: https://t.co/AK6PkElPNz

[ETH CS Department @CSatETH]

New smart scanner audits #Ethereum smart contracts more reliably: @SecurifySwiss was developed by #ETH #start-up @chain_security (Prof. M. Vechev, Dr @ptsankov, Dr H. @HRitzdorf ). Read more: https://t.co/VVTO0x56ag

[Petar Tsankov @ptsankov]

🍾 We are honored to be awarded a #grant from the @ethereum Foundation 🎉. Looking forward to contributing more research and useful #security tools to support the #Ethereum ecosystem.

@chain_security @SecurifySwiss @CSatETH @ETH_en @thecryptovalley

[Securify @SecurifySwiss]

@muellerberndt @gakonst Thanks for the pointer to the dataset, @muellerberndt. We will indeed open our benchmarks with the final version of the paper to enable everyone to run and compare.

[ChainSecurity @chain_security]

The full version of Securify is now up! 🍾🎇 Scan your Ethereum smart contracts instantly at https://t.co/c3DgUUnDuj.

#smartcontracts #ethereum #security

[ChainSecurity @chain_security]

"Bringing the latest research to crypto startups". A short video from the ETH meets startups event organized by the @CV_Labs, featuring our CTO Hubert Ritzdorf.

https://t.co/G0eaz1vHsI

#ETH #Security @thecryptovalley @CSatETH

[DocIQ @DocIQ_io]

Of course #smartcontracts are only the beginning - reliable data is the next step to making it real! Some of our friends are working on that! @hackernoon @chain_security
Oracles Help Smart Contracts Resolve Subjective Events https://t.co/wFYJIPsdfU

[ChainSecurity @chain_security]

"Blockchain-powered computer programs promise to revolutionize the digital economy, but new research suggests they’re far from secure." @MIT #security
https://t.co/M4uPKU2p70

[ChainSecurity @chain_security]

Hubert from @chain_security is about to go live at the Crypto Valley for Coders event. Tune in to learn more about #smartcontract #security and @SecurifySwiss.

Watch live at https://t.co/STLsumWupi 📺😀

@CV_Labs @thecryptovalley

[Petar Tsankov @ptsankov]

Following #BIOTS2018, next week we will kick-off the first #blockchain #security seminar organized at @CSatETH: https://t.co/Kfgg6M4fXS

At the first lecture, we have @SophieRaderm from @melonport as guest to announce this year's Melonport #Hackathon: https://t.co/8nSiUnnuLM

[ChainSecurity @chain_security]

Learn about #smartcontract #security and #audits at our upcoming events:

Feb 20: Crypto Valley Labs: https://t.co/3LuHXFVi7m
Feb 21: Crypto Valley Coders: https://t.co/sWI5elCGxS
Mar 8: Blockchain Summit Zurich: https://t.co/G9aHnVhyRM

@thecryptovalley @UNICOMSeminars

[Securify @SecurifySwiss]

Check out our #DevCon3 talk "Securify: Not Your Grandma’s Smart Contract Verification":
https://t.co/CwY0uCOWVD #Ethereum #SmartContracts #Security

[Securify @SecurifySwiss]

We're at the #BlockchainSummit in London today @HatforceSec, looking forward to the talks!

[Securify @SecurifySwiss]

Concerned about security issues and frozen funds? Talk to us about #blockchain and #smartcontract #security today at the #BCSummit17.

@blockchain_comp @thecryptovalley @SFS_CH

[Berit Fuss @BeritFuss]

Quentin Hibon from @SecurifySwiss showing us how to identify potential bugs in smart contracts at #EEAAmsterdam #Ethereum #ING

[Securify @SecurifySwiss]

Quentin rocking the #d10e stage in #Davos with our talk on the future of #smartcontract audits. (Photo by @Snowcraw)

@d10e_conference #ethereum #fintech #decentralization #cryptocurrency #technology https://t.co/YrpNMNf4ta

[John Toterhi @cetfor]

Getting into Ethereum? Learning Solidity? Check out Formal Verification of Ethereum Smart Contracts with @SecurifySwiss at https://t.co/WI1UUsMzIB.

[Securify @SecurifySwiss]

Securify automatically discovers the bugs that froze Parity Wallets. We wrote a short article on this: https://t.co/gmSRrcpAhy #paritybug #etherium #Security #smartcontracts

[vitalik.eth @VitalikButerin]

I am deliberately refraining from comment on wallet issues, except to express strong support for those working hard on writing simpler, safer wallet contracts or auditing and formally verifying security of existing ones.

[Securify @SecurifySwiss]

Link to our #DevCon3 slides, featuring a nice comparison b/w different security approaches: https://t.co/rFQcnJYhLK #ethereum #solidity