US7058925B2
(en)
*
|
2002-04-30 |
2006-06-06 |
Microsoft Corporation |
System and method for generating a predicate abstraction of a program
|
US8881282B1
(en)
|
2004-04-01 |
2014-11-04 |
Fireeye, Inc. |
Systems and methods for malware attack detection and identification
|
US8549638B2
(en)
|
2004-06-14 |
2013-10-01 |
Fireeye, Inc. |
System and method of containing computer worms
|
US8528086B1
(en)
|
2004-04-01 |
2013-09-03 |
Fireeye, Inc. |
System and method of detecting computer worms
|
US9106694B2
(en)
|
2004-04-01 |
2015-08-11 |
Fireeye, Inc. |
Electronic message analysis for malware detection
|
US8584239B2
(en)
|
2004-04-01 |
2013-11-12 |
Fireeye, Inc. |
Virtual machine with dynamic data flow analysis
|
US8566946B1
(en)
|
2006-04-20 |
2013-10-22 |
Fireeye, Inc. |
Malware containment on connection
|
US8898788B1
(en)
|
2004-04-01 |
2014-11-25 |
Fireeye, Inc. |
Systems and methods for malware attack prevention
|
US7587537B1
(en)
|
2007-11-30 |
2009-09-08 |
Altera Corporation |
Serializer-deserializer circuits formed from input-output circuit registers
|
US8793787B2
(en)
|
2004-04-01 |
2014-07-29 |
Fireeye, Inc. |
Detecting malicious network content using virtual environment components
|
US8171553B2
(en)
|
2004-04-01 |
2012-05-01 |
Fireeye, Inc. |
Heuristic based capture with replay to virtual machine
|
US7743350B2
(en)
*
|
2004-05-21 |
2010-06-22 |
Fujitsu Limited |
Verifying one or more properties of a design using SAT-based BMC
|
DE102004033339A1
(de)
*
|
2004-07-09 |
2006-02-02 |
Infineon Technologies Ag |
Verfahren und Vorrichtung zum Auffinden von Schaltungsabweichungen
|
US7322016B2
(en)
*
|
2005-01-11 |
2008-01-22 |
International Business Machines Corporation |
Impact checking technique
|
US20060247907A1
(en)
*
|
2005-04-29 |
2006-11-02 |
Microsoft Corporation |
Deciding assertions in programs with references
|
US7930659B2
(en)
*
|
2005-06-03 |
2011-04-19 |
Nec Laboratories America, Inc. |
Software verification
|
US7640536B1
(en)
*
|
2005-09-27 |
2009-12-29 |
Rockwell Collins, Inc. |
Variable graph minimization for improved model-checking performance
|
US7835898B2
(en)
*
|
2005-11-22 |
2010-11-16 |
International Business Machines Corporation |
Satisfiability (SAT) based bounded model checkers
|
US8099726B2
(en)
*
|
2005-12-07 |
2012-01-17 |
Microsoft Corporation |
Implementing strong atomicity in software transactional memory
|
US8799882B2
(en)
*
|
2005-12-07 |
2014-08-05 |
Microsoft Corporation |
Compiler support for optimizing decomposed software transactional memory operations
|
US7926025B2
(en)
*
|
2005-12-30 |
2011-04-12 |
Microsoft Corporation |
Symbolic program model compositions
|
US8683441B2
(en)
*
|
2006-01-11 |
2014-03-25 |
International Business Machines Corporation |
Software equivalence checking
|
US7536602B2
(en)
*
|
2006-02-17 |
2009-05-19 |
Alcatel-Lucent Usa Inc. |
Method and apparatus for evaluating paths in a state machine
|
US7926039B2
(en)
*
|
2006-03-28 |
2011-04-12 |
Nec Laboratories America, Inc. |
Reachability analysis for program verification
|
US7509534B2
(en)
*
|
2006-06-27 |
2009-03-24 |
Microsoft Corporation |
Counterexample driven refinement for abstract interpretation
|
US8171438B2
(en)
*
|
2006-08-25 |
2012-05-01 |
International Business Machines Corporation |
Verification of a program partitioned according to the control flow information of the program
|
AU2007299571B2
(en)
*
|
2006-09-20 |
2013-09-12 |
National Ict Australia Limited |
Generating a transition system for use with model checking
|
US7934201B2
(en)
*
|
2006-10-17 |
2011-04-26 |
Artoftest, Inc. |
System, method, and computer readable medium for universal software testing
|
US7921411B2
(en)
*
|
2006-10-20 |
2011-04-05 |
International Business Machines Corporation |
Model checking of non-terminating software programs
|
JP4884177B2
(ja)
*
|
2006-11-17 |
2012-02-29 |
ヤマハ発動機株式会社 |
船舶用操舵装置及び船舶
|
FR2911971B1
(fr)
*
|
2007-01-26 |
2009-04-24 |
Commissariat Energie Atomique |
Procede et systeme de verification de proprietes d'un programme informatique.
|
US7685471B2
(en)
*
|
2007-02-01 |
2010-03-23 |
Fujitsu Limited |
System and method for detecting software defects
|
US9405819B2
(en)
*
|
2007-02-07 |
2016-08-02 |
Fujitsu Limited |
Efficient indexing using compact decision diagrams
|
US20090007038A1
(en)
*
|
2007-04-05 |
2009-01-01 |
Nec Laboratories America, Inc. |
Hybrid counterexample guided abstraction refinement
|
JP4924188B2
(ja)
*
|
2007-04-27 |
2012-04-25 |
トヨタ自動車株式会社 |
クロス検証装置
|
CA2704147C
(en)
*
|
2007-07-03 |
2015-08-11 |
Georgia-Pacific Chemicals Llc |
Chemical modification of maleated fatty acids
|
US8069434B2
(en)
*
|
2007-10-29 |
2011-11-29 |
Sap Ag |
Integrated model checking and issue resolution framework
|
US7949511B2
(en)
*
|
2007-11-12 |
2011-05-24 |
Nec Laboratories America, Inc. |
System and method for tunneling and slicing based BMC decomposition
|
US20090193417A1
(en)
*
|
2008-01-24 |
2009-07-30 |
Nec Laboratories America, Inc. |
Tractable dataflow analysis for concurrent programs via bounded languages
|
US7441216B1
(en)
*
|
2008-03-31 |
2008-10-21 |
International Business Machines Corporation |
Applying CNF simplification techniques for SAT-based abstraction refinement
|
US8549486B2
(en)
*
|
2008-04-21 |
2013-10-01 |
Microsoft Corporation |
Active property checking
|
US20090282289A1
(en)
*
|
2008-05-06 |
2009-11-12 |
Microsoft Corporation |
Generation and evaluation of test cases for software validation and proofs
|
US8402439B2
(en)
*
|
2008-06-27 |
2013-03-19 |
Microsoft Corporation |
Program analysis as constraint solving
|
JP5093508B2
(ja)
*
|
2008-10-15 |
2012-12-12 |
日本電気株式会社 |
ループ最適化システム、ループ最適化方法、及びループ最適化用プログラム
|
US8850571B2
(en)
|
2008-11-03 |
2014-09-30 |
Fireeye, Inc. |
Systems and methods for detecting malicious network content
|
US8997219B2
(en)
|
2008-11-03 |
2015-03-31 |
Fireeye, Inc. |
Systems and methods for detecting malicious PDF network content
|
US20100169618A1
(en)
*
|
2008-12-30 |
2010-07-01 |
Microsoft Corporation |
Identifying concurrency control from a sequential proof
|
US8875111B2
(en)
*
|
2009-04-23 |
2014-10-28 |
Microsoft Corporation |
Intermediate language representation and modification
|
US8539451B2
(en)
*
|
2009-05-12 |
2013-09-17 |
Nec Laboratories America, Inc. |
Systems and methods for model checking the precision of programs employing floating-point operations
|
US8832829B2
(en)
|
2009-09-30 |
2014-09-09 |
Fireeye, Inc. |
Network-based binary file extraction and analysis for malware detection
|
US8402444B2
(en)
*
|
2009-10-09 |
2013-03-19 |
Microsoft Corporation |
Program analysis through predicate abstraction and refinement
|
US8280899B2
(en)
*
|
2009-10-14 |
2012-10-02 |
Microsoft Corporation |
Abstracting events for data mining
|
US8156459B1
(en)
*
|
2009-11-10 |
2012-04-10 |
Xilinx, Inc. |
Detecting differences between high level block diagram models
|
US8775150B1
(en)
*
|
2009-12-17 |
2014-07-08 |
Cadence Design Systems, Inc. |
Method and system for providing an implicit unknown value to user enum data constructs in an HDL system to model power shutoff in simulation
|
JP5287693B2
(ja)
*
|
2009-12-18 |
2013-09-11 |
トヨタ自動車株式会社 |
プログラム検査装置
|
US8595707B2
(en)
*
|
2009-12-30 |
2013-11-26 |
Microsoft Corporation |
Processing predicates including pointer information
|
US8495588B2
(en)
|
2010-04-16 |
2013-07-23 |
International Business Machines Corporation |
Abstraction-guided synthesis
|
US8490057B2
(en)
|
2010-09-30 |
2013-07-16 |
International Business Machines Corporation |
Confidence-based static analysis
|
US9020796B2
(en)
|
2010-11-22 |
2015-04-28 |
Certon Software Inc. |
Model based verification using intelligent connectors
|
US8832659B2
(en)
*
|
2010-12-06 |
2014-09-09 |
University Of Washington Through Its Center For Commercialization |
Systems and methods for finding concurrency errors
|
US20120198399A1
(en)
*
|
2011-01-31 |
2012-08-02 |
Sean Arash Safarpour |
System, method and computer program for determining fixed value, fixed time, and stimulus hardware diagnosis
|
US8650546B2
(en)
*
|
2011-06-30 |
2014-02-11 |
International Business Machines Corporation |
Static analysis based on observed string values during execution of a computer-based software application
|
US8893102B2
(en)
*
|
2011-07-27 |
2014-11-18 |
Oracle International Corporation |
Method and system for performing backward-driven path-sensitive dataflow analysis
|
US20130247000A1
(en)
*
|
2012-03-13 |
2013-09-19 |
International Business Machine Corporation |
Dynamic synthesis of program synchronization
|
US9292693B2
(en)
*
|
2012-10-09 |
2016-03-22 |
International Business Machines Corporation |
Remediation of security vulnerabilities in computer software
|
US8973131B2
(en)
*
|
2012-11-02 |
2015-03-03 |
International Business Machines Corporation |
Refinement-based security analysis
|
US10572665B2
(en)
|
2012-12-28 |
2020-02-25 |
Fireeye, Inc. |
System and method to create a number of breakpoints in a virtual machine via virtual machine trapping events
|
US20140195208A1
(en)
*
|
2013-01-09 |
2014-07-10 |
GM Global Technology Operations LLC |
Efficient partition refinement based reachability checking for simulinks/stateflow models
|
US9367681B1
(en)
*
|
2013-02-23 |
2016-06-14 |
Fireeye, Inc. |
Framework for efficient security coverage of mobile software applications using symbolic execution to reach regions of interest within an application
|
US9195829B1
(en)
|
2013-02-23 |
2015-11-24 |
Fireeye, Inc. |
User interface with real-time visual playback along with synchronous textual analysis log display and event/time index for anomalous behavior detection in applications
|
US9159035B1
(en)
|
2013-02-23 |
2015-10-13 |
Fireeye, Inc. |
Framework for computer application analysis of sensitive information tracking
|
US9009822B1
(en)
|
2013-02-23 |
2015-04-14 |
Fireeye, Inc. |
Framework for multi-phase analysis of mobile applications
|
US9176843B1
(en)
|
2013-02-23 |
2015-11-03 |
Fireeye, Inc. |
Framework for efficient security coverage of mobile software applications
|
US8990944B1
(en)
|
2013-02-23 |
2015-03-24 |
Fireeye, Inc. |
Systems and methods for automatically detecting backdoors
|
US9009823B1
(en)
|
2013-02-23 |
2015-04-14 |
Fireeye, Inc. |
Framework for efficient security coverage of mobile software applications installed on mobile devices
|
US9104867B1
(en)
|
2013-03-13 |
2015-08-11 |
Fireeye, Inc. |
Malicious content analysis using simulated user interaction without user involvement
|
US9355247B1
(en)
|
2013-03-13 |
2016-05-31 |
Fireeye, Inc. |
File extraction from memory dump for malicious content analysis
|
US9626509B1
(en)
|
2013-03-13 |
2017-04-18 |
Fireeye, Inc. |
Malicious content analysis with multi-version application support within single operating environment
|
US9430646B1
(en)
|
2013-03-14 |
2016-08-30 |
Fireeye, Inc. |
Distributed systems and methods for automatically detecting unknown bots and botnets
|
US9311479B1
(en)
|
2013-03-14 |
2016-04-12 |
Fireeye, Inc. |
Correlation and consolidation of analytic data for holistic view of a malware attack
|
US10713358B2
(en)
|
2013-03-15 |
2020-07-14 |
Fireeye, Inc. |
System and method to extract and utilize disassembly features to classify software intent
|
US9413781B2
(en)
|
2013-03-15 |
2016-08-09 |
Fireeye, Inc. |
System and method employing structured intelligence to verify and contain threats at endpoints
|
US9495180B2
(en)
|
2013-05-10 |
2016-11-15 |
Fireeye, Inc. |
Optimized resource allocation for virtual machines within a malware content detection system
|
US9635039B1
(en)
|
2013-05-13 |
2017-04-25 |
Fireeye, Inc. |
Classifying sets of malicious indicators for detecting command and control communications associated with malware
|
US9189318B2
(en)
*
|
2013-05-15 |
2015-11-17 |
Oracle International Corporation |
Path-sensitive analysis framework for bug checking
|
US10133863B2
(en)
|
2013-06-24 |
2018-11-20 |
Fireeye, Inc. |
Zero-day discovery system
|
US9300686B2
(en)
|
2013-06-28 |
2016-03-29 |
Fireeye, Inc. |
System and method for detecting malicious links in electronic messages
|
EP2838013A1
(de)
*
|
2013-08-14 |
2015-02-18 |
Bitreactive AS |
Verbesserte Zustandsraumanalyse mittels partieller Beschreibungen
|
US9690936B1
(en)
|
2013-09-30 |
2017-06-27 |
Fireeye, Inc. |
Multistage system and method for analyzing obfuscated content for malware
|
US9171160B2
(en)
|
2013-09-30 |
2015-10-27 |
Fireeye, Inc. |
Dynamically adaptive framework and method for classifying malware using intelligent static, emulation, and dynamic analyses
|
US9294501B2
(en)
|
2013-09-30 |
2016-03-22 |
Fireeye, Inc. |
Fuzzy hash of behavioral results
|
US9736179B2
(en)
|
2013-09-30 |
2017-08-15 |
Fireeye, Inc. |
System, apparatus and method for using malware analysis results to drive adaptive instrumentation of virtual machines to improve exploit detection
|
US9628507B2
(en)
|
2013-09-30 |
2017-04-18 |
Fireeye, Inc. |
Advanced persistent threat (APT) detection center
|
US10515214B1
(en)
|
2013-09-30 |
2019-12-24 |
Fireeye, Inc. |
System and method for classifying malware within content created during analysis of a specimen
|
US9921978B1
(en)
|
2013-11-08 |
2018-03-20 |
Fireeye, Inc. |
System and method for enhanced security of storage devices
|
US9756074B2
(en)
|
2013-12-26 |
2017-09-05 |
Fireeye, Inc. |
System and method for IPS and VM-based detection of suspicious objects
|
US9747446B1
(en)
|
2013-12-26 |
2017-08-29 |
Fireeye, Inc. |
System and method for run-time object classification
|
US9507935B2
(en)
|
2014-01-16 |
2016-11-29 |
Fireeye, Inc. |
Exploit detection system with threat-aware microvisor
|
US9262635B2
(en)
|
2014-02-05 |
2016-02-16 |
Fireeye, Inc. |
Detection efficacy of virtual machine-based analysis with application specific events
|
US9241010B1
(en)
|
2014-03-20 |
2016-01-19 |
Fireeye, Inc. |
System and method for network behavior detection
|
US10242185B1
(en)
|
2014-03-21 |
2019-03-26 |
Fireeye, Inc. |
Dynamic guest image creation and rollback
|
US9591015B1
(en)
|
2014-03-28 |
2017-03-07 |
Fireeye, Inc. |
System and method for offloading packet processing and static analysis operations
|
US9223972B1
(en)
|
2014-03-31 |
2015-12-29 |
Fireeye, Inc. |
Dynamically remote tuning of a malware content detection system
|
US9432389B1
(en)
|
2014-03-31 |
2016-08-30 |
Fireeye, Inc. |
System, apparatus and method for detecting a malicious attack based on static analysis of a multi-flow object
|
US9438623B1
(en)
|
2014-06-06 |
2016-09-06 |
Fireeye, Inc. |
Computer exploit detection using heap spray pattern matching
|
US9973531B1
(en)
|
2014-06-06 |
2018-05-15 |
Fireeye, Inc. |
Shellcode detection
|
US9594912B1
(en)
|
2014-06-06 |
2017-03-14 |
Fireeye, Inc. |
Return-oriented programming detection
|
US10084813B2
(en)
|
2014-06-24 |
2018-09-25 |
Fireeye, Inc. |
Intrusion prevention and remedy system
|
US9398028B1
(en)
|
2014-06-26 |
2016-07-19 |
Fireeye, Inc. |
System, device and method for detecting a malicious attack based on communcations between remotely hosted virtual machines and malicious web servers
|
US10805340B1
(en)
|
2014-06-26 |
2020-10-13 |
Fireeye, Inc. |
Infection vector and malware tracking with an interactive user display
|
US10002252B2
(en)
|
2014-07-01 |
2018-06-19 |
Fireeye, Inc. |
Verification of trusted threat-aware microvisor
|
US9363280B1
(en)
|
2014-08-22 |
2016-06-07 |
Fireeye, Inc. |
System and method of detecting delivery of malware using cross-customer data
|
US10671726B1
(en)
|
2014-09-22 |
2020-06-02 |
Fireeye Inc. |
System and method for malware analysis using thread-level event monitoring
|
US9773112B1
(en)
|
2014-09-29 |
2017-09-26 |
Fireeye, Inc. |
Exploit detection of malware and malware families
|
US10027689B1
(en)
|
2014-09-29 |
2018-07-17 |
Fireeye, Inc. |
Interactive infection visualization for improved exploit detection and signature generation for malware and malware families
|
US9690933B1
(en)
|
2014-12-22 |
2017-06-27 |
Fireeye, Inc. |
Framework for classifying an object as malicious with machine learning for deploying updated predictive models
|
US10075455B2
(en)
|
2014-12-26 |
2018-09-11 |
Fireeye, Inc. |
Zero-day rotating guest image profile
|
US9934376B1
(en)
|
2014-12-29 |
2018-04-03 |
Fireeye, Inc. |
Malware detection appliance architecture
|
US9838417B1
(en)
|
2014-12-30 |
2017-12-05 |
Fireeye, Inc. |
Intelligent context aware user interaction for malware detection
|
US10148693B2
(en)
|
2015-03-25 |
2018-12-04 |
Fireeye, Inc. |
Exploit detection system
|
US9690606B1
(en)
|
2015-03-25 |
2017-06-27 |
Fireeye, Inc. |
Selective system call monitoring
|
US9438613B1
(en)
|
2015-03-30 |
2016-09-06 |
Fireeye, Inc. |
Dynamic content activation for automated analysis of embedded objects
|
US10417031B2
(en)
|
2015-03-31 |
2019-09-17 |
Fireeye, Inc. |
Selective virtualization for security threat detection
|
US9483644B1
(en)
|
2015-03-31 |
2016-11-01 |
Fireeye, Inc. |
Methods for detecting file altering malware in VM based analysis
|
US10474813B1
(en)
|
2015-03-31 |
2019-11-12 |
Fireeye, Inc. |
Code injection technique for remediation at an endpoint of a network
|
US9654485B1
(en)
|
2015-04-13 |
2017-05-16 |
Fireeye, Inc. |
Analytics-based security monitoring system and method
|
US9514025B2
(en)
*
|
2015-04-15 |
2016-12-06 |
International Business Machines Corporation |
Modeling memory use of applications
|
US9594904B1
(en)
|
2015-04-23 |
2017-03-14 |
Fireeye, Inc. |
Detecting malware based on reflection
|
US11113086B1
(en)
|
2015-06-30 |
2021-09-07 |
Fireeye, Inc. |
Virtual system and method for securing external network connectivity
|
US10726127B1
(en)
|
2015-06-30 |
2020-07-28 |
Fireeye, Inc. |
System and method for protecting a software component running in a virtual machine through virtual interrupts by the virtualization layer
|
US10454950B1
(en)
|
2015-06-30 |
2019-10-22 |
Fireeye, Inc. |
Centralized aggregation technique for detecting lateral movement of stealthy cyber-attacks
|
US10642753B1
(en)
|
2015-06-30 |
2020-05-05 |
Fireeye, Inc. |
System and method for protecting a software component running in virtual machine using a virtualization layer
|
US10715542B1
(en)
|
2015-08-14 |
2020-07-14 |
Fireeye, Inc. |
Mobile application risk analysis
|
US10176321B2
(en)
|
2015-09-22 |
2019-01-08 |
Fireeye, Inc. |
Leveraging behavior-based rules for malware family classification
|
US10033747B1
(en)
|
2015-09-29 |
2018-07-24 |
Fireeye, Inc. |
System and method for detecting interpreter-based exploit attacks
|
US9825989B1
(en)
|
2015-09-30 |
2017-11-21 |
Fireeye, Inc. |
Cyber attack early warning system
|
US10706149B1
(en)
|
2015-09-30 |
2020-07-07 |
Fireeye, Inc. |
Detecting delayed activation malware using a primary controller and plural time controllers
|
US10601865B1
(en)
|
2015-09-30 |
2020-03-24 |
Fireeye, Inc. |
Detection of credential spearphishing attacks using email analysis
|
US9825976B1
(en)
|
2015-09-30 |
2017-11-21 |
Fireeye, Inc. |
Detection and classification of exploit kits
|
US10817606B1
(en)
|
2015-09-30 |
2020-10-27 |
Fireeye, Inc. |
Detecting delayed activation malware using a run-time monitoring agent and time-dilation logic
|
US10210329B1
(en)
|
2015-09-30 |
2019-02-19 |
Fireeye, Inc. |
Method to detect application execution hijacking using memory protection
|
US10284575B2
(en)
|
2015-11-10 |
2019-05-07 |
Fireeye, Inc. |
Launcher for setting analysis environment variations for malware detection
|
US10447728B1
(en)
|
2015-12-10 |
2019-10-15 |
Fireeye, Inc. |
Technique for protecting guest processes using a layered virtualization architecture
|
US10846117B1
(en)
|
2015-12-10 |
2020-11-24 |
Fireeye, Inc. |
Technique for establishing secure communication between host and guest processes of a virtualization architecture
|
US10108446B1
(en)
|
2015-12-11 |
2018-10-23 |
Fireeye, Inc. |
Late load technique for deploying a virtualization layer underneath a running operating system
|
US10050998B1
(en)
|
2015-12-30 |
2018-08-14 |
Fireeye, Inc. |
Malicious message analysis system
|
US10133866B1
(en)
|
2015-12-30 |
2018-11-20 |
Fireeye, Inc. |
System and method for triggering analysis of an object for malware in response to modification of that object
|
US10565378B1
(en)
|
2015-12-30 |
2020-02-18 |
Fireeye, Inc. |
Exploit of privilege detection framework
|
US10621338B1
(en)
|
2015-12-30 |
2020-04-14 |
Fireeye, Inc. |
Method to detect forgery and exploits using last branch recording registers
|
US10581874B1
(en)
|
2015-12-31 |
2020-03-03 |
Fireeye, Inc. |
Malware detection system with contextual analysis
|
US9824216B1
(en)
|
2015-12-31 |
2017-11-21 |
Fireeye, Inc. |
Susceptible environment detection system
|
US11552986B1
(en)
|
2015-12-31 |
2023-01-10 |
Fireeye Security Holdings Us Llc |
Cyber-security framework for application of virtual features
|
US10534689B2
(en)
|
2016-03-09 |
2020-01-14 |
Tata Consultancy Services Limited |
Data structure abstraction for model checking
|
US10785255B1
(en)
|
2016-03-25 |
2020-09-22 |
Fireeye, Inc. |
Cluster configuration within a scalable malware detection system
|
US10671721B1
(en)
|
2016-03-25 |
2020-06-02 |
Fireeye, Inc. |
Timeout management services
|
US10601863B1
(en)
|
2016-03-25 |
2020-03-24 |
Fireeye, Inc. |
System and method for managing sensor enrollment
|
US10476906B1
(en)
|
2016-03-25 |
2019-11-12 |
Fireeye, Inc. |
System and method for managing formation and modification of a cluster within a malware detection system
|
US10826933B1
(en)
|
2016-03-31 |
2020-11-03 |
Fireeye, Inc. |
Technique for verifying exploit/malware at malware detection appliance through correlation with endpoints
|
US10893059B1
(en)
|
2016-03-31 |
2021-01-12 |
Fireeye, Inc. |
Verification and enhancement using detection systems located at the network periphery and endpoint devices
|
US10169585B1
(en)
|
2016-06-22 |
2019-01-01 |
Fireeye, Inc. |
System and methods for advanced malware detection through placement of transition events
|
US10462173B1
(en)
|
2016-06-30 |
2019-10-29 |
Fireeye, Inc. |
Malware detection verification and enhancement by coordinating endpoint and malware detection systems
|
US10592678B1
(en)
|
2016-09-09 |
2020-03-17 |
Fireeye, Inc. |
Secure communications between peers using a verified virtual trusted platform module
|
US10491627B1
(en)
|
2016-09-29 |
2019-11-26 |
Fireeye, Inc. |
Advanced malware detection using similarity analysis
|
CN106528407B
(zh)
*
|
2016-10-19 |
2019-01-25 |
中国航空综合技术研究所 |
一种嵌入式软件安全性自动化验证***及其验证方法
|
US10795991B1
(en)
|
2016-11-08 |
2020-10-06 |
Fireeye, Inc. |
Enterprise search
|
US10587647B1
(en)
|
2016-11-22 |
2020-03-10 |
Fireeye, Inc. |
Technique for malware detection capability comparison of network security devices
|
US10581879B1
(en)
|
2016-12-22 |
2020-03-03 |
Fireeye, Inc. |
Enhanced malware detection for generated objects
|
US10552610B1
(en)
|
2016-12-22 |
2020-02-04 |
Fireeye, Inc. |
Adaptive virtual machine snapshot update framework for malware behavioral analysis
|
US10523609B1
(en)
|
2016-12-27 |
2019-12-31 |
Fireeye, Inc. |
Multi-vector malware detection and analysis
|
US10904286B1
(en)
|
2017-03-24 |
2021-01-26 |
Fireeye, Inc. |
Detection of phishing attacks using similarity analysis
|
US10798112B2
(en)
|
2017-03-30 |
2020-10-06 |
Fireeye, Inc. |
Attribute-controlled malware detection
|
US10554507B1
(en)
|
2017-03-30 |
2020-02-04 |
Fireeye, Inc. |
Multi-level control for enhanced resource and object evaluation management of malware detection system
|
US10791138B1
(en)
|
2017-03-30 |
2020-09-29 |
Fireeye, Inc. |
Subscription-based malware detection
|
US10902119B1
(en)
|
2017-03-30 |
2021-01-26 |
Fireeye, Inc. |
Data extraction system for malware analysis
|
US10855700B1
(en)
|
2017-06-29 |
2020-12-01 |
Fireeye, Inc. |
Post-intrusion detection of cyber-attacks during lateral movement within networks
|
US10503904B1
(en)
|
2017-06-29 |
2019-12-10 |
Fireeye, Inc. |
Ransomware detection and mitigation
|
US10601848B1
(en)
|
2017-06-29 |
2020-03-24 |
Fireeye, Inc. |
Cyber-security system and method for weak indicator detection and correlation to generate strong indicators
|
US10893068B1
(en)
|
2017-06-30 |
2021-01-12 |
Fireeye, Inc. |
Ransomware file modification prevention technique
|
US10970449B2
(en)
*
|
2017-09-20 |
2021-04-06 |
International Business Machines Corporation |
Learning framework for software-hardware model generation and verification
|
US10747872B1
(en)
|
2017-09-27 |
2020-08-18 |
Fireeye, Inc. |
System and method for preventing malware evasion
|
US10805346B2
(en)
|
2017-10-01 |
2020-10-13 |
Fireeye, Inc. |
Phishing attack detection
|
US11108809B2
(en)
|
2017-10-27 |
2021-08-31 |
Fireeye, Inc. |
System and method for analyzing binary code for malware classification using artificial neural network techniques
|
US11240275B1
(en)
|
2017-12-28 |
2022-02-01 |
Fireeye Security Holdings Us Llc |
Platform and method for performing cybersecurity analyses employing an intelligence hub with a modular architecture
|
US11271955B2
(en)
|
2017-12-28 |
2022-03-08 |
Fireeye Security Holdings Us Llc |
Platform and method for retroactive reclassification employing a cybersecurity-based global data store
|
US11005860B1
(en)
|
2017-12-28 |
2021-05-11 |
Fireeye, Inc. |
Method and system for efficient cybersecurity analysis of endpoint events
|
US10826931B1
(en)
|
2018-03-29 |
2020-11-03 |
Fireeye, Inc. |
System and method for predicting and mitigating cybersecurity system misconfigurations
|
US10956477B1
(en)
|
2018-03-30 |
2021-03-23 |
Fireeye, Inc. |
System and method for detecting malicious scripts through natural language processing modeling
|
US11558401B1
(en)
|
2018-03-30 |
2023-01-17 |
Fireeye Security Holdings Us Llc |
Multi-vector malware detection data sharing system for improved detection
|
US11003773B1
(en)
|
2018-03-30 |
2021-05-11 |
Fireeye, Inc. |
System and method for automatically generating malware detection rule recommendations
|
US11314859B1
(en)
|
2018-06-27 |
2022-04-26 |
FireEye Security Holdings, Inc. |
Cyber-security system and method for detecting escalation of privileges within an access token
|
US11075930B1
(en)
|
2018-06-27 |
2021-07-27 |
Fireeye, Inc. |
System and method for detecting repetitive cybersecurity attacks constituting an email campaign
|
US11228491B1
(en)
|
2018-06-28 |
2022-01-18 |
Fireeye Security Holdings Us Llc |
System and method for distributed cluster configuration monitoring and management
|
US11316900B1
(en)
|
2018-06-29 |
2022-04-26 |
FireEye Security Holdings Inc. |
System and method for automatically prioritizing rules for cyber-threat detection and mitigation
|
US11182473B1
(en)
|
2018-09-13 |
2021-11-23 |
Fireeye Security Holdings Us Llc |
System and method for mitigating cyberattacks against processor operability by a guest process
|
US11763004B1
(en)
|
2018-09-27 |
2023-09-19 |
Fireeye Security Holdings Us Llc |
System and method for bootkit detection
|
US11368475B1
(en)
|
2018-12-21 |
2022-06-21 |
Fireeye Security Holdings Us Llc |
System and method for scanning remote services to locate stored objects with malware
|
EP3715975B1
(de)
*
|
2019-03-28 |
2023-03-01 |
Mitsubishi Electric R&D Centre Europe B.V. |
Verfahren und vorrichtung zur analyse eines ablaufprogramms
|
US11258806B1
(en)
|
2019-06-24 |
2022-02-22 |
Mandiant, Inc. |
System and method for automatically associating cybersecurity intelligence to cyberthreat actors
|
US11556640B1
(en)
|
2019-06-27 |
2023-01-17 |
Mandiant, Inc. |
Systems and methods for automated cybersecurity analysis of extracted binary string sets
|
US11392700B1
(en)
|
2019-06-28 |
2022-07-19 |
Fireeye Security Holdings Us Llc |
System and method for supporting cross-platform data verification
|
US11886585B1
(en)
|
2019-09-27 |
2024-01-30 |
Musarubra Us Llc |
System and method for identifying and mitigating cyberattacks through malicious position-independent code execution
|
US11637862B1
(en)
|
2019-09-30 |
2023-04-25 |
Mandiant, Inc. |
System and method for surfacing cyber-security threats with a self-learning recommendation engine
|
CN111625223B
(zh)
*
|
2020-05-26 |
2023-04-28 |
中国人民解放军国防科技大学 |
一种基于静态分析与抽象的软件设计重建方法
|
US11379468B1
(en)
*
|
2021-05-12 |
2022-07-05 |
International Business Machines Corporation |
Control flow graph refining via execution data
|
US20230315412A1
(en)
*
|
2022-03-30 |
2023-10-05 |
Microsoft Technology Licensing, Llc |
Scalable behavioral interface specification checking
|