Being Curious with Secrecy

Secrecy and drug regulation in Europe: who is being protected?

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,...

Curious curium.

Although perhaps not as renowned as its actinide siblings plutonium and uranium, the fourth transuranic element — named in honour of Pierre and Marie Curie — has a story that is intertwined with that of the twentieth century. The first isotope of element 96, 242Cm, was prepared in 1944 by Seaborg, James, and Ghiorso through bombardment of 239Pu with helium nuclei. This finding was quickly follo...

Rawls to the Rescue: Explaining Germany’s Curious Lack of Subjective Well-Being

Despite being a developed and industrialized country with one of Europe‟s most booming economies, Germany ranks only 33rd in Gallup‟s World Poll on happiness, well below the United States, the United Kingdom, and many other first-world countries.1 This is particularly perplexing when one considers Germany‟s highly progressive taxation system and its residents‟ extraordinary access to public goo...