Opening book details…
Can I read 2020 Ivannikov Ispras Open Conference (ISPRAS) on EtoBox?
2020 Ivannikov Ispras Open Conference (ISPRAS) by Vishnyakov, Alexey (author);Fedotov, Andrey (author);Kuts, Daniil (author);Novikov, Alexander (author);Parygina, Darya (author);Kobrin, Eli (author);Logunova, Vlada (author);Belecky, Pavel (author);Kurmangaleev, Shamil (author) is a nonfiction available to read on EtoBox.
What is 2020 Ivannikov Ispras Open Conference (ISPRAS) about?
The security development lifecycle (SDL) is becoming an industry standard. Dynamic symbolic execution (DSE) has enormous amount of applications in computer security (fuzzing, vulnerability discovery, reverse-engineering, etc.). We propose several performance and accuracy improvements for dynamic symbolic execution. Skipping non-symbolic instructions allows to build a path predicate 1.2-3.5 times faster. Symbolic engine simplifies formulas during symbolic execution. Path predicate slicing eliminates irrelevant conjuncts from solver queries. We handle each jump table (switch statement) as multiple branches and describe the method for symbolic execution of multi-threaded programs. The proposed solutions were implemented in Sydr tool. Sydr performs inversion of branches in path predicate. Sydr combines DynamoRIO dynamic binary instrumentation tool with Triton symbolic engine. We evaluated Sydr features on 64-bit Linux executables.
Who reads 2020 Ivannikov Ispras Open Conference (ISPRAS)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Vishnyakov, Alexey (author);Fedotov, Andrey (author);Kuts, Daniil (author);Novikov, Alexander (author);Parygina, Darya (author);Kobrin, Eli (author);Logunova, Vlada (author);Belecky, Pavel (author);Kurmangaleev, Shamil (author)
- Publisher
- IEEE
- Published
- 2020
- Language
- CY
- Category
- nonfiction
More by Vishnyakov, Alexey (author);Fedotov, Andrey (author);Kuts, Daniil (author);Novikov, Alexander (author);Parygina, Darya (author);Kobrin, Eli (author);Logunova, Vlada (author);Belecky, Pavel (author);Kurmangaleev, Shamil (author)
Similar books
- 2020 IEEE 7th Uttar Pradesh Section International Conference on Electrical, Electronics and Computer Engineering (UPCON) — Rai, Hari Mohan; Chatterjee, Kalyan; Mukherjee, Chandra (2020)
- Rhestr Testunau Eisteddfod Genedlaethol Ceredigion 2020 — Eisteddfod Genedlaethol Cymru (2020: Ceredigion, Wales). author (2019)
- Dweud y Drefn pan nad oes Trefn : Blodeugerdd 2020 — Elan Grug Muse; Iestyn Tyne; Ani Glass (2020)
- Deffro : cyfansoddiadau buddugol Adran Lenyddol Eisteddfod yr Urdd 2020/2021 — Brennig Davies; Efa Lois (2021)
- Cymru A'r Cymry 2000: Trafodion Cynhadledd Milflwyddiant Canolfan Uwchefrydiau Cymreig A Cheltaidd Prifysgol Cymru = Wales And The Welsh 2000 : Proceedings Of The Millenium Conference Of The University Of Wales Centre For Advanced Welsh And Celtic Studies Wales And The Welsh 2000: Proceedings Of The Millenium Conference Of The University Of Wales Centre For Advanced Welsh And Celtic Studies — University of Wales Centre for Advanced Welsh and Celtic Studies. Millenium Conference (2000: Aberystwyth, Wales); Jenkins, Geraint H (2001)
- Stone in Wales : materials, heritage and conservation : papers from the Welsh Stone Conference, Cardiff 2002 = Cerrig yng Nghymru : deunyddiau, treftadaeth a chadwraeth : papurau o Gynhadledd Cerrig yng Nghymru Caerdydd 2002 — Malcolm R Coulson; Cadw (Organization : Great Britain) (2005)