Secrecy Inc.

Secrecy logic: S -secrecy structures

Let S = 〈L, S〉 be a deductive system. An S -secrecy logic is a quadruple K = 〈FmL(V ),K,B, S〉 , where FmL(V ) is the algebra of L-formulas, K,B are S -theories, with B ⊆ K and S ⊆ K such that S ∩ B = ∅ . K corresponds to information deducible from a knowledge base, B to information deducible from the publicly accessible (or browsable) part of the knowledge base and S is a secret set, a set of s...

Secrecy-Preserving Reasoning using Secrecy Envelopes

Inmany applications of networked information systems, the need to share information often has to be balanced against the need to protect secret information from unintended disclosure, e.g., due to copyright, privacy, security, or commercial considerations. We study the problem of secrecy-preserving reasoning, that is, answering queries using secret information, whenever it is possible to do so,...

eCopy, Inc

Genentech, Inc

How did it start? It began in 1976 with a meeting over a glass of beer between Bob Swanson, then a bright young venture capitalist, and Herb Boyer (UCSF), who with Stan Cohen (Stanford) had just performed some of the key experiments of recombinant DNA technology. The meeting is now immortalized in a brass statue in the new Founders’ Research Center. Genentech was founded later that year, and cl...

EntreMed, Inc

Golgi reported an " internal reticular apparatus " in neurons — a structure now known as the Golgi apparatus. Although this is by far his best-remembered work, Golgi made many other important scientific discoveries in his lifetime (1843–1926), and in 1906 shared the Nobel prize for Physiology or Medicine with Santiago Ramón y Cajal for their studies on the structure of the nervous system. As we...