Concepedia

Andrei Dan

AD

3

Publications

1.1K

Citations

3

H-Index

2016

Active since

Affiliations

ETH Zurich(Current)

Andrei Dan is an author at ETH Zurich specializing in software analysis, engineering, and program analysis.

Top concepts

EngineeringVerificationComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationBlockchainCryptographyData PrivacyData Security

Publications per year

2016–2018

3

Publications

3

Securify

Petar Tsankov, Andrei Dan, Dana Drachsler-Cohen et al. · 2018 · 969 citations

Engineering, Information Security, Verification +16

Securify: Practical Security Analysis of Smart Contracts

Petar Tsankov, Andrei Dan, Dana Drachsler Cohen et al. · arXiv (Cornell University) · 2018 · 131 citations · Full text

Engineering, Information Security, Verification +19

Effective abstractions for verification under relaxed memory models

Andrei Dan, Yuri Meshman, Martin Vechev et al. · Computer Languages Systems & Structures · 2016 · 12 citations

Engineering, Program Analysis, Automated Reasoning +9

Rows per page

1–3 of 3