Solidity (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Solidity" in English language version.

Last modified:

Ref.Un. Ref.Website
Global rank English rank
380th place
337th place
254th place
178th place
1st place
1st place
49th place
31st place
low place
low place
2nd place
2nd place
15th place
8th place
558th place
364th place
low place
9,758th place
3rd place
3rd place
low place
low place
1,235th place
855th place
1,369th place
968th place
263rd place
259th place
66th place
34th place

arxiv.org (Global: 49th place; English: 31st place)

  • Nikolic, Ivica; Kolluri, Aashish; Sergey, Ilya; Saxena, Prateek; Hobor, Aquinas (14 March 2018). "Finding The Greedy, Prodigal, and Suicidal Contracts at Scale". arXiv:1802.06038 [cs.CR]. Different source languages compile to the EVM semantics, the predominant of them being Solidity
  • Tsankov, Petar; Dan, Andrei; Drachsler-Cohen, Dana; Gervais, Arthur; Bünzli, Florian; Vechev, Martin (15 October 2018). "Securify: Practical Security Analysis of Smart Contracts". Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery. pp. 67–82. arXiv:1806.01143. doi:10.1145/3243734.3243780. hdl:10044/1/87935. ISBN 978-1-4503-5693-0. S2CID 46936025.

books.google.com (Global: 3rd place; English: 3rd place)

doi.org (Global: 2nd place; English: 2nd place)

finextra.com (Global: low place; English: 9,758th place)

gavwood.com (Global: low place; English: low place)

github.com (Global: 380th place; English: 337th place)

hdl.handle.net (Global: 66th place; English: 34th place)

huffpost.com (Global: 558th place; English: 364th place)

ibm.com (Global: 1,369th place; English: 968th place)

developer.ibm.com

microsoft.com (Global: 263rd place; English: 259th place)

research.microsoft.com

  • Schneier, Karthikeyan; Schneier, Antoine; Bhargavan, Cedric; Delignat-Lavaud, Anitha; Fournet, Gollamudi; Schneier, Bruce; Rastogi, Nadim; Sibut-Pinote, Aseem; Rastogi1, Thomas; Swamy, Nikhil; Zanella-Beguelin, Santiago (27 August 2016). "Short Paper: Formal Verification of Smart Contracts" (PDF). Microsoft Research, French Institute for Research in Computer Science and Automation, Harvard University. Archived (PDF) from the original on 27 August 2016.{{cite journal}}: CS1 maint: numeric names: authors list (link)

semanticscholar.org (Global: 15th place; English: 8th place)

api.semanticscholar.org

soliditylang.org (Global: low place; English: low place)

docs.soliditylang.org

web.archive.org (Global: 1st place; English: 1st place)

  • "Gavin Wood". gavwood.com. Archived from the original on 30 March 2023. Retrieved 30 March 2023.
  • Schneier, Karthikeyan; Schneier, Antoine; Bhargavan, Cedric; Delignat-Lavaud, Anitha; Fournet, Gollamudi; Schneier, Bruce; Rastogi, Nadim; Sibut-Pinote, Aseem; Rastogi1, Thomas; Swamy, Nikhil; Zanella-Beguelin, Santiago (27 August 2016). "Short Paper: Formal Verification of Smart Contracts" (PDF). Microsoft Research, French Institute for Research in Computer Science and Automation, Harvard University. Archived (PDF) from the original on 27 August 2016.{{cite journal}}: CS1 maint: numeric names: authors list (link)

wired.com (Global: 254th place; English: 178th place)

zdnet.com (Global: 1,235th place; English: 855th place)