Inventor · disambiguated record
Fady Copty
Also filed as: COPTY FADY
28 granted patents·4 pending applications·62 citations·filing 2010–2023
94Inventor score
Top patents by PatentIndex Score
32 records- 0194US9588877B1Unit-level formal verification for vehicular software systemsIBM·Filed 2016·Granted Mar 7, 2017·16 cites·1 claims
- 0291US11550567B2User and entity behavior analytics of infrastructure as code in pre deployment of cloud infrastructureIBM·Filed 2021·Granted Jan 10, 2023·3 cites·20 claims
- 0391US9870313B2Unit-level formal verification for vehicular software systemsIBM·Filed 2017·Granted Jan 16, 2018·7 cites·1 claims
- 0488US9898395B2Unit-level formal verification for vehicular software systemsIBM·Filed 2017·Granted Feb 20, 2018·5 cites·1 claims
- 0587US12481487B2Mapping pipeline run sources and targets in cloud infrastructuresMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2023·Granted Nov 25, 2025·1 cites·20 claims
- 0687US11805141B2Predicting security response impactIBM·Filed 2021·Granted Oct 31, 2023·2 cites·20 claims
- 0785US10387655B2Method, system and product for using a predictive model to predict if inputs reach a vulnerability of a programIBM·Filed 2017·Granted Aug 20, 2019·8 cites·17 claims
- 0882US9875175B2Unit-level formal verification for vehicular software systemsIBM·Filed 2015·Granted Jan 23, 2018·2 cites·11 claims
- 0979US9495504B2Using traces of original model to verify a modified modelIBM·Filed 2014·Granted Nov 15, 2016·6 cites·20 claims
- 1078US11573785B2Predicting code vulnerabilities using machine learning classifier models trained on internal analysis statesIBM·Filed 2020·Granted Feb 7, 2023·2 cites·20 claims
- 1178US10649887B2Co-verification of hardware and softwareIBM·Filed 2018·Granted May 12, 2020·2 cites·9 claims
- 1272US9280496B2Formal verification of arbitersIBM·Filed 2012·Granted Mar 8, 2016·3 cites·18 claims
- 1371US12132751B2Predicting security response impactIBM·Filed 2023·Granted Oct 29, 2024·0 cites·20 claims
- 1471US11295013B2Dimensionality reduction based on functionalityIBM·Filed 2017·Granted Apr 5, 2022·2 cites·16 claims
- 1570US10915436B2System level test generation using DNN translation from unit level testIBM·Filed 2018·Granted Feb 9, 2021·2 cites·17 claims
- 1669US10657257B2Feature vector aggregation for malware detectionIBM·Filed 2017·Granted May 19, 2020·1 cites·20 claims
- 1762US11023362B2Co-verification of hardware and softwareIBM·Filed 2020·Granted Jun 1, 2021·0 cites·8 claims
- 1861US11003573B2Co-verification of hardware and softwareIBM·Filed 2020·Granted May 11, 2021·0 cites·7 claims
- 1957US11409501B1Detecting infrastructure as code compliance inconsistency in a multi-hybrid-cloud environmentIBM·Filed 2021·Granted Aug 9, 2022·0 cites·20 claims
- 2054US2025138805A1Development and operations server with code mapping moduleMICROSOFT TECHNOLOGY LICENSING LLC·Filed 2023·Application pending·0 cites
- 2148US11947444B2Sharing insights between pre and post deployment to enhance cloud workload securityIBM·Filed 2020·Granted Apr 2, 2024·0 cites·20 claims
- 2247US11704119B2Migrating infrastructure as code between different cloud providersIBM·Filed 2021·Granted Jul 18, 2023·0 cites·20 claims
- 2347US10417412B2Protecting computer code against ROP attacksIBM·Filed 2017·Granted Sep 17, 2019·0 cites·14 claims
- 2444US11720802B2Genetic fuzzing for customization of security operations center rules per organizationIBM·Filed 2020·Granted Aug 8, 2023·0 cites·17 claims
- 2544US2021157925A1Selective runtime activation of anti-rop defenseIBM·Filed 2019·Application pending·0 cites
- 2643US10606732B2Hybrid genetic concolic co-verification of hardware and softwareIBM·Filed 2018·Granted Mar 31, 2020·0 cites·15 claims
- 2743US2022309337A1Policy security shifting left of infrastructure as code complianceIBM·Filed 2021·Application pending·0 cites
- 2841US10798075B2Interface layer obfuscation and usage thereofIBM·Filed 2018·Granted Oct 6, 2020·0 cites·19 claims
- 2941US8370553B2Formal verification of random priority-based arbiters using property strengthening and underapproximationsIBM·Filed 2010·Granted Feb 5, 2013·0 cites·20 claims
- 3040US2020125943A1Adversial deep neural network fuzzingIBM·Filed 2018·Application pending·0 cites
- 3139US10742642B2User authentication based on predictive applicationsIBM·Filed 2018·Granted Aug 11, 2020·0 cites·5 claims
- 3237US11308210B2Automatic malware signature generation for threat detection systemsIBM·Filed 2019·Granted Apr 19, 2022·0 cites·20 claims
Join the waitlist — get patent alerts
Get an alert when Fady Copty files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →