Utilizing type systems for static vulnerability analysis. - Lavrentii Tsvetkov; Anton Spivak (FRUCT, 2016)

Localising unsafe software resource usage with typed code model. - Lavrentii Tsvetkov; Anton Spivak (FRUCT, 2017)

Physical model of sensitive data leakage from PC-based cryptographic systems. - Alla Levina; Roman Mostovoi; Daria Sleptsova; Lavrentii Tcvetkov (J. Cryptogr. Eng., 2019)