Patents by Inventor John Cortes

John Cortes has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Patent number: 12225058
    Abstract: Systems, devices, and methods for correlating security policies to received packets are provided. In one example, a network device, maintains information regarding multiple security policies within a dual bitmap based search tree including a first bitmap and a second bitmap formatted as information embedded in a node structure. A packet is received by the network. A first field of the packet is compared with a first range, corresponding to a first bit location in the first bitmap in which the first bit location in the first bitmap is associated with at least a first security policy. After determining the first field is within the first range, the network device accesses a second bit location in the second bitmap, corresponding to the first bit location. Based at least in part upon a value in the second bit location, a set of one or more security policies are applied to the packet.
    Type: Grant
    Filed: March 28, 2024
    Date of Patent: February 11, 2025
    Assignee: Fortinet, Inc.
    Inventors: Shushan Wen, John Cortes, Zhi Guo
  • Patent number: 12052287
    Abstract: Systems, devices, and methods are discussed for classifying a number of security policies in relation to criteria for applying those security policies to yield a dual bitmap scheme representing a correlation between security policies and one or more criteria.
    Type: Grant
    Filed: March 1, 2022
    Date of Patent: July 30, 2024
    Assignee: Fortinet, Inc.
    Inventors: Shushan Wen, John Cortes, Zhi Guo
  • Publication number: 20240244085
    Abstract: Systems, devices, and methods for correlating security policies to received packets are provided. In one example, a network device, maintains information regarding multiple security policies within a dual bitmap based search tree including a first bitmap and a second bitmap formatted as information embedded in a node structure. A packet is received by the network. A first field of the packet is compared with a first range, corresponding to a first bit location in the first bitmap in which the first bit location in the first bitmap is associated with at least a first security policy. After determining the first field is within the first range, the network device accesses a second bit location in the second bitmap, corresponding to the first bit location. Based at least in part upon a value in the second bit location, a set of one or more security policies are applied to the packet.
    Type: Application
    Filed: March 28, 2024
    Publication date: July 18, 2024
    Applicant: Fortinet, Inc.
    Inventors: Shushan Wen, John Cortes, Zhi Guo
  • Patent number: 12041032
    Abstract: Systems, devices, and methods are discussed for identifying security policies applicable to a received information packet based upon a dual bitmap scheme accounting for bit position mergers and/or policies common to multiple bit positions.
    Type: Grant
    Filed: March 1, 2022
    Date of Patent: July 16, 2024
    Assignee: Fortinet, Inc.
    Inventors: Shushan Wen, John Cortes, Zhi Guo
  • Publication number: 20230283638
    Abstract: Systems, devices, and methods are discussed for classifying a number of security policies in relation to criteria for applying those security policies to yield a dual bitmap scheme representing a correlation between security policies and one or more criteria.
    Type: Application
    Filed: March 1, 2022
    Publication date: September 7, 2023
    Applicant: Fortinet, Inc.
    Inventors: SHUSHAN WEN, JOHN CORTES, ZHI GUO
  • Publication number: 20230283590
    Abstract: Systems, devices, and methods are discussed for identifying security policies applicable to a received information packet based upon a dual bitmap scheme accounting for bit position mergers and/or policies common to multiple bit positions.
    Type: Application
    Filed: March 1, 2022
    Publication date: September 7, 2023
    Applicant: Fortinet, Inc.
    Inventors: Shushan Wen, John Cortes, Zhi Guo
  • Patent number: 11347488
    Abstract: Systems and methods for programming a network device using a domain-specific language (DSL) are provided. According to one embodiment, source code in a form of a DSL, describing a slow-path task that is to be performed by a network device, is received by a processing resource. A determination is made regarding one or more types of processors are available within the network device to implement the slow-path task. For each portion of the source code, a preferred type of processor is determined by which the portion of the source code would be most efficiently implemented. When the preferred type of processor is available within the network device, executable code is generated targeting the preferred type of processor based on the portion of the source code; otherwise, intermediate code is generated in a form of a high-level programming language, targeting a general purpose processor of the network device.
    Type: Grant
    Filed: May 18, 2020
    Date of Patent: May 31, 2022
    Assignee: Fortinet, Inc.
    Inventors: Zhi Guo, John Cortes, Hao Wang
  • Publication number: 20210357194
    Abstract: Systems and methods for programming a network device using a domain-specific language (DSL) are provided. According to one embodiment, source code in a form of a DSL, describing a slow-path task that is to be performed by a network device, is received by a processing resource. A determination is made regarding one or more types of processors are available within the network device to implement the slow-path task. For each portion of the source code, a preferred type of processor is determined by which the portion of the source code would be most efficiently implemented. When the preferred type of processor is available within the network device, executable code is generated targeting the preferred type of processor based on the portion of the source code; otherwise, intermediate code is generated in a form of a high-level programming language, targeting a general purpose processor of the network device.
    Type: Application
    Filed: May 18, 2020
    Publication date: November 18, 2021
    Applicant: Fortinet, Inc.
    Inventors: Zhi Guo, John Cortes, Hao Wang
  • Patent number: 10984158
    Abstract: Systems and methods for generating design verification test cases using a restricted randomization process are provided. According to one embodiment, a processor of a hardware design verification system receives a set of restrictions and defines a scenario involving the values that is to be excluded from the test case. The processor also receives pre-assigned values for one or more variables. For each variable other than the one or more variables, the processor assigns a first random value to the variable that is within a valid range for the variable. The processor then identifies a conflict between a first pair of variables, and resolves the conflict by assigning a second random value to a first variable or a second variable of the first pair of variables within their respective valid ranges.
    Type: Grant
    Filed: March 31, 2020
    Date of Patent: April 20, 2021
    Assignee: Fortinet, Inc.
    Inventors: Shushan Wen, John Cortes
  • Patent number: 9811777
    Abstract: The present invention discloses a rule matching method including: receiving a packet; detecting feature information in content of the packet, and determining whether the detected feature information in the packet conforms to a classification characteristic of one rule group among a plurality of preset rule groups; if yes, determining a state machine corresponding to the one rule group as a first state machine; and determining whether the first state machine is stored in an on-chip memory, and if yes, using the first state machine to match the packet to obtain a matching result; and if no, when an off-chip memory stores the first state machine, loading the first state machine from the off-chip memory into the on-chip memory, and using the first state machine to match the packet to obtain a matching result. Embodiments of the present invention enable a product to achieve better performance.
    Type: Grant
    Filed: November 24, 2014
    Date of Patent: November 7, 2017
    Assignee: Huawei Technologies Co., Ltd.
    Inventors: Zhi Guo, Fuqiang Wu, Jia Zeng, Deepak Mansharamani, John Cortes, Lingyan Sun, Dan Tian
  • Publication number: 20150081612
    Abstract: The present invention discloses a rule matching method including: receiving a packet; detecting feature information in content of the packet, and determining whether the detected feature information in the packet conforms to a classification characteristic of one rule group among a plurality of preset rule groups; if yes, determining a state machine corresponding to the one rule group as a first state machine; and determining whether the first state machine is stored in an on-chip memory, and if yes, using the first state machine to match the packet to obtain a matching result; and if no, when an off-chip memory stores the first state machine, loading the first state machine from the off-chip memory into the on-chip memory, and using the first state machine to match the packet to obtain a matching result. Embodiments of the present invention enable a product to achieve better performance.
    Type: Application
    Filed: November 24, 2014
    Publication date: March 19, 2015
    Inventors: Zhi Guo, Fuqiang Wu, Jia Zeng, Deepak Mansharamani, John Cortes, Lingyan Sun, Dan Tian