62 citations
- Moscow Institute of Physics and TechnologyRU21 papers
- Lomonosov Moscow State UniversityRU11 papers
- Russian Academy of SciencesRU11 papers
- Innopolis UniversityRU8 papers
- Steklov Mathematical InstituteRU6 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Institute of Physics and TechnologyKZ4 papers
- Moscow Aviation InstituteRU4 papers
- Moscow Power Engineering InstituteRU4 papers
- National Research University Higher School of EconomicsRU4 papers
- École Normale Supérieure de LyonFR3 papers
- Institute for Information Transmission ProblemsRU3 papers
Showing 2022Show all
3 papers · 1 filter
cs.CR2022★ 11 cited
Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle
Alexey Vishnyakov, Daniil Kuts, Vlada Logunova +4
Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements…
cs.CR2022★ 4 cited
Strong Optimistic Solving for Dynamic Symbolic Execution
Darya Parygina, Alexey Vishnyakov, Andrey Fedotov
Dynamic symbolic execution (DSE) is an effective method for automated program testing and bug detection. It is increasing the code coverage by the complex branches exploration duri…
math.OC2022★ 2 cited
Stochastic Gradient Methods with Preconditioned Updates
Abdurakhmon Sadiev, Aleksandr Beznosikov, Abdulla Jasem Almansoori +3
This work considers the non-convex finite sum minimization problem. There are several algorithms for such problems, but existing methods often work poorly when the problem is badly…