Josselin Feist
Artificial Intelligence · 2019
A researcher in the Science corpus: 2 papers; trusts 3 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 8 citations into it
- Information Systems — 8 citations into it
Whom Josselin Feist trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Johannes Krupp
- Hubert Garavel
- Loi Luu
- Petar Tsankov
- Christian Rossow
- Lexi Brent
- Duc-Hiep Chu
- Xiaoqi Li
- Andrei Marian Dan
Who trusts Josselin Feist overall
Papers from Josselin Feist's perspective
Ordered by how strongly the researchers Josselin Feist trusts endorse each paper. Same corpus, a different order for every researcher.
- Making Smart Contracts Smarter (IACR Cryptology ePrint Archive)
- Under-optimized smart contracts devour your money (IEEE International Conference on Software Analysis, Evolution, and Reengineering)
- teEther: Gnawing at Ethereum to Automatically Exploit Smart Contracts (USENIX Security Symposium)
- Finding The Greedy, Prodigal, and Suicidal Contracts at Scale (Asia-Pacific Computer Systems Architecture Conference)
- ETHEREUM: A SECURE DECENTRALISED GENERALISED TRANSACTION LEDGER
- Vandal: A Scalable Security Analysis Framework for Smart Contracts (arXiv.org)
- KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- A Survey of Attacks on Ethereum Smart Contracts (SoK) (The post)
- SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis (IEEE Symposium on Security and Privacy)
- Securify: Practical Security Analysis of Smart Contracts (Conference on Computer and Communications Security)
Their papers
- Slither: A Static Analysis Framework for Smart Contracts (2019) — 950 citations
- Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts (2019) — 406 citations