BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Bingsheng Zhang

Bingsheng Zhang appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Cryptography and SecurityDistributed, Parallel, and Cluster Computingmath-phmath.APmath.MPmath.DS

Catalog footprint

What is connected

6works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2016arXiv

Distributed, End-to-end Verifiable, and Privacy-Preserving Internet Voting Systems

E-voting systems are a powerful technology for improving democracy. Unfortunately, prior voting systems have single points-of-failure, which may compromise availability, privacy, or integrity of the election results. We present the design, implementation, security analysis, and evaluation of the D-DEMOS suite of distributed, privacy-preserving, and end-to-end verifiable e-voting systems. We present two systems: one asynchronous and one with minimal timing assumptions but better performance. Our systems include a distributed vote collection subsystem that does not require cryptographic operations on behalf of the voter. We also include a distributed, replicated and fault-tolerant Bulletin Board component, that stores all necessary election-related information, and allows any party to read and verify the complete election process. Finally, we incorporate trustees, who control result production while guaranteeing privacy and end-to-end-verifiability as long as their strong majority is honest. Our suite of e-voting systems are the first whose voting operation is human verifiable, i.e., a voter can vote over the web, even when her web client stack is potentially unsafe, without sacrificing her privacy, and still be assured her vote was recorded as cast. Additionally, a voter can outsource election auditing to third parties, still without sacrificing privacy. We provide a model and security analysis of the systems, implement complete prototypes, measure their performance experimentally, and demonstrate their ability to handle large-scale elections. Finally, we demonstrate the performance trade-offs between the two versions of the system. A preliminary version of our system was used to conduct exit-polls at three voting sites for two national-level elections and is being adopted for use by the largest civil union of workers in Greece, consisting of over a half million members.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

D-DEMOS: A distributed, end-to-end verifiable, internet voting system

E-voting systems have emerged as a powerful technology for improving democracy by reducing election cost, increasing voter participation, and even allowing voters to directly verify the entire election procedure. Prior internet voting systems have single points of failure, which may result in the compromise of availability, voter secrecy, or integrity of the election results. In this paper, we present the design, implementation, security analysis, and evaluation of D-DEMOS, a complete e-voting system that is distributed, privacy-preserving and end-to-end verifiable. Our system includes a fully asynchronous vote collection subsystem that provides immediate assurance to the voter her vote was recorded as cast, without requiring cryptographic operations on behalf of the voter. We also include a distributed, replicated and fault-tolerant Bulletin Board component, that stores all necessary election-related information, and allows any party to read and verify the complete election process. Finally, we also incorporate trustees, i.e., individuals who control election result production while guaranteeing privacy and end-to-end-verifiability as long as their strong majority is honest. Our system is the first e-voting system whose voting operation is human verifiable, i.e., a voter can vote over the web, even when her web client stack is potentially unsafe, without sacrificing her privacy, and still be assured her vote was recorded as cast. Additionally, a voter can outsource election auditing to third parties, still without sacrificing privacy. Finally, as the number of auditors increases, the probability of election fraud going undetected is diminished exponentially. We provide a model and security analysis of the system. We implement a prototype of the complete system, we measure its performance experimentally, and we demonstrate its ability to handle large-scale elections.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On solutions of the 2D Navier-Stokes equations with constant energy and enstrophy

It is not yet known if the global attractor of the space periodic 2D Navier-Stokes equations contains nonstationary solutions $u(x,t)$ such that their energy and enstrophy per unit mass are constant for every $t \in (-\infty, \infty)$. The study of the properties of such solutions was initiated in \cite{CMM13}, where, due to the hypothetical existence of such solutions, they were called "ghost solutions". In this work, we introduce and study geometric structures shared by all ghost solutions. This study led us to consider a subclass of ghost solutions for which those geometric structures have a supplementary stability property. In particular, we show that the wave vectors of the active modes of this subclass of ghost solutions must satisfy certain supplementary constraints. We also found a computational way to check for the existence of these ghost solutions.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

On the emergence of the Navier-Stokes-$α$ model for turbulent channel flows

In a series of papers (see \cite{CDT02} and the pertinent references therein) the 3D Navier-Stokes-$α$ model were shown to be a useful complement to the 3D Navier-Stokes equations; and in particular, to be a good Reynolds version of the latter equations. In this work, we introduce a simple Reynolds averaging which, due to the wall roughness, transforms the Navier-Stokes equations into the Navier-Stokes-$α$ model.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On whether zero is in the global attractor of the 2D Navier-Stokes equations

The set of nonzero external forces for which the zero function is in the global attractor of the 2D Navier-Stokes equations is shown to be meagre in a Fréchet topology. A criterion in terms of a Taylor expansion in complex time is used to characterize the forces in this set. This leads to several relations between certain Gevrey subclasses of $C^{\infty}$ and a new upper bound for a Gevrey norm of solutions in the attractor, valid in the strip of analyticity in time.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Time analyticity with higher norm estimates for the 2D Navier-Stokes equations

This paper establishes bounds on norms of all orders for solutions on the global attractor of the 2D Navier-Stokes equations, complexified in time. Specifically, for periodic boundary conditions on $[0,L]^2$, and a force $g\in\calD(A^{\frac{α-1}{2}})$, we show there is a fixed strip about the real time axis on which a uniform bound $|A^αu|< m_ανκ_0^α$ holds for each $α\in \bN$. Here $ν$ is viscosity, $\k0=2π/L$, and $m_α$ is explicitly given in terms of $g$ and $α$. We show that if any element in $\calA$ is in $\D(A^α)$, then all of $\calA$ is in $\D(A^α)$, and likewise with $\D(A^α)$ replaced by $C^\infty(Ω)$. We demonstrate the universality of this "all for one, one for all" law on the union of a hierarchal set of function classes. Finally, we treat the question of whether the zero solution can be in the global attractor for a nonzero force by showing that if this is so, the force must be in a particular function class.

0 citations0 reviewsNo code linkedOpen access