Asryan S. 

Publications in Math-Net.Ru

1. Combining dynamic symbolic execution, code static analysis and fuzzing
   
   Proceedings of ISP RAS, 30:6 (2018),  25–38
2. Dynamic detection of use after free bugs
   
   Proceedings of ISP RAS, 30:3 (2018),  7–20
3. Dynamic compilation of JavaScript programs to the statically typed LLVM intermediate representation
   
   Proceedings of ISP RAS, 27:6 (2015),  33–48