I am a blockchain security researcher at the University of Luxembourg. I received my MA in applied maths from CMC MSU in 2013. I have been closely following the Bitcoin / blockchain space since late 2013. In 2013 - 2016, I was a researcher on code vulnerabilities and static analysis at SmartDec. Since 2014, I am an author at BitNovosti. See also: my CV.
S. Tikhomirov, E. Voskresenskaya, I. Ivanitskiy, R. Takhaviev, E. Marchenko and Y. Aleksandrov. SmartCheck: Static Analysis of Ethereum Smart Contracts (slides, video). Presented at the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain on 27 May 2018.
S. Tikhomirov. Ethereum: State of knowledge and research perspectives (slides, video). Presented at the 10th International Symposium on Foundations & Practice of Security on 24 October 2017.
- С. Тихомиров, Я. Александров, Е. Марченко, Л. Сафин. Поиск закладок в программном обеспечении (S. Tikhomirov, Y. Alexandrov, E. Marchenko, L. Safin. Finding undocumented features in programs). «Защита информации. Инсайд» №3, 2016 (abstract)
- 2018-04-27: The Bitcoin boom and blockchain breakthrough (in SnT Annual report 2017)
- 2017-05-15: Uni.lu: SnT Team Wins Big at Hackathon