Verifone Gmbh

Deixis, Pbc

David Bruce Ezell

Chris Anthony Madden

Aidan Totterdell

Brad McGuinness

Paul Jannarone

Erik Vlugt

Mike Thomas Roach

Allen L Brown

Patrick J D Santos

Pamela E Bell

Techniques to perform mathematically and logically rigorous validations for decentralized applications (DApp) communicatively coupled to a distributed ledger are disclosed. A protocol for a business or enterprise process is encoded as a workflow on a labeled transition system as part of a DApp. Transitions are coded via an asynchronous Pi Calculus or other process calculi. A rules engine validates transitions using process calculi operations, or alternatively performing mathematical and logical analyses on the labeled transition system. Validations are disclosed for both development time and run time. In some embodiments, the logic behind the DApp is composed of a predetermined set of components representing processes. In one specific embodiment, the predetermined set of components is solely of an input component and an output component when composed perform a transaction where either both components received artifact representations from the other component or neither do.

Anonymous distributed consensus regarding the verification of protocols

A virtual payment system including a customer-specific, customer geolocation responsive, limited time duration payment identifier generator operative to generate a customer-specific, customer geolocation responsive, limited time duration payment identifier, a customer-specific limited time duration payment identifier communicator operative to communicate the customer-specific, customer geolocation responsive, limited time duration payment identifier to a customer and a limited time duration payment identifier validator, operative to verify genuineness and timeliness of the customer-specific, customer geolocation responsive, limited time duration payment identifier presented by the customer at a point of sale.

Location-based payment system and method

A point of sale system including at least one proxy server having an internet connection, a web browser operative to download web pages from the internet via the proxy server, and a real time user input limiting trusted computing base module communicating with the web browser and being operative to limit user input to the web pages in real time.

System for secure web-prompt processing on point sale devices

System for secure web-prompt processing on point of sale devices

Growing community of inventors

Tampa, FL, United States of America

David Bruce Ezell