International Business Machines Corporation

Maplebear Inc.

Globalfoundries Inc.

Nuance Communications, Inc.

Green Market Square Limited

James R Kraemer

Robert R Friedlander

Robert Lee Angell

Jeb R Linton

Samuel Scott Adams

Richard D Hennessy

Timothy Durniak

Joanna Lynn Fueyo

Elizabeth Vera Woodward

Richard Harold Boivie

John Kenyon Gerken, Iii

Carlos Henrique Cardonha

Fernando Luiz Koch

Anwer Mujahid Khan

Justyna M Nowak

David M Ungar

Susann Marie Keohane

Suparna Bhattacharya

David W Cosby

Kirill M Osipov

Josko Silobrcic

William Philip Shaouy

Wendy Ann Belluomini

Sergio Borger

Louis Thomas Fuka

Yashodhara M Patnaik

Robin Lougee

Shiping Liu

Edgar Leroy Murphy, Jr

Jennifer B Brown

Paul T Dimarzio

Thomas L Hanks

Philip R Varker

Maja Vukovic

Edward Stanely Suffern

Marco Aurelio Stelmar Netto

Shunguo Yan

Pierre Arbajian

Julio Nogima

Marcos Dias De Assuncao

Erik H Katzen

German Sergio Goldszmidt

Harold Leon Ossher

Vinod A Bijlani

William Stephen Carter

John Baxter Rollins

Christopher M Poulin

Pawan Khera

Robin Lougee-Heimer

Christine A Banke

Tony H Chow

Kelly Grant Lee

Ricardo G Herrmann

John D Hill, Iii

Richard J Dalle-Molle

Edward J Macko

Linda Susan Erlanger

Michael Harold Eubank

Meredith Keating Moore

Paul L Brackett

Anne O Jackson

Jack Chen

Le Gang Wu

Jay A Goodwyn

Daniel J Byrne

Anthony W Young

Mark W Byrne

Bruce Wayne Moore

A method for tag-based search includes capturing an image, extracting a tag from the image, identifying a location associated with the captured image, and querying stored content for information that matches the location and the tag. Local storage is checked for the information first, and remote storage may be checked subsequently. Any located information may be used to augment the image. Information located in the remote storage may be saved in the local storage until it reaches a certain age, until it fails to be accessed for a threshold period of time, or until the location moves outside a threshold radius associated with a location of the information located in the remote storage.

Context-aware tagging for augmented reality environments

A computer-implemented method, system, and/or computer program product provides security in a communication network between a user device and a computer related device, and receives payment for services offered through a distributed registry associated with the communication network. One or more processors provide a distributed registry that specifies a plurality of services available to support communications between a user device and a computer related device on a communication network. The processor(s) dynamically construct one or more multi-node transient processing pathways between the user device and the computer related device based on the services. The processor(s) present the plurality of services specified by the distributed registry to the user device, and append metadata describing a current cryptocurrency cost of the services. The processor(s) then charge the current cryptocurrency cost to a cryptocurrency account associated with the user device and provide the particular service to the user device.

Security in a communication network

A service running on a server includes a method running on a server, for example as a cloud server to provide a decentralized computing solution. The solution includes an audit service, a tax service or a combination thereof. The service includes providing a distributed registry that specifies a plurality of services available to support communications between a user device and a computer related device on a communication network. The pluralities of services specified by the distributed registry are presented to the user device. A request is received from the user device for a particular service from the plurality of services. The request may be made using a zero-knowledge protocol to maintain privacy of a user of the user device. The particular service includes an additional requested service for at least one of an auditability and taxability service. The particular service is provided along with the additional requested service.

Decentralized computing with auditability and taxability

An example operation may include one or more of connecting, by a multi-party smart contract server, to a blockchain network configured to store cryptographic proofs, generating, by the multi-party smart contract server, a proposed transaction, providing, by the multi-party smart contract server, the proposed transaction to a plurality of participant nodes, receiving, by the multi-party smart contract server, responses to the proposed transaction from the participant nodes, executing, by the multi-party smart contract server, a smart contract to request from respondent participant nodes attestations of required conditions of the smart contract, receiving and verifying, by the multi-party smart contract server, the attestations from the respondent participant nodes, and executing the proposed transaction and posting a cryptographic proof of a successful execution to the blockchain, by the multi-party smart contract server, in response to a satisfaction of the required conditions of the smart contract.

Verification of conditions of a blockchain transaction

A system, method, and computer readable storage medium configured for delivering services from a server to ensure multimedia content control by content providers (i.e. reduce piracy) and to ensure privacy by content users is described. The method begins with executing at least a portion of a content media player application to the device using a zero-knowledge protocol to ensure privacy of the user. Examples of zero-knowledge verifiable computing are succinct computational integrity and privacy (SCIP) protocol, zero-knowledge succinct non-interactive argument of knowledge (zk-snark) protocol, and probabilistically checkable proof (PCP) protocol. The content media player application includes digital right management technology using zero-knowledge verifiable computing to enforce usage conditions on the multimedia content. A response is received from the user device that the content media player application has executed on the user device. Based upon the response indicating a successful execution, accessing the multimedia content by the content media player application.

Multimedia content player with digital rights management while maintaining privacy of users

A verifiable computing system is presented. A worker computing device of the verifiable computing system receives a primary program and a verification logic that are generated based on a target function. The worker computing device includes a main processor and a coprocessor. The main processor is configured to execute the primary program and the coprocessor is configured to implement the verification logic. Telemetry is collected from the main processor executing the primary program and provided to the coprocessor. The coprocessor implementing the verification logic uses the telemetry to generate a proof. The proof is provided to a verifying computing device for determining whether the primary program is tampered with.

Coprocessor-accelerated verifiable computing

A method securely manages smart card transactions. A processing entity receives a smart card identifier from a smart card, where the smart card is a virtual card on a mobile computing device that comprises a processor, where the smart card identifier is a transaction-specific identifier for a transaction. A protected application is received at the mobile computing device, where a received protected application initially cannot be utilized by an operating system for execution by the processor. A security object is received at the mobile computing device, where the security object is used to convert the received protected application into an executable application that can be utilized by the operating system for execution by the processor. The processor executes the executable application to act as the virtual card, where the virtual card provides a functionality of a predefined physical electronic card.

Secure management of transactions using a smart/virtual card

A third party intermediary and a data protection method, system, and non-transitory computer readable medium, include executing a program, via the processor, using zero-knowledge verifiable computing to remove private content from a pre-approved version of a content to ensure privacy of a condition of a user from a provider of the content.

System, method, and recording medium for preventing back propogation of data protection

A method, system, and/or computer program product optimize a display of messages on a public electronic video display. A video camera captures images of multiple mobile vehicles that are traversing a vehicular pathway, which is physically proximate to a public electronic video display. The multiple mobile vehicles are categorized into a specific vehicle category based on captured images of the multiple mobile vehicles. The specific vehicle category is matched to a particular set of multiple video display messages. A video display message is displayed on the public electronic video display based on the specific vehicle category.

Electronic messaging display optimization

A computer-implemented method, system, and/or computer program product generates and utilizes synthetic context-based objects. One or more processors define a context object, where the context object provides a context that identifies a specific subject-matter, from multiple subject-matters, of a non-contextual data object. The processor(s) associate the non-contextual data object with the context object to define a synthetic context-based object and the synthetic context-based object with at least one specific data store. A request is received from a requester for data from said at least one specific data store that is associated with the synthetic context-based object, where said at least one specific data store is within a database of multiple data stores. Data is returned to the requester from said at least one specific data store that is associated with the synthetic context-based object.

Generation of synthetic context objects using bounded context objects

A computer implemented method modifies a unit of medical equipment based on never-event cohorts, where a never-event is a preventable error experienced by a patient while receiving medical care. One or more processors process patient care data to form digital patient care data. The processor(s) analyze the digital patient care data using cohort criteria to identify a set of never-event attributes from the set of patient care patterns. The processor(s) receive, from a set of sensors, facility event data that describe an electrical fault in a unit of medical equipment used on patients in the patient care facility in order to modify the digital patient care data, and then modify the unit of medical equipment in order to correct the electrical fault based on the modified digital patient care data.

Controlling equipment in a patient care facility based on never-event cohorts from patient care data

A service running on a server, for example as a cloud server, that services with a guarantee from a guarantor. The service includes receiving, from a user using a zero-knowledge protocol to ensure privacy of the user, a request for a service with an associated quality level for a fee. Next, the request for service received requires a guarantee of the service requiring additional assurances based on a rating quantity available by a guarantor of the service is identified. At least a portion of the rating quantity available by the guarantor of the service is received. A notification from the user that the service is unacceptable is received. In response to the notification and a verification that the associated quality level was not met, refunding at least a portion of the fee to the user from the guarantor of the service.

Zero knowledge third party guarantee of service on decentralized computing platform

A method prevents a cascading failure in a complex stream computer system. The method includes receiving binary data that identifies multiple subcomponents in a complex stream computer system. These identified multiple subcomponents include upstream subcomponents that generate multiple outputs and a downstream subcomponent that executes a downstream computational process that uses the multiple outputs. The method dynamically adjusts which of multiple inputs are used by the downstream subcomponent in an attempt to generate an output from the downstream subcomponent that meets a predefined trustworthiness level for making a first type of prediction. If no variations of execution of one or more functions used by the downstream subcomponent ever produce an output that meets the predefined trustworthiness level for making a first type of prediction, then computer hardware executes a new downstream computational process that produces a different second type of prediction.

Preventing cascade failures in computer systems

A trusted network based service running on a server, for example as a cloud server, includes receiving a request from a first user device and a second user device. The request includes one or more inputs to perform a transaction. Based upon the request, selecting one or more computational resources from a set of a plurality of computational resources using zero-knowledge verifiable computing. In response to receiving authorization from each of the computational resources that they are capable of performing the zero-knowledge verifiable computing transactions to carry out at least a portion of the request, executing the program using zero-knowledge verifiable computing to carry out the request using a zero-knowledge protocol to ensure privacy of the first user device and the second user device. Sending to the first user device and the second user device an output of the request.

Cryptographically assured zero-knowledge cloud service for composable atomic transactions

A trusted network based service running on a server, for example as a cloud server, includes receiving a request from a first user device and a second user device. The request includes one or more inputs to perform a stateless transaction based on combinational logic. An output of the combinational logic is a function of only the one or more inputs. Based upon the request, a program is selected from a set of a plurality of programs using zero-knowledge verifiable computing to carry out the transaction. The program is executed using zero-knowledge verifiable computing. The execution of the program out the transaction based on combinational logic with the one or more inputs using a zero-knowledge protocol to ensure privacy of the first user device and the second user device. The output of the combinational logic along with proof from the zero-knowledge protocol that the combinational logic was executed without alteration.

Cryptographically assured zero-knowledge cloud services for elemental transactions

Growing community of inventors

Santa Fe, NM, United States of America

James R Kraemer