Florian Buenzli

Conference on Computer and Communications Security · 2018

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

Whom Florian Buenzli trusts

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

  1. Anthony Dewayne Hunt (in Privacy & Security)
  2. D. Wood (in Privacy & Security)

Papers from Florian Buenzli's perspective

Ordered by how strongly the researchers Florian Buenzli trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
  2. Bitcoin: A Peer-to-Peer Electronic Cash System
  3. ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
  4. A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
  5. Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)
  6. Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  7. Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
  8. Fast polyhedra abstract domain
  9. A Semantic Framework for the Security Analysis of Ethereum smart contracts (The post)
  10. ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)

Their papers