Inventor · Nazareth, IL

Fady Copty

27Patents
4h-index
26Co-inventors
59Inventor score

Filing activity: Oct 18, 2010 → Sep 25, 2023

Most-cited inventions

PatentTitleAreaCited byStatus
US9588877B1 Unit-level formal verification for vehicular software systems Physics 12 Active
US10387655B2 Method, system and product for using a predictive model to predict if inputs reach a vulnerability of a program Physics 5 Active
US9870313B2 Unit-level formal verification for vehicular software systems Physics 4 Active
US9495504B2 Using traces of original model to verify a modified model Physics 4 Active
US9280496B2 Formal verification of arbiters Physics 3 Active
US10649887B2 Co-verification of hardware and software Physics 2 Active
US9898395B2 Unit-level formal verification for vehicular software systems Physics 2 Active
US11550567B2 User and entity behavior analytics of infrastructure as code in pre deployment of cloud infrastructure Physics 1 Active
US10657257B2 Feature vector aggregation for malware detection Physics 1 Active
US11805141B2 Predicting security response impact Electricity 1 Active
US11573785B2 Predicting code vulnerabilities using machine learning classifier models trained on internal analysis states Physics 1 Active
US11295013B2 Dimensionality reduction based on functionality Physics 1 Active
US9875175B2 Unit-level formal verification for vehicular software systems Physics 1 Active
US10915436B2 System level test generation using DNN translation from unit level test Physics 0 Active
US11308210B2 Automatic malware signature generation for threat detection systems Physics 0 Active
US12132751B2 Predicting security response impact Electricity 0 Active
US11409501B1 Detecting infrastructure as code compliance inconsistency in a multi-hybrid-cloud environment Physics 0 Active
US10417412B2 Protecting computer code against ROP attacks Physics 0 Active
US11023362B2 Co-verification of hardware and software Physics 0 Active
US11947444B2 Sharing insights between pre and post deployment to enhance cloud workload security Physics 0 Active
US10798075B2 Interface layer obfuscation and usage thereof Electricity 0 Active
US11704119B2 Migrating infrastructure as code between different cloud providers Physics 0 Active
US11720802B2 Genetic fuzzing for customization of security operations center rules per organization Physics 0 Active
US10742642B2 User authentication based on predictive applications Electricity 0 Active
US8370553B2 Formal verification of random priority-based arbiters using property strengthening and underapproximations Physics 0 Active

Source: USPTO / EPO open patent data. Inventor disambiguation is heuristic; counts are objective bibliographic measures.