Писарев Илья Александрович

Публикации в базе данных Math-Net.Ru

1. C# parser for extracting cryptographic protocols structure from source code
   
   Труды ИСП РАН, 31:3 (2019),  191–202
2. Registration protocol security analysis of the electronic voting system based on blinded intermediaries using the Avispa tool
   
   Труды ИСП РАН, 30:4 (2018),  155–168