Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model

We consider a type of zero-knowledge protocols that are of interest for their practical applications within networks like the Internet: efficient zero-knowledge arguments of knowledge that remain secure against concurrent man-in-the-middle attacks. In an effort to reduce the setup assumptions required for efficient zero-knowledge arguments of knowledge that remain secure against concurrent man-in-the-middle attacks, we consider a model, which we call the Authenticated Public-Key (APK) model. The APK model seems to significantly reduce the setup assumptions made by the CRS model (as no trusted party or honest execution of a centralized algorithm are required), and can be seen as a slightly stronger variation of the Bare Public-Key (BPK) model from \cite{CGGM,MR}, and a weaker variation of the registered public-key model used in \cite{BCNP}. We then define and study man-in-the-middle attacks in the APK model. Our main result is a constant-round concurrent non-malleable zero-knowledge argument of knowledge for any polynomial-time relation (associated to a language in $\mathcal{NP}$), under the (minimal) assumption of the existence of a one-way function family. Furthermore,We show time-efficient instantiations of our protocol based on known number-theoretic assumptions. We also note a negative result with respect to further reducing the setup assumptions of our protocol to those in the (unauthenticated) BPK model, by showing that concurrently non-malleable zero-knowledge arguments of knowledge in the BPK model are only possible for trivial languages

D2D-Assisted Mobile Edge Computing: Optimal Scheduling under Uncertain Processing Cycles and Intermittent Communications

Mobile edge computing (MEC) has been regarded as a promising approach to deal with explosive computation requirements by enabling cloud computing capabilities at the edge of networks. Existing models of MEC impose some strong assumptions on the known processing cycles and unintermittent communications. However, practical MEC systems are constrained by various uncertainties and intermittent communications, rendering these assumptions impractical. In view of this, we investigate how to schedule task offloading in MEC systems with uncertainties. First, we derive a closed-form expression of the average offloading success probability in a device-to-device (D2D) assisted MEC system with uncertain computation processing cycles and intermittent communications. Then, we formulate a task offloading maximization problem (TOMP), and prove that the problem is NP-hard. For problem solving, if the problem instance exhibits a symmetric structure, we propose a task scheduling algorithm based on dynamic programming (TSDP). By solving this problem instance, we derive a bound to benchmark sub-optimal algorithm. For general scenarios, by reformulating the problem, we propose a repeated matching algorithm (RMA). Finally, in performance evaluations, we validate the accuracy of the closed-form expression of the average offloading success probability by Monte Carlo simulations, as well as the effectiveness of the proposed algorithms

Worm Monte Carlo study of the honeycomb-lattice loop model

We present a Markov-chain Monte Carlo algorithm of "worm"type that correctly simulates the O(n) loop model on any (finite and connected) bipartite cubic graph, for any real n>0, and any edge weight, including the fully-packed limit of infinite edge weight. Furthermore, we prove rigorously that the algorithm is ergodic and has the correct stationary distribution. We emphasize that by using known exact mappings when n=2, this algorithm can be used to simulate a number of zero-temperature Potts antiferromagnets for which the Wang-Swendsen-Kotecky cluster algorithm is non-ergodic, including the 3-state model on the kagome-lattice and the 4-state model on the triangular-lattice. We then use this worm algorithm to perform a systematic study of the honeycomb-lattice loop model as a function of n<2, on the critical line and in the densely-packed and fully-packed phases. By comparing our numerical results with Coulomb gas theory, we identify the exact scaling exponents governing some fundamental geometric and dynamic observables. In particular, we show that for all n<2, the scaling of a certain return time in the worm dynamics is governed by the magnetic dimension of the loop model, thus providing a concrete dynamical interpretation of this exponent. The case n>2 is also considered, and we confirm the existence of a phase transition in the 3-state Potts universality class that was recently observed via numerical transfer matrix calculations.Comment: 33 pages, 12 figure

Anticancer effects of 7,8-dihydromethysticin in human leukemia cells are mediated via cell-cycle dysregulation, inhibition of cell migration and invasion and targeting JAK/STAT pathway

The main focus of this research work was to study the anticancer properties of 7,8-dihydromethysticin against HL-60 leukemia cells. Investigations were also performed to check its impact on the phases of the cell cycle, cell migration and invasion, JAK/STAT signalling pathway and intracellular mitochondrial membrane potential (MMP) and reactive oxygen species (ROS). Cell proliferation was assessed through 3-(4,5-dimethylthiazol-2-yl)-2,5-diphenyl tetrazolium bromide (MTT) assay and effects on colony formation were examined via clonogenic assay. Flow cytometry and western blott analysis were performed to investigate the distribution of cell cycle phases. Flow cytometric analysis was performed for the examination of MMP and ROS production. The effect on JAK/STAT signalling pathway was examined through western blot analysis. Results depicted that 7,8-dihydromethysticin induced concentration- as well as time-dependent inhibition of cell proliferation in leukemia HL-60 cells. Clonogenic assay indicated potential suppression in leukemia HL-60 cell colonies. The 7,8-dihydromethysticin molecule also caused cell cycle arrest at G2/M-phase along with concentration-dependent inhibition of cyclin B1, D1 and E. ROS and MMP measurements indicated significant ROS enhancement and MMP suppression with increasing 7,8-dihydromethysticin concentrations. Additionally, 7,8-dihydromethysticin led to remarkable dose-reliant inhibition of cell invasion as well as cell migration. Therefore, 7,8-dihydromethysticin should be considered a valuable candidate for leukemia research and chemoprevention