Dov Murik

Person

HAIFA, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Homomorphic encryption key management
- Patent number 12,255,980
- Issue date Mar 18, 2025
- International Business Machines Corporation
- Akram Bitar
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Partitioning circuits for execution of sequential secure computatio...
- Patent number 11,841,982
- Issue date Dec 12, 2023
- International Business Machines Corporation
- Hayim Shaul
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Migrating infrastructure as code between different cloud providers
- Patent number 11,704,119
- Issue date Jul 18, 2023
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
User and entity behavior analytics of infrastructure as code in pre...
- Patent number 11,550,567
- Issue date Jan 10, 2023
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Authentication using transformation verification
- Patent number 11,528,134
- Issue date Dec 13, 2022
- International Business Machines Corporation
- Ehud Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Automatic malware signature generation for threat detection systems
- Patent number 11,308,210
- Issue date Apr 19, 2022
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Co-verification of hardware and software
- Patent number 11,023,362
- Issue date Jun 1, 2021
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Co-verification of hardware and software
- Patent number 11,003,573
- Issue date May 11, 2021
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Compiler assisted protection against arbitrary code execution
- Patent number 10,762,199
- Issue date Sep 1, 2020
- International Business Machines Corporation
- Ayman Jarrous
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Feature vector aggregation for malware detection
- Patent number 10,657,257
- Issue date May 19, 2020
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Co-verification of hardware and software
- Patent number 10,649,887
- Issue date May 12, 2020
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Hybrid genetic concolic co-verification of hardware and software
- Patent number 10,606,732
- Issue date Mar 31, 2020
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
HOMOMORPHIC ENCRYPTION KEY MANAGEMENT
- Publication number 20240223355
- Publication date Jul 4, 2024
- International Business Machines Corporation
- Akram Bitar
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
EXECUTING AN ARITHMETIC CIRCUIT USING FULLY HOMOMORPHIC ENCRYPTION...
- Publication number 20230208610
- Publication date Jun 29, 2023
- International Business Machines Corporation
- Hayim Shaul
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
PARTITIONING CIRCUITS FOR EXECUTION OF SEQUENTIAL SECURE COMPUTATIO...
- Publication number 20230119283
- Publication date Apr 20, 2023
- International Business Machines Corporation
- Hayim SHAUL
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MIGRATING INFRASTRUCTURE AS CODE BETWEEN DIFFERENT CLOUD PROVIDERS
- Publication number 20230075183
- Publication date Mar 9, 2023
- International Business Machines Corporation
- FADY COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USER AND ENTITY BEHAVIOR ANALYTICS OF INFRASTRUCTURE AS CODE IN PRE...
- Publication number 20220318002
- Publication date Oct 6, 2022
- Intellectual Business Machines Corporation
- FADY COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
AUTHENTICATION USING TRANSFORMATION VERIFICATION
- Publication number 20210306147
- Publication date Sep 30, 2021
- International Business Machines Corporation
- Ehud Aharoni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Automatic Malware Signature Generation for Threat Detection Systems
- Publication number 20200233960
- Publication date Jul 23, 2020
- International Business Machines Corporation
- Fady COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CO-VERIFICATION OF HARDWARE AND SOFTWARE
- Publication number 20200142814
- Publication date May 7, 2020
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CO-VERIFICATION OF HARDWARE AND SOFTWARE
- Publication number 20200142815
- Publication date May 7, 2020
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
ADVERSIAL DEEP NEURAL NETWORK FUZZING
- Publication number 20200125943
- Publication date Apr 23, 2020
- International Business Machines Corporation
- FADY COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
HYBRID GENETIC CONCOLIC CO-VERIFICATION OF HARDWARE AND SOFTWARE
- Publication number 20190266071
- Publication date Aug 29, 2019
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CO-VERIFICATION OF HARDWARE AND SOFTWARE
- Publication number 20190266074
- Publication date Aug 29, 2019
- International Business Machine Corporation
- FADY COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FEATURE VECTOR AGGREGATION FOR MALWARE DETECTION
- Publication number 20190171816
- Publication date Jun 6, 2019
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
COMPILER ASSISTED PROTECTION AGAINST ARBITRARY CODE EXECUTION
- Publication number 20180260559
- Publication date Sep 13, 2018
- International Business Machines Corporation
- AYMAN JARROUS
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Homomorphic encryption key management

Partitioning circuits for execution of sequential secure computatio...

Migrating infrastructure as code between different cloud providers

User and entity behavior analytics of infrastructure as code in pre...

Authentication using transformation verification

Automatic malware signature generation for threat detection systems

Co-verification of hardware and software

Co-verification of hardware and software

Compiler assisted protection against arbitrary code execution

Feature vector aggregation for malware detection

Co-verification of hardware and software

Hybrid genetic concolic co-verification of hardware and software

Patents Applicationslast 30 patents

HOMOMORPHIC ENCRYPTION KEY MANAGEMENT

EXECUTING AN ARITHMETIC CIRCUIT USING FULLY HOMOMORPHIC ENCRYPTION...

PARTITIONING CIRCUITS FOR EXECUTION OF SEQUENTIAL SECURE COMPUTATIO...

MIGRATING INFRASTRUCTURE AS CODE BETWEEN DIFFERENT CLOUD PROVIDERS

USER AND ENTITY BEHAVIOR ANALYTICS OF INFRASTRUCTURE AS CODE IN PRE...

AUTHENTICATION USING TRANSFORMATION VERIFICATION

Automatic Malware Signature Generation for Threat Detection Systems

CO-VERIFICATION OF HARDWARE AND SOFTWARE

CO-VERIFICATION OF HARDWARE AND SOFTWARE

ADVERSIAL DEEP NEURAL NETWORK FUZZING

HYBRID GENETIC CONCOLIC CO-VERIFICATION OF HARDWARE AND SOFTWARE

CO-VERIFICATION OF HARDWARE AND SOFTWARE

FEATURE VECTOR AGGREGATION FOR MALWARE DETECTION

COMPILER ASSISTED PROTECTION AGAINST ARBITRARY CODE EXECUTION