Domain-Specific Hardwired Web Browser Machine

An apparatus comprising:

• one or more field programmable gate arrays programmed, via one or more field programmable gate array (FPGA) images, to cause the apparatus to:
• receive image or textual data associated with a web page;
• generate, based on the image or textual data, a first symbol and a second symbol;
• determine that a value of the first symbol is valid according to a first domain, wherein the first domain is one of a plurality of domains embedded into hardware of the domain-specific symbolic web browser apparatus, wherein the first domain includes, via a hardwired symbolic notation, values that the image or textual data is allowed to have;
• determine that a value of the second symbol is not valid according to the first domain;
• based on determining that the value of the second symbol is not valid, determine that the second symbol is associated with malware, and prevent the second symbol from being processed for display;
• and
• generate display data based on the first symbol and output the display data for display.

A method comprising:

• receiving a definition of one or more functions for a web browser to be implemented in an apparatus, wherein the one or more functions include identifying and removing malware from a web page;
• determining a list of domains, a list of variable objects and a list of maps based on the definition;
• determining, based on the list of domains, domain validation pipe circuitry to produce a plurality of domain validation pipe circuits that are each configured to validate input as having a valid value according to at least one domain in the list of domains;
• determining, based on the list of maps, domain mapping pipe circuitry to produce a plurality of domain mapping pipe circuits that are each configured to map input between a first domain in the list of domains to a second domain in the list of domains;
• determining, based on the list of variable objects, memory block circuitry to produce a plurality of memory block circuits, the plurality of memory block circuits being configured to (a) provide input to and receive output from the plurality of domain validation pipe circuits and (b) provide input to and receive output from the plurality of domain mapping pipe circuits;
• and
• implementing the plurality of domain validation pipe circuits, the plurality of domain mapping pipe circuits and the plurality of memory block circuits into the apparatus such that the apparatus is configured to perform the one or more functions for the web browser.