Sergei Tikhomirov is a PhD student at LACS, University of Luxembourg, under the supervision of Prof. Alex Biryukov since October 2016. He received his M.Sc. degree in Applied Mathematics and System Programming from the Faculty of Computational Mathematics and Cybernetics of the Lomonosov Moscow State University (Russia) in 2013.
Having industrial experience in static analysis and automated vulnerability detection , Sergei has been closely following the blockchain space since late 2013, writing numerous articles for the leading Russian-language blockchain news website.
His main research interest is security of blockchain networks, with a focus on secure development practices on the Ethereum platform and domain-specific languages for smart contracts.
- S. Tikhomirov, E. Voskresenskaya, I. Ivanitskiy, R. Takhaviev, E. Marchenko and Y. Aleksandrov. SmartCheck: Static Analysis of Ethereum Smart Contracts. Presented at the 1st International Workshop on Emerging Trends in Software Engineering for Blockchain on 27 May 2018 (slides, video).
- A. Biryukov, D. Khovratovich, S. Tikhomirov. Privacy-preserving KYC on Ethereum. Presented at the 1st ERCIM Blockchain Workshop on 9 May 2018 (slides, video).
- S. Tikhomirov. Ethereum: state of knowledge and research perspectives. Presented at the 10th International Symposium on Foundations & Practice of Security on 24 October 2017 (slides, video).
- A. Biryukov, D. Khovratovich, S. Tikhomirov. Findel: Secure Derivative Contracts for Ethereum. Presented at the 1st Workshop on Trusted Smart Contracts on 7 April 2017 (slides, video).
sergei dot tikhomirov at uni dot lu