Login / Signup
Lavrentii Tsvetkov
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Preprocessing
Databases
Resource Usage
Response Time
Top Venues
FRUCT
</>
Publications
</>
Lavrentii Tsvetkov
,
Anton Spivak
Localising unsafe software resource usage with typed code model.
FRUCT
(2017)
Lavrentii Tsvetkov
,
Anton Spivak
Utilizing type systems for static vulnerability analysis.
FRUCT
(2016)