O
Oksana Tkachuk
Researcher at Ames Research Center
Publications - 15
Citations - 273
Oksana Tkachuk is an academic researcher from Ames Research Center. The author has contributed to research in topics: Model checking & Symbolic execution. The author has an hindex of 8, co-authored 15 publications receiving 227 citations. Previous affiliations of Oksana Tkachuk include Amazon.com.
Papers
More filters
Proceedings ArticleDOI
Semantic-based Automated Reasoning for AWS Access Policies using SMT
John Backes,Pauline Bolignano,Byron Cook,Catherine Dodge,Andrew Gacek,Kasper Søe Luckow,Neha Rungta,Oksana Tkachuk,Carsten Varming +8 more
TL;DR: This paper presents a formalization of the Amazon Web Services (AWS) policy language and a corresponding analysis tool, called ZELKOVA, for verifying policy properties, which encodes the semantics of policies into SMT, compares behaviors, and verifies properties.
Journal ArticleDOI
Symbolic quantitative information flow
TL;DR: A novel method that precisely quanties information leaks is presented, built on top of Java Pathfinder, an open source model checking platform, and it is the first tool in the field to support information-theoretic QIF analysis.
Book ChapterDOI
Regression Verification Using Impact Summaries
TL;DR: It is shown in this work that checking equivalence of behaviors in two program versions reduces to checking equivalences of just the impacted behaviors, and it is proved that the approach is both sound and complete for sequential programs, with respect to the depth bound of symbolic execution.
Proceedings ArticleDOI
JPF-AWT: Model checking GUI applications
TL;DR: Verification of Graphical User Interface (GUI) applications presents many challenges and requires a user model in order to close the state space.
Journal ArticleDOI
Generation of Library Models for Verification of Android Applications
TL;DR: Two static analysis tools OCSEGen and Modgen are discussed and how they can be applied to the Android domain to generate models for specific parts of the environment are discussed.