Anton Jurisevic
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 Anton Jurisevic trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Anton Jurisevic overall
Papers from Anton Jurisevic's perspective
Ordered by how strongly the researchers Anton Jurisevic trusts endorse each paper. Same corpus, a different order for every researcher.
- Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
- ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
- Bitcoin: A Peer-to-Peer Electronic Cash System
- A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
- Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)
- Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
- ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)
- Under-optimized smart contracts devour your money (IEEE International Conference on Software Analysis, Evolution, and Reengineering)
- MadMax: surviving out-of-gas conditions in Ethereum smart contracts (Proc. ACM Program. Lang.)
- Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
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