Difference between revisions of "Sergei Tikhomirov"

From CryptoLUX
Jump to: navigation, search
(change link to Findel paper)
(Publications)
Line 9: Line 9:
 
* S. Tikhomirov, E. Voskresenskaya, I. Ivanitskiy, R. Takhaviev, E. Marchenko and Y. Aleksandrov. [http://hdl.handle.net/10993/35862 SmartCheck: Static Analysis of Ethereum Smart Contracts]. Presented at the [http://www.agilegroup.eu/wetseb2018/ 1st International Workshop on Emerging Trends in Software Engineering for Blockchain] on 27 May 2018 ([https://www.slideshare.net/SergeiTikhomirov/smartcheck-static-analysis-of-ethereum-smart-contracts slides], [https://www.youtube.com/watch?v=FBMI6VAESWo video]).
 
* S. Tikhomirov, E. Voskresenskaya, I. Ivanitskiy, R. Takhaviev, E. Marchenko and Y. Aleksandrov. [http://hdl.handle.net/10993/35862 SmartCheck: Static Analysis of Ethereum Smart Contracts]. Presented at the [http://www.agilegroup.eu/wetseb2018/ 1st International Workshop on Emerging Trends in Software Engineering for Blockchain] on 27 May 2018 ([https://www.slideshare.net/SergeiTikhomirov/smartcheck-static-analysis-of-ethereum-smart-contracts slides], [https://www.youtube.com/watch?v=FBMI6VAESWo video]).
  
* A. Biruykov, D. Khovratovich, S. Tikhomirov. [https://hdl.handle.net/20.500.12015/3165 Privacy-preserving KYC on Ethereum]. Presented at the [https://easychair.org/cfp/ERCIMBlockchain2018 1st ERCIM Blockchain Workshop] on 9 May 2018 ([https://www.slideshare.net/SergeiTikhomirov/privacy-preserving-kyc-on-ethereum slides], [https://www.youtube.com/watch?v=-pw_v1DQTyc video]).
+
* A. Biryukov, D. Khovratovich, S. Tikhomirov. [https://hdl.handle.net/20.500.12015/3165 Privacy-preserving KYC on Ethereum]. Presented at the [https://easychair.org/cfp/ERCIMBlockchain2018 1st ERCIM Blockchain Workshop] on 9 May 2018 ([https://www.slideshare.net/SergeiTikhomirov/privacy-preserving-kyc-on-ethereum slides], [https://www.youtube.com/watch?v=-pw_v1DQTyc video]).
  
 
* S. Tikhomirov. [http://hdl.handle.net/10993/32468 Ethereum: state of knowledge and research perspectives]. Presented at the [http://fps2017.loria.fr/ 10th International Symposium on Foundations & Practice of Security] on 24 October 2017 ([https://www.slideshare.net/SergeiTikhomirov/ethereum-state-of-knowledge-and-research-perspectives slides], [https://www.youtube.com/watch?v=Mvp9Rz4c3MY video]).
 
* S. Tikhomirov. [http://hdl.handle.net/10993/32468 Ethereum: state of knowledge and research perspectives]. Presented at the [http://fps2017.loria.fr/ 10th International Symposium on Foundations & Practice of Security] on 24 October 2017 ([https://www.slideshare.net/SergeiTikhomirov/ethereum-state-of-knowledge-and-research-perspectives slides], [https://www.youtube.com/watch?v=Mvp9Rz4c3MY video]).
  
* A. Biruykov, D. Khovratovich, S. Tikhomirov. [http://hdl.handle.net/10993/30975 Findel: Secure Derivative Contracts for Ethereum]. Presented at the [http://fc17.ifca.ai/wtsc/index.html 1st Workshop on Trusted Smart Contracts] on 7 April 2017 ([https://www.slideshare.net/SergeiTikhomirov/findel-secure-derivative-contracts-for-ethereum slides], [https://www.youtube.com/watch?v=D4sa9U2HXMQ video]).
+
* A. Biryukov, D. Khovratovich, S. Tikhomirov. [http://hdl.handle.net/10993/30975 Findel: Secure Derivative Contracts for Ethereum]. Presented at the [http://fc17.ifca.ai/wtsc/index.html 1st Workshop on Trusted Smart Contracts] on 7 April 2017 ([https://www.slideshare.net/SergeiTikhomirov/findel-secure-derivative-contracts-for-ethereum slides], [https://www.youtube.com/watch?v=D4sa9U2HXMQ video]).
  
 
== Contact ==
 
== Contact ==

Revision as of 22:07, 14 June 2018

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.


Publications

Contact

sergei dot tikhomirov at uni dot lu

Personal homepage

Github

LinkedIn