Sergei Tikhomirov
International Workshop on Emerging Trends in Software Engineering for Blockchain · 2018
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Sergei Tikhomirov trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Sergei Tikhomirov overall
Papers from Sergei Tikhomirov's perspective
Ordered by how strongly the researchers Sergei Tikhomirov trusts endorse each paper. Same corpus, a different order for every researcher.
- ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
- TAJ: effective taint analysis of web applications (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Bitcoin: A Peer-to-Peer Electronic Cash System
- Refinement-based context-sensitive points-to analysis for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Pricing via Processing or Combatting Junk Mail
- Parameterized object sensitivity for points-to analysis for Java (TSEM)
- Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
- Cloning-based context-sensitive pointer alias analysis using binary decision diagrams (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Secure Multiparty Computations on Bitcoin
- A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
Their papers
- SmartCheck: Static Analysis of Ethereum Smart Contracts (2018) — 839 citations