Christof Ferreira Torres

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 Christof Ferreira Torres trusts overall

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

  1. D. Wood
  2. Loi Luu
  3. Ivica Nikolic
  4. Petar Tsankov
  5. Pascal Bouvry
  6. Duc-Hiep Chu
  7. Prateek Saxena
  8. Aashish Kolluri
  9. Andrei Marian Dan
  10. Leonardo de Moura

Who trusts Christof Ferreira Torres overall

  1. Tharaka Mawanane Hewa
  2. Tai D. Nguyen
  3. Mika E. Ylianttila
  4. Long H. Pham

Papers from Christof Ferreira Torres's perspective

Ordered by how strongly the researchers Christof Ferreira Torres 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. Bitcoin: A Peer-to-Peer Electronic Cash System
  8. Securify: Practical Security Analysis of Smart Contracts (Conference on Computer and Communications Security)
  9. Management of an academic HPC cluster: The UL experience (International Symposium on High Performance Computing Systems and Applications)
  10. Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)

Their papers