We have built the first security scanner for smart contracts and the first smart contract verifier for custom specifications. We partner with major infrastructure providers, including the Ethereum and the Web3 foundations, to build state-of-the-art solutions for blockchain platforms.
We have built the first security scanner for smart contracts and the first smart contract verifier for custom specifications. We partner with major infrastructure providers, including the Ethereum and the Web3 foundations, to build state-of-the-art solutions for blockchain platforms.
ETHCC, Paris, France, 7th March, 2018
21:52
Learn more about our research:
IEEE Symposium on Security and Privacy (S&P), 2020
ACM Conference on Computer and Communications Security (CCS), 2018
IEEE Transactions on Information Forensics and Security (TIFS), 2018
Network and Distributed System Security Symposium (NDSS), 2017
IEEE Symposium on Security and Privacy (S&P), 2017
ACM Conference on Computer and Communications Security (CCS), 2016
Together with researchers from the ICE center @ ETH, we work on research projects across all layers of the blockchain:
