Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Prokopev, Sergey Evgenievich
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:20
Abstract pages:57
Full texts:28

https://www.mathnet.ru/eng/person207545
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-4410-2565

Publications in Math-Net.Ru Citations
2023
1. S. E. Prokopev, “Extracting the reference test suites from cryptographic protocol specifications written on a domain-specific language”, Proceedings of ISP RAS, 35:6 (2023),  167–178  mathnet
2021
2. S. E. Prokopev, “A formal language for primary specifications of the cryptographic protocols”, Proceedings of ISP RAS, 33:5 (2021),  117–136  mathnet
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024