Fady Copty

Person

Nazareth, IL

People

Patents Grantslast 30 patents

Information Patent Grant
Predicting security response impact
- Patent number 12,132,751
- Issue date Oct 29, 2024
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Sharing insights between pre and post deployment to enhance cloud w...
- Patent number 11,947,444
- Issue date Apr 2, 2024
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Predicting security response impact
- Patent number 11,805,141
- Issue date Oct 31, 2023
- International Business Machines Corporation
- Fady Copty
- 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
Predicting code vulnerabilities using machine learning classifier m...
- Patent number 11,573,785
- Issue date Feb 7, 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
Detecting infrastructure as code compliance inconsistency in a mult...
- Patent number 11,409,501
- Issue date Aug 9, 2022
- International Business Machines Corporation
- Fady Copty
- 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
Dimensionality reduction based on functionality
- Patent number 11,295,013
- Issue date Apr 5, 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
System level test generation using DNN translation from unit level...
- Patent number 10,915,436
- Issue date Feb 9, 2021
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Interface layer obfuscation and usage thereof
- Patent number 10,798,075
- Issue date Oct 6, 2020
- International Business Machines Corporation
- Fady Copty
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
User authentication based on predictive applications
- Patent number 10,742,642
- Issue date Aug 11, 2020
- International Business Machines Corporation
- Ayelet Avni
- 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
Information Patent Grant
Protecting computer code against ROP attacks
- Patent number 10,417,412
- Issue date Sep 17, 2019
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method, system and product for using a predictive model to predict...
- Patent number 10,387,655
- Issue date Aug 20, 2019
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unit-level formal verification for vehicular software systems
- Patent number 9,898,395
- Issue date Feb 20, 2018
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unit-level formal verification for vehicular software systems
- Patent number 9,875,175
- Issue date Jan 23, 2018
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unit-level formal verification for vehicular software systems
- Patent number 9,870,313
- Issue date Jan 16, 2018
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Unit-level formal verification for vehicular software systems
- Patent number 9,588,877
- Issue date Mar 7, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Using traces of original model to verify a modified model
- Patent number 9,495,504
- Issue date Nov 15, 2016
- International Business Machines Corporations
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of arbiters
- Patent number 9,280,496
- Issue date Mar 8, 2016
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Formal verification of random priority-based arbiters using propert...
- Patent number 8,370,553
- Issue date Feb 5, 2013
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
APPLICATION DISCOVERY ENGINE IN A SECURITY MANAGEMENT SYSTEM
- Publication number 20240411867
- Publication date Dec 12, 2024
- Microsoft Technology Licensing, LLC
- Shay Chriba SAKAZI
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
MAPPING PIPELINE RUN SOURCES AND TARGETS IN CLOUD INFRASTRUCTURES
- Publication number 20240378037
- Publication date Nov 14, 2024
- Microsoft Technology Licensing, LLC
- Fady COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PREDICTING SECURITY RESPONSE IMPACT
- Publication number 20240015174
- Publication date Jan 11, 2024
- International Business Machines Corporation
- Fady Copty
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
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
PREDICTING SECURITY RESPONSE IMPACT
- Publication number 20220321584
- Publication date Oct 6, 2022
- 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
POLICY SECURITY SHIFTING LEFT OF INFRASTRUCTURE AS CODE COMPLIANCE
- Publication number 20220309337
- Publication date Sep 29, 2022
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SHARING INSIGHTS BETWEEN PRE AND POST DEPLOYMENT TO ENHANCE CLOUD W...
- Publication number 20220147635
- Publication date May 12, 2022
- International Business Machines Corporation
- FADY COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PREDICTING CODE VULNERABILITIES USING MACHINE LEARNING CLASSIFIER M...
- Publication number 20210357207
- Publication date Nov 18, 2021
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
GENETIC FUZZING FOR CUSTOMIZATION OF SECURITY OPERATIONS CENTER RUL...
- Publication number 20210264286
- Publication date Aug 26, 2021
- International Business Machines Corporation
- FADY COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SELECTIVE RUNTIME ACTIVATION OF ANTI-ROP DEFENSE
- Publication number 20210157925
- Publication date May 27, 2021
- International Business Machines Corporation
- FADY COPTY
- 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
SYSTEM LEVEL TEST GENERATION USING DNN TRANSLATION FROM UNIT LEVEL...
- Publication number 20200183816
- Publication date Jun 11, 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
INTERFACE LAYER OBFUSCATION AND USAGE THEREOF
- Publication number 20190238524
- Publication date Aug 1, 2019
- International Business Machines Corporation
- Fady Copty
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Application
DIMENSIONALITY REDUCTION BASED ON FUNCTIONALITY
- Publication number 20190180029
- Publication date Jun 13, 2019
- International Business Machines 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
USER AUTHENTICATION BASED ON PREDICTIVE APPLICATIONS
- Publication number 20190132306
- Publication date May 2, 2019
- International Business Machines Corporation
- Ayelet Avni
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PROTECTING COMPUTER CODE AGAINST ROP ATTACKS
- Publication number 20180232518
- Publication date Aug 16, 2018
- International Business Machines Corporation
- FADY COPTY
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD, SYSTEM AND PRODUCT FOR USING A PREDICTIVE MODEL TO PREDICT...
- Publication number 20180232523
- Publication date Aug 16, 2018
- International Business Machines Corporation
- Fady Copty
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS
- Publication number 20170109254
- Publication date Apr 20, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS
- Publication number 20170109255
- Publication date Apr 20, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS
- Publication number 20170091068
- Publication date Mar 30, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS
- Publication number 20170091081
- Publication date Mar 30, 2017
- International Business Machines Corporation
- Allon Adir
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
USING TRACES OF ORIGINAL MODEL TO VERIFY A MODIFIED MODEL
- Publication number 20150317421
- Publication date Nov 5, 2015
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
FORMAL VERIFICATION OF ARBITERS
- Publication number 20140115217
- Publication date Apr 24, 2014
- International Business Machines Corporation
- Gadiel Auerbach
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Predicting security response impact

Sharing insights between pre and post deployment to enhance cloud w...

Predicting security response impact

Migrating infrastructure as code between different cloud providers

Predicting code vulnerabilities using machine learning classifier m...

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

Detecting infrastructure as code compliance inconsistency in a mult...

Automatic malware signature generation for threat detection systems

Dimensionality reduction based on functionality

Co-verification of hardware and software

Co-verification of hardware and software

System level test generation using DNN translation from unit level...

Interface layer obfuscation and usage thereof

User authentication based on predictive applications

Feature vector aggregation for malware detection

Co-verification of hardware and software

Hybrid genetic concolic co-verification of hardware and software

Protecting computer code against ROP attacks

Method, system and product for using a predictive model to predict...

Unit-level formal verification for vehicular software systems

Unit-level formal verification for vehicular software systems

Unit-level formal verification for vehicular software systems

Unit-level formal verification for vehicular software systems

Using traces of original model to verify a modified model

Formal verification of arbiters

Formal verification of random priority-based arbiters using propert...

Patents Applicationslast 30 patents

APPLICATION DISCOVERY ENGINE IN A SECURITY MANAGEMENT SYSTEM

MAPPING PIPELINE RUN SOURCES AND TARGETS IN CLOUD INFRASTRUCTURES

PREDICTING SECURITY RESPONSE IMPACT

MIGRATING INFRASTRUCTURE AS CODE BETWEEN DIFFERENT CLOUD PROVIDERS

PREDICTING SECURITY RESPONSE IMPACT

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

POLICY SECURITY SHIFTING LEFT OF INFRASTRUCTURE AS CODE COMPLIANCE

SHARING INSIGHTS BETWEEN PRE AND POST DEPLOYMENT TO ENHANCE CLOUD W...

PREDICTING CODE VULNERABILITIES USING MACHINE LEARNING CLASSIFIER M...

GENETIC FUZZING FOR CUSTOMIZATION OF SECURITY OPERATIONS CENTER RUL...

SELECTIVE RUNTIME ACTIVATION OF ANTI-ROP DEFENSE

Automatic Malware Signature Generation for Threat Detection Systems

SYSTEM LEVEL TEST GENERATION USING DNN TRANSLATION FROM UNIT LEVEL...

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

INTERFACE LAYER OBFUSCATION AND USAGE THEREOF

DIMENSIONALITY REDUCTION BASED ON FUNCTIONALITY

FEATURE VECTOR AGGREGATION FOR MALWARE DETECTION

USER AUTHENTICATION BASED ON PREDICTIVE APPLICATIONS

PROTECTING COMPUTER CODE AGAINST ROP ATTACKS

METHOD, SYSTEM AND PRODUCT FOR USING A PREDICTIVE MODEL TO PREDICT...

UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS

UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS

UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS

UNIT-LEVEL FORMAL VERIFICATION FOR VEHICULAR SOFTWARE SYSTEMS

USING TRACES OF ORIGINAL MODEL TO VERIFY A MODIFIED MODEL

FORMAL VERIFICATION OF ARBITERS