Oksana Tkachuk

Person

Palo Alto, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Analyzing privilege escalation risks using a multi-layer reasoning...
- Patent number 12,164,652
- Issue date Dec 10, 2024
- Amazon Technologies, Inc.
- Meng Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Specification language for generating graph reachability-based anal...
- Patent number 12,132,735
- Issue date Oct 29, 2024
- Amazon Technologies, Inc.
- Niloofar Razavi
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated threat modeling using machine-readable threat models
- Patent number 11,750,642
- Issue date Sep 5, 2023
- Amazon Technologies, Inc.
- Michael Tautschnig
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automated threat modeling using machine-readable threat models
- Patent number 11,418,532
- Issue date Aug 16, 2022
- Amazon Technologies, Inc.
- Michael Tautschnig
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Automatically generating a machine-readable threat model using a te...
- Patent number 11,128,653
- Issue date Sep 21, 2021
- Amazon Technologies, Inc.
- Oksana Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automated threat modeling using machine-readable threat models
- Patent number 10,652,266
- Issue date May 12, 2020
- Amazon Technologies, Inc.
- Michael Tautschnig
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
System and a method for generating database model for analysis of a...
- Patent number 9,069,804
- Issue date Jun 30, 2015
- Fujitsu Limited
- Oksana I. Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Environment data refinement based on static analysis and symbolic e...
- Patent number 8,504,997
- Issue date Aug 6, 2013
- Fujitsu Limited
- Oksana Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for distributing validation computations
- Patent number 8,468,537
- Issue date Jun 18, 2013
- Fujitsu Limited
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Providing software validation as a service
- Patent number 8,453,117
- Issue date May 28, 2013
- Fujitsu Limited
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system to extract a navigation model for analysis of a w...
- Patent number 8,402,319
- Issue date Mar 19, 2013
- Fujitsu Limited
- Oksana Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating a driver for analysis of an event-driven application
- Patent number 8,347,320
- Issue date Jan 1, 2013
- Fujitsu Limited
- Oksana Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for detecting software defects
- Patent number 7,685,471
- Issue date Mar 23, 2010
- Fujitsu Limited
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
Method and System to Extract a Navigation Model for Analysis of a W...
- Publication number 20120084609
- Publication date Apr 5, 2012
- FUJITSU LIMITED
- Oksana Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Systems and Methods for Distributing Validation Computations
- Publication number 20120017220
- Publication date Jan 19, 2012
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND A METHOD FOR GENERATING DATABASE MODEL FOR ANALYSIS OF A...
- Publication number 20120011168
- Publication date Jan 12, 2012
- Oksana I. Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Providing Software Validation as a Service
- Publication number 20110225568
- Publication date Sep 15, 2011
- FUJITSU LIMITED
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENERATING A DRIVER FOR ANALYSIS OF AN EVENT-DRIVEN APPLICATION
- Publication number 20100293557
- Publication date Nov 18, 2010
- FUJITSU LIMITED
- Oksana Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Environment Data Refinement Based on Static Analysis and Symbolic E...
- Publication number 20100242029
- Publication date Sep 23, 2010
- FUJITSU LIMITED
- Oksana Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Providing Symbolic Execution Engine for Valid...
- Publication number 20090089759
- Publication date Apr 2, 2009
- Fujitsu Limited
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and a Method for Generating a Closed Homogeneous Non-Distrib...
- Publication number 20090089810
- Publication date Apr 2, 2009
- Fujitsu Limited
- Oksana I. Tkachuk
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Configurable Web Services System and a Method to Detect Defects in...
- Publication number 20090089757
- Publication date Apr 2, 2009
- Fujitsu Limited
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
System and Method for Detecting Software Defects
- Publication number 20080189686
- Publication date Aug 7, 2008
- Fujitsu Limited
- Sreeranga P. Rajan
- G06 - COMPUTING CALCULATING COUNTING

Oksana Tkachuk

Person

Patents Grantslast 30 patents

Analyzing privilege escalation risks using a multi-layer reasoning...

Specification language for generating graph reachability-based anal...

Automated threat modeling using machine-readable threat models

Automated threat modeling using machine-readable threat models

Automatically generating a machine-readable threat model using a te...

Automated threat modeling using machine-readable threat models

System and a method for generating database model for analysis of a...

Environment data refinement based on static analysis and symbolic e...

Systems and methods for distributing validation computations

Providing software validation as a service

Method and system to extract a navigation model for analysis of a w...

Generating a driver for analysis of an event-driven application

System and method for detecting software defects

Patents Applicationslast 30 patents

Method and System to Extract a Navigation Model for Analysis of a W...

Systems and Methods for Distributing Validation Computations

SYSTEM AND A METHOD FOR GENERATING DATABASE MODEL FOR ANALYSIS OF A...

Providing Software Validation as a Service

GENERATING A DRIVER FOR ANALYSIS OF AN EVENT-DRIVEN APPLICATION

Environment Data Refinement Based on Static Analysis and Symbolic E...

System and Method for Providing Symbolic Execution Engine for Valid...

System and a Method for Generating a Closed Homogeneous Non-Distrib...

Configurable Web Services System and a Method to Detect Defects in...

System and Method for Detecting Software Defects