Inventor
COPTY FADY
IL30 patents
⚠️ This page may combine multiple inventors who share the name “COPTY FADY”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.
IBM
27 patentsUS9588877B1Mar 7, 2017
Unit-level formal verification for vehicular software systems
IBM16 citations92
US10387655B2Aug 20, 2019
Method, system and product for using a predictive model to predict if inputs reach a vulnerability of a program
IBM8 citations83
US9898395B2Feb 20, 2018
Unit-level formal verification for vehicular software systems
IBM5 citations83
US9870313B2Jan 16, 2018
Unit-level formal verification for vehicular software systems
IBM7 citations83
US11805141B2Oct 31, 2023
Predicting security response impact
IBM2 citations72
US11550567B2Jan 10, 2023
User and entity behavior analytics of infrastructure as code in pre deployment of cloud infrastructure
IBM3 citations72
US9875175B2Jan 23, 2018
Unit-level formal verification for vehicular software systems
IBM2 citations72
US9280496B2Mar 8, 2016
Formal verification of arbiters
IBM3 citations72
US10649887B2May 12, 2020
Co-verification of hardware and software
IBM2 citations71
US9495504B2Nov 15, 2016
Using traces of original model to verify a modified model
IBM6 citations71
US10915436B2Feb 9, 2021
System level test generation using DNN translation from unit level test
IBM2 citations70
US11295013B2Apr 5, 2022
Dimensionality reduction based on functionality
IBM2 citations68
US11573785B2Feb 7, 2023
Predicting code vulnerabilities using machine learning classifier models trained on internal analysis states
IBM2 citations65
US12132751B2Oct 29, 2024
Predicting security response impact
IBM0 citations62
US11409501B1Aug 9, 2022
Detecting infrastructure as code compliance inconsistency in a multi-hybrid-cloud environment
IBM0 citations62
US11023362B2Jun 1, 2021
Co-verification of hardware and software
IBM0 citations61
US11003573B2May 11, 2021
Co-verification of hardware and software
IBM0 citations61
US10657257B2May 19, 2020
Feature vector aggregation for malware detection
IBM1 citations57
US10417412B2Sep 17, 2019
Protecting computer code against ROP attacks
IBM0 citations51
US11947444B2Apr 2, 2024
Sharing insights between pre and post deployment to enhance cloud workload security
IBM0 citations50
US11704119B2Jul 18, 2023
Migrating infrastructure as code between different cloud providers
IBM0 citations50
US11720802B2Aug 8, 2023
Genetic fuzzing for customization of security operations center rules per organization
IBM0 citations43
US11308210B2Apr 19, 2022
Automatic malware signature generation for threat detection systems
IBM0 citations42
US8370553B2Feb 5, 2013
Formal verification of random priority-based arbiters using property strengthening and underapproximations
IBM0 citations41
US10798075B2Oct 6, 2020
Interface layer obfuscation and usage thereof
IBM0 citations40
US10606732B2Mar 31, 2020
Hybrid genetic concolic co-verification of hardware and software
IBM0 citations40
US10742642B2Aug 11, 2020
User authentication based on predictive applications
IBM0 citations36
MICROSOFT TECHNOLOGY LICENSING LLC
3 patentsUS12481487B2Nov 25, 2025
Mapping pipeline run sources and targets in cloud infrastructures
MICROSOFT TECHNOLOGY LICENSING LLC1 citations63
US12530460B2Jan 20, 2026
Automated governance policy-based security for a cloud native application
MICROSOFT TECHNOLOGY LICENSING LLC0 citations52
US12554839B2Feb 17, 2026
Application discovery engine in a security management system
MICROSOFT TECHNOLOGY LICENSING LLC0 citations44