Andrei Marian Dan
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 Andrei Marian Dan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Andrei Marian Dan overall
Papers from Andrei Marian Dan's perspective
Ordered by how strongly the researchers Andrei Marian Dan 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
- A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
- Formal Verification of Smart Contracts: Short Paper (PLAS@CCS)
- Strictly declarative specification of sophisticated points-to analyses (Conference on Object-Oriented Programming Systems, Languages, and Applications)
- Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab
- Fast polyhedra abstract domain
- A Semantic Framework for the Security Analysis of Ethereum smart contracts (The post)
- ZEUS: Analyzing Safety of Smart Contracts (Network and Distributed System Security Symposium)
Their papers
- Securify: Practical Security Analysis of Smart Contracts (2018) — 1,151 citations