Bernhard Scholz
Artificial Intelligence · 2018
A researcher in the Science corpus: 2 papers; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 15 citations into it
Whom Bernhard Scholz trusts
Their strongest outbound trust, strongest first, inferred from their citations.
- Yannis Smaragdakis (in Artificial Intelligence)
Papers from Bernhard Scholz's perspective
Ordered by how strongly the researchers Bernhard Scholz trusts endorse each paper. Same corpus, a different order for every researcher.
- Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
- Bitcoin: A Peer-to-Peer Electronic Cash System
- ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
- Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)
- A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
- Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
- Under-optimized smart contracts devour your money (IEEE International Conference on Software Analysis, Evolution, and Reengineering)
- ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)
- Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- MadMax: surviving out-of-gas conditions in Ethereum smart contracts (Proc. ACM Program. Lang.)
Their papers
- MadMax: surviving out-of-gas conditions in Ethereum smart contracts (2018) — 385 citations
- Vandal: A Scalable Security Analysis Framework for Smart Contracts (2018) — 318 citations