Unconditionally Secure Oblivious Polynomial Evaluation: A Survey and New Results

Oblivious polynomial evaluation (OPE) is a two-party protocol that allows a receiver, R to learn an evaluation f(α), of a sender, S's polynomial f(x), whilst keeping both α and f(x) private. This protocol has attracted a lot of attention recently, as it has wide ranging applications in the field of cryptography. In this article we review some of these applications and, additionally, take an in-depth look at the special case of information theoretic OPE. Specifically, we provide a current and critical review of the existing information theoretic OPE protocols in the literature. We divide these protocols into two distinct cases (three-party and distributed OPE) allowing for the easy distinction and classification of future information theoretic OPE protocols. In addition to this work, we also develop several modifications and extensions to existing schemes, resulting in increased security, flexibility and efficiency. Lastly, we also identify a security flaw in a previously published OPE scheme.     

α-Methylene-β-Lactone Scaffold for Developing Chemical Probes at the Two Ends of the Selectivity Spectrum

The utilities of an α-methylene-β-lactone (MeLac) moiety as a warhead composed of multiple electrophilic sites are reported. We demonstrate that a MeLac-alkyne not only reacts with diverse proteins as a broadly reactive measurement probe, but also recruits reduced endogenous glutathione (GSH) to assemble a selective chemical probe of GSH-β-lactone (GSH-Lac)-alkyne in live cells. Tandem mass spectrometry reveals that MeLac reacts with nucleophilic cysteine, serine, lysine, threonine, and tyrosine residues, through either Michael or acyl addition. A peptide-centric proteomics platform demonstrates that the proteomic selectivity profiles of orlistat and parthenolide, which have distinct reactivities, are measurable by MeLac-alkyne as a high-coverage probe. The GSH-Lac-alkyne selectively probes the glutathione S-transferase P responsible for multidrug resistance. The assembly of the GSH-Lac probe exemplifies a modular and scalable route to develop selective probes with different recognizing moieties.     

Histone Deacetylase 2 (HDAC2) Inhibitors Containing Boron

Histone deacetylase enzymes (HDACs) are responsible for the global silencing of tumour-suppressor genes. Treatment with a histone deacetylase inhibitor (HDACi) can reverse this process and restore normal cell function. Herein, we report a small series of boron-based (boronic acid, boronate ester and closo-1,2-carborane) HDAC2 inhibitors with IC₅₀ values in the nanomolar range. The boronate ester 4 b was the most potent compound assessed in this study (IC₅₀=40.6±1.5 nM), followed closely by the 1,2-closo-carborane (IC₅₀=42.9±1.5 nM). Compound 4 b exceeds the potency of the related gold-standard HDAC pan-inhibitor vorinostat ( 1 ) toward this particular HDAC isoform.     

The posthuman: AI,dronology, and “becoming alien”

AI & SOCIETY - This paper is addressed to recent theoretical discussions of the Anthropocene, in particular Bernard Stiegler’s Neganthropocene (Open Universities Press, 2018), which...     

Mesoporous drug carrier systems for enhanced delivery rate of poorly water-soluble drug: nimodipine

Journal of Porous Materials - Two mesoporous silica materials: MCM-41 and SBA-15 were applied as potential nanocarriers for poorly soluble drug—nimodipine. Drug incorporation was performed...     

Constant hue bands in boundary colors discovered using a new appearance model

Boundary colors are observed when light from a scene is dispersed by a prism or diffraction grating. We discovered that patterns with repeating black and white stripes can produce repeating bands of boundary colors with two hues. These hues are virtually constant as measured by chromaticity or CIELAB. We found seven cases of this kind using a new appearance model for boundary colors. The model correctly predicts that green and magenta bands recur as stripe widths and dispersion strength vary. The first green/magenta case in the sequence traces out an accurate ellipse in XYZ color space. Green and magenta bands are prominent in supernumerary rainbows and interference rings, and we explain why that might be the case. The explanation is based on an interesting property of the visible spectrum. In addition to the green/magenta cases, the other cases are orange/cyan, yellowish‐green/purple, and yellow/violet. The success of the boundary color appearance model implies that bands are perceived as if the wavelength responses of the cones were essentially independent, which contradicts the actual behavior of cones. © 2014 Wiley Periodicals, Inc. Col Res Appl, 40, 135–146, 2015     

Rock brittleness indices and their applications to different fields of rock engineering:A review

Brittleness is an important parameter controlling the mechanical behavior and failure characteristics of rocks under loading and unloading conditions,such as fracability,cutability,drillability and rockburst proneness.As such,it is of high practical value to correctly evaluate rock brittleness.However,the definition and measurement method of rock brittleness have been very diverse and not yet been standardized.In this paper,the definitions of rock brittleness are firstly reviewed,and several representative definitions of rock brittleness are identified and briefly discussed.The development and role of rock brittleness in different fields of rock engineering are also studied.Eighty brittleness indices publicly available in rock mechanics literature are compiled,and the measurement method,applicability and limitations of some indices are discussed.The results show that(1)the large number of brittleness indices and brittleness definitions is attributed to the different foci on the rock behavior when it breaks;(2)indices developed in one field usually are not directly applicable to other fields;and(3)the term“brittleness”is sometimes misused,and many empirically-obtained brittleness indices,which lack theoretical basis,fail to truly reflect rock brittleness.On the basis of this review,three measurement methods are identified,i.e.(1)elastic deformation before fracture,(2)shape of post-peak stressestrain curves,and(3)methods based on fracture mechanics theory,which have the potential to be further refined and unified to become the standard measurement methods of rock brittleness.It is highly beneficial for the rock mechanics community to develop a robust definition of rock brittleness.This study will undoubtedly provide a comprehensive timely reference for selecting an appropriate brittleness index for their applications,and will also pave the way for the development of a standard definition and measurement method of rock brittleness in the long term.     

Formal verification of OIL component specifications using mCRL2

International Journal on Software Tools for Technology Transfer - To aid in making software bug-free, several high-tech companies are moving from coding to modelling. In some cases model checking...