Julian Schütte

Artificial Intelligence · 2018

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 3 researchers here, as inferred from the citation graph.

Subfields

Whom Julian Schütte trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. D. Wood
  2. Loi Luu
  3. Ivica Nikolic
  4. Petar Tsankov

Who trusts Julian Schütte overall

  1. Tharaka Mawanane Hewa
  2. Tai D. Nguyen

Papers from Julian Schütte's perspective

Ordered by how strongly the researchers Julian Schütte trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  2. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
  3. A Semantic Framework for the Security Analysis of Ethereum smart contracts (The post)
  4. ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)
  5. Z3: An Efficient SMT Solver
  6. Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (Asia-Pacific Computer Systems Architecture Conference)
  7. Securify: Practical Security Analysis of Smart Contracts (Conference on Computer and Communications Security)
  8. Management of an academic HPC cluster: The UL experience (International Symposium on High Performance Computing Systems and Applications)
  9. Bitcoin: A Peer-to-Peer Electronic Cash System
  10. Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)

Their papers