Login / Signup
A. N. Barakova
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Information Flows
Java Card
Static Analysis
Functional Language
Top Venues
Autom. Control. Comput. Sci.
</>
Publications
</>
E. Ju. Antoshina
,
A. N. Barakova
,
E. S. Nikitin
,
D. Ju. Chalyy
A translator with a security static analysis feature of an information flow for a simple programming language.
Autom. Control. Comput. Sci.
48 (7) (2014)