Personal tools
You are here: Home seminar

Семинар кафедры системного программирования

 

 

 

 

 

Ближайшее заседание: четверг 31 августа 2017 17-00 каб. А.Н. Терехова

Ханов Артур Рафаэльеаич
Безопасность смарт-контрактов в криптовалюте Ethereum

Ethereum - одна из наиболее быстроразвивающихся криптовалют. Она позволяет не только обмениваться денежными средствами. В ее основе лежат так называемые смарт-контракты. Это программы на особом языке, которые выполняются всей децентрализованной сетью и могут содержать достаточно сложную логику. Важнейшим аспектом развития Ethereum является ее безопасность. Поэтому программы-смарт-контракты необходимо уметь проверять на предмет того, насколько описанные в них условия устойчивы к атакам злоумышленника. Так год назад произошла история, в которой из-за уязвимого смарт-контракта злоумышленник чуть не украл более 50 миллионов долларов. Возможно ли ограничить логику работы контрактов таким образом, чтобы они были по-прежнему достаточно выразительны для написания и в то же время верифицируемы? Ответ на этот вопрос и предстоит получить участникам семинара.


Архив семинара

Заседания 2016/2017 учебного года

Заседания 2014/2015 учебного года

Заседания 2013/2014 учебного года

Заседания 2012/2013 учебного года

Заседания 2011/2012 учебного года

Заседания 2010/2011 учебного года

Заседания 2009/2010 учебного года

Document Actions