Carmit Sahar

Person

Tel Aviv, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Automatic code reconfiguration based on function and subfunction an...
- Patent number 12,254,299
- Issue date Mar 18, 2025
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Shrinking files based on function analysis
- Patent number 12,147,792
- Issue date Nov 19, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbol-matching between software versions
- Patent number 12,141,577
- Issue date Nov 12, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying integrity of controller software updates
- Patent number 12,118,284
- Issue date Oct 15, 2024
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Visualization of code execution through line-of-code behavior and r...
- Patent number 12,050,848
- Issue date Jul 30, 2024
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying software dependencies using controller code models
- Patent number 12,045,551
- Issue date Jul 23, 2024
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying integrity of controller software updates
- Patent number 12,045,550
- Issue date Jul 23, 2024
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Proving whether software functionality has changed following a soft...
- Patent number 11,960,807
- Issue date Apr 16, 2024
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic code reconfiguration based on function and subfunction an...
- Patent number 11,941,380
- Issue date Mar 26, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying software interdependencies using line-of-code behavior...
- Patent number 11,836,428
- Issue date Dec 5, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Shrinking delta files based on function analysis
- Patent number 11,816,478
- Issue date Nov 14, 2023
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Symbol-matching between software versions
- Patent number 11,803,371
- Issue date Oct 31, 2023
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Shrinking executable files based on function analysis
- Patent number 11,782,687
- Issue date Oct 10, 2023
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying software dependencies using controller code models
- Patent number 11,741,280
- Issue date Aug 29, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using line-of-code behavior and relation models to anticipate impac...
- Patent number 11,741,281
- Issue date Aug 29, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying software malfunction sources among disparate code sources
- Patent number 11,720,731
- Issue date Aug 8, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic CFI using line-of-code behavior and relation models
- Patent number 11,709,981
- Issue date Jul 25, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Visualization of code execution through line-of-code behavior and r...
- Patent number 11,694,008
- Issue date Jul 4, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic code reconfiguration based on function and subfunction an...
- Patent number 11,693,635
- Issue date Jul 4, 2023
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying integrity of controller software updates
- Patent number 11,651,128
- Issue date May 16, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying software interdependencies using line-of-code behavior...
- Patent number 11,537,509
- Issue date Dec 27, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using line-of-code behavior and relation models to anticipate impac...
- Patent number 11,481,314
- Issue date Oct 25, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Proving whether software functionality has changed following a soft...
- Patent number 11,467,953
- Issue date Oct 11, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Identifying software dependencies using controller code models
- Patent number 11,442,850
- Issue date Sep 13, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Visualization of code execution through line-of-code behavior and r...
- Patent number 11,416,385
- Issue date Aug 16, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Generating and signing a line-of-code behavior and relation model
- Patent number 11,347,632
- Issue date May 31, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Dynamic CFI using line-of-code behavior and relation models
- Patent number 11,314,633
- Issue date Apr 26, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using line-of-code behavior and relation models to anticipate impac...
- Patent number 11,269,762
- Issue date Mar 8, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Visualization of code execution through line-of-code behavior and r...
- Patent number 11,263,121
- Issue date Mar 1, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Verifying software malfunction sources among disparate code sources
- Patent number 11,216,359
- Issue date Jan 4, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
TOKENIZING DATA AND TRAINING LARGE CODE LANGUAGE MODELS
- Publication number 20240427992
- Publication date Dec 26, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FUNCTIONAL TRAINING OF LARGE CODE LANGUAGE MODELS
- Publication number 20240428069
- Publication date Dec 26, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
TOKENIZING PROGRAMMING CODE WITH CANONICAL REPRESENTATIONS
- Publication number 20240427993
- Publication date Dec 26, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC RESOURCE PREDICTION USING LARGE CODE LANGUAGE MODELS
- Publication number 20240427635
- Publication date Dec 26, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VALIDATING DYNAMIC CONTROL FLOW INTEGRITY MODELS
- Publication number 20240419881
- Publication date Dec 19, 2024
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SHRINKING FILES BASED ON FUNCTION ANALYSIS
- Publication number 20240231781
- Publication date Jul 11, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOL-MATCHING BETWEEN SOFTWARE VERSIONS
- Publication number 20240231810
- Publication date Jul 11, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTOMATIC CODE RECONFIGURATION BASED ON FUNCTION AND SUBFUNCTION AN...
- Publication number 20240231776
- Publication date Jul 11, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SHRINKING DELTA FILES BASED ON FUNCTION ANALYSIS
- Publication number 20240231811
- Publication date Jul 11, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROVING WHETHER SOFTWARE FUNCTIONALITY HAS CHANGED FOLLOWING A SOFT...
- Publication number 20240211667
- Publication date Jun 27, 2024
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYMBOL-MATCHING BETWEEN SOFTWARE VERSIONS
- Publication number 20240134637
- Publication date Apr 25, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SHRINKING FILES BASED ON FUNCTION ANALYSIS
- Publication number 20240134620
- Publication date Apr 25, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SHRINKING DELTA FILES BASED ON FUNCTION ANALYSIS
- Publication number 20240134638
- Publication date Apr 25, 2024
- Aurora Labs Ltd.
- Carmit Sahar
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING SOFTWARE INTERDEPENDENCIES USING LINE-OF-CODE BEHAVIOR...
- Publication number 20240070359
- Publication date Feb 29, 2024
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING SOFTWARE DEPENDENCIES USING CONTROLLER CODE MODELS
- Publication number 20230351083
- Publication date Nov 2, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING LINE-OF-CODE BEHAVIOR AND RELATION MODELS TO ANTICIPATE IMPAC...
- Publication number 20230351084
- Publication date Nov 2, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING SOFTWARE MALFUNCTION SOURCES AMONG DISPARATE CODE SOURCES
- Publication number 20230334210
- Publication date Oct 19, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING INTEGRITY OF CONTROLLER SOFTWARE UPDATES
- Publication number 20230306170
- Publication date Sep 28, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VISUALIZATION OF CODE EXECUTION THROUGH LINE-OF-CODE BEHAVIOR AND R...
- Publication number 20230289504
- Publication date Sep 14, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING INTEGRITY OF CONTROLLER SOFTWARE UPDATES
- Publication number 20230252210
- Publication date Aug 10, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING SOFTWARE INTERDEPENDENCIES USING LINE-OF-CODE BEHAVIOR...
- Publication number 20230084961
- Publication date Mar 16, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING LINE-OF-CODE BEHAVIOR AND RELATION MODELS TO ANTICIPATE IMPAC...
- Publication number 20230011278
- Publication date Jan 12, 2023
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROVING WHETHER SOFTWARE FUNCTIONALITY HAS CHANGED FOLLOWING A SOFT...
- Publication number 20220414000
- Publication date Dec 29, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING SOFTWARE DEPENDENCIES USING CONTROLLER CODE MODELS
- Publication number 20220365874
- Publication date Nov 17, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VISUALIZATION OF CODE EXECUTION THROUGH LINE-OF-CODE BEHAVIOR AND R...
- Publication number 20220342803
- Publication date Oct 27, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
DYNAMIC CFI USING LINE-OF-CODE BEHAVIOR AND RELATION MODELS
- Publication number 20220222173
- Publication date Jul 14, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING LINE-OF-CODE BEHAVIOR AND RELATION MODELS TO ANTICIPATE IMPAC...
- Publication number 20220156178
- Publication date May 19, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VISUALIZATION OF CODE EXECUTION THROUGH LINE-OF-CODE BEHAVIOR AND R...
- Publication number 20220147348
- Publication date May 12, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
IDENTIFYING SOFTWARE DEPENDENCIES USING CONTROLLER CODE MODELS
- Publication number 20220083461
- Publication date Mar 17, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
VERIFYING SOFTWARE MALFUNCTION SOURCES AMONG DISPARATE CODE SOURCES
- Publication number 20220083462
- Publication date Mar 17, 2022
- Aurora Labs Ltd.
- Zohar Fox
- G06 - COMPUTING CALCULATING COUNTING

Carmit Sahar

Person

Patents Grantslast 30 patents

Automatic code reconfiguration based on function and subfunction an...

Shrinking files based on function analysis

Symbol-matching between software versions

Verifying integrity of controller software updates

Visualization of code execution through line-of-code behavior and r...

Identifying software dependencies using controller code models

Verifying integrity of controller software updates

Proving whether software functionality has changed following a soft...

Automatic code reconfiguration based on function and subfunction an...

Identifying software interdependencies using line-of-code behavior...

Shrinking delta files based on function analysis

Symbol-matching between software versions

Shrinking executable files based on function analysis

Identifying software dependencies using controller code models

Using line-of-code behavior and relation models to anticipate impac...

Verifying software malfunction sources among disparate code sources

Dynamic CFI using line-of-code behavior and relation models

Visualization of code execution through line-of-code behavior and r...

Automatic code reconfiguration based on function and subfunction an...

Verifying integrity of controller software updates

Identifying software interdependencies using line-of-code behavior...

Using line-of-code behavior and relation models to anticipate impac...

Proving whether software functionality has changed following a soft...

Identifying software dependencies using controller code models

Visualization of code execution through line-of-code behavior and r...

Generating and signing a line-of-code behavior and relation model

Dynamic CFI using line-of-code behavior and relation models

Using line-of-code behavior and relation models to anticipate impac...

Visualization of code execution through line-of-code behavior and r...

Verifying software malfunction sources among disparate code sources

Patents Applicationslast 30 patents

TOKENIZING DATA AND TRAINING LARGE CODE LANGUAGE MODELS

FUNCTIONAL TRAINING OF LARGE CODE LANGUAGE MODELS

TOKENIZING PROGRAMMING CODE WITH CANONICAL REPRESENTATIONS

DYNAMIC RESOURCE PREDICTION USING LARGE CODE LANGUAGE MODELS

VALIDATING DYNAMIC CONTROL FLOW INTEGRITY MODELS

SHRINKING FILES BASED ON FUNCTION ANALYSIS

SYMBOL-MATCHING BETWEEN SOFTWARE VERSIONS

AUTOMATIC CODE RECONFIGURATION BASED ON FUNCTION AND SUBFUNCTION AN...

SHRINKING DELTA FILES BASED ON FUNCTION ANALYSIS

PROVING WHETHER SOFTWARE FUNCTIONALITY HAS CHANGED FOLLOWING A SOFT...

SYMBOL-MATCHING BETWEEN SOFTWARE VERSIONS

SHRINKING FILES BASED ON FUNCTION ANALYSIS

SHRINKING DELTA FILES BASED ON FUNCTION ANALYSIS

IDENTIFYING SOFTWARE INTERDEPENDENCIES USING LINE-OF-CODE BEHAVIOR...

IDENTIFYING SOFTWARE DEPENDENCIES USING CONTROLLER CODE MODELS

USING LINE-OF-CODE BEHAVIOR AND RELATION MODELS TO ANTICIPATE IMPAC...

VERIFYING SOFTWARE MALFUNCTION SOURCES AMONG DISPARATE CODE SOURCES

VERIFYING INTEGRITY OF CONTROLLER SOFTWARE UPDATES

VISUALIZATION OF CODE EXECUTION THROUGH LINE-OF-CODE BEHAVIOR AND R...

VERIFYING INTEGRITY OF CONTROLLER SOFTWARE UPDATES

IDENTIFYING SOFTWARE INTERDEPENDENCIES USING LINE-OF-CODE BEHAVIOR...

USING LINE-OF-CODE BEHAVIOR AND RELATION MODELS TO ANTICIPATE IMPAC...

PROVING WHETHER SOFTWARE FUNCTIONALITY HAS CHANGED FOLLOWING A SOFT...

IDENTIFYING SOFTWARE DEPENDENCIES USING CONTROLLER CODE MODELS

VISUALIZATION OF CODE EXECUTION THROUGH LINE-OF-CODE BEHAVIOR AND R...

DYNAMIC CFI USING LINE-OF-CODE BEHAVIOR AND RELATION MODELS

USING LINE-OF-CODE BEHAVIOR AND RELATION MODELS TO ANTICIPATE IMPAC...

VISUALIZATION OF CODE EXECUTION THROUGH LINE-OF-CODE BEHAVIOR AND R...

IDENTIFYING SOFTWARE DEPENDENCIES USING CONTROLLER CODE MODELS

VERIFYING SOFTWARE MALFUNCTION SOURCES AMONG DISPARATE CODE SOURCES