GraphSE2^2: An Encrypted Graph Database for Privacy-Preserving Social Search

In this paper, we propose GraphSE$^2$, an encrypted graph database for online social network services to address massive data breaches. GraphSE$^2$ preserves the functionality of social search, a key enabler for quality social network services, where social search queries are conducted on a large-scale social graph and meanwhile perform set and computational operations on user-generated contents. To enable efficient privacy-preserving social search, GraphSE$^2$ provides an encrypted structural data model to facilitate parallel and encrypted graph data access. It is also designed to decompose complex social search queries into atomic operations and realise them via interchangeable protocols in a fast and scalable manner. We build GraphSE$^2$ with various queries supported in the Facebook graph search engine and implement a full-fledged prototype. Extensive evaluations on Azure Cloud demonstrate that GraphSE$^2$ is practical for querying a social graph with a million of users.Comment: This is the full version of our AsiaCCS paper "GraphSE$^2$: An Encrypted Graph Database for Privacy-Preserving Social Search". It includes the security proof of the proposed scheme. If you want to cite our work, please cite the conference version of i

Brayton-cycle radioisotope heat source design study. Phase I - /Conceptual design/ report

Conceptual designs for radioisotope heat source systems to provide 25 kW thermal power to Brayton cycle power conversion system for space application

The influence of emotional reaction on help seeking by victims of school bullying

Research has started to focus on how victims of school bullying cope, but there is still very little understanding if why pupils cope in one way and not another. This paper aimed to examine the effects of gender, school-stage, frequency of victimization and different emotions (anger, vengeance, self-pity, indifference, and helplessness) upon the choice of social support that children report using. Questionnaires were completed by 6282 Maltese schoolchildren aged between 9 and 14 years old. Analyses revealed that specific patterns of emotion and victimization predict whether pupils report using certain sources of social support. Results are discussed in relation to their relevance for possible intervention, future research needs and implications for the theoretical framework used

Presupposition projection as proof construction

Even though Van der Sandt's presuppositions as anaphora approach is empirically successful, it fails to give a formal account of the interaction between world-knowledge and presuppositions. In this paper, an algorithm is sketched which is based on the idea of presuppositions as anaphora. It improves on this approach by employing a deductive system, Constructive Type Theory (CTT), to get a formal handle on the way world-knowledge influences presupposition projection. In CTT, proofs for expressions are explicitly represented as objects. These objects can be seen as a generalization of DRT's discourse markers. They are useful in dealing with presuppositional phenomena which require world-knowledge, such as Clark's bridging examples and Beaver's conditional presuppositions

Efficient targeted mutagenesis in the monarch butterfly using zinc finger nucleases

The development of reverse-genetic tools in non-model insect species with distinct biology is critical to establish them as viable model systems. The eastern North American monarch butterfly (Danaus plexippus), whose genome is sequenced, has emerged as a model to study animal clocks, navigational mechanisms and the genetic basis of long-distance migration. Here, we developed a highly efficient gene-targeting approach in the monarch using zinc-finger nucleases (ZFNs), engineered nucleases that generate mutations at targeted genomic sequences. We focused our ZFN approach on targeting the type 2 vertebrate-like cryptochrome gene of the monarch (designated cry2), which encodes a putative transcriptional repressor of the monarch circadian clockwork. Co-injections of mRNAs encoding ZFNs targeting the second exon of monarch cry2 into one nucleus stage embryos led to high frequency non-homologous end-joining-mediated, mutagenic lesions in the germline (up to 50%). Heritable ZFN-induced lesions in two independent lines produced truncated, nonfunctional CRY2 proteins, resulting in the in vivo disruption of circadian behavior and the molecular clock mechanism. Our work genetically defines CRY2 as an essential transcriptional repressor of the monarch circadian clock and provides a proof of concept for the use of ZFNs for manipulating genes in the monarch butterfly genome. Importantly, this approach could be used in other lepidopterans and non-model insects, thus opening new avenues to decipher the molecular underpinnings of a variety of biological processes

Exotic Invasive Elm Bark Beetle, \u3cem\u3eScolytus kirschii\u3c/em\u3e, Detected in South Africa

In February 2005, the exotic bark beetle, Scolytus kirschii (Curculionidae: Scolytinae), was detected infesting English elms (Ulmus procera) in Stellenbosch, South Africa. This appears to be the first report of an infestation of Scolytus species in this country. The presence of this beetle is of concern for several reasons. Scolytus kirschii is a serious pest of elms, capable of killing healthy trees, resulting in considerable economic impact. There also exists the possibility that the beetle may undergo a host switch to indigenous trees, with potentially serious ecological consequences. Furthermore, the beetle is capable of being the vector of the pathogens responsible for Dutch elm disease (DED), Ophiostoma ulmi and Ophiostoma novo-ulmi. None of the trees that we inspected in Stellenbosch exhibited symptoms or signs of DED. Isolations from infested host material likewise failed to detect these pathogens. Nonetheless, the damage to the trees by the beetles alone was sufficient to cause tree death. Future directions for research and management of the beetle in its new environment are discussed

Spatially resolved spectroscopy of monolayer graphene on SiO2

We have carried out scanning tunneling spectroscopy measurements on exfoliated monolayer graphene on SiO$_2$ to probe the correlation between its electronic and structural properties. Maps of the local density of states are characterized by electron and hole puddles that arise due to long range intravalley scattering from intrinsic ripples in graphene and random charged impurities. At low energy, we observe short range intervalley scattering which we attribute to lattice defects. Our results demonstrate that the electronic properties of graphene are influenced by intrinsic ripples, defects and the underlying SiO$_2$ substrate.Comment: 6 pages, 7 figures, extended versio