Source author record

Biao Ma

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

7works
8topics
4close collaborators

Published work

7 publications

preprint2026arXiv

Ancora: Accurate Intrusion Recovery for Web Applications

Modern web application recovery presents a critical dilemma. Coarse-grained snapshot rollbacks cause unacceptable data loss for legitimate users. Surgically removing an attack's impact is hindered by a fundamental challenge in high-concurrency environments: it is difficult to attribute resulting file and database modifications to a specific attack-related request. We present Ancora, a system for precise intrusion recovery in web applications without invasive instrumentation. Ancora first isolates the full sequence of syscalls triggered by a single malicious request. Based on this sequence, Ancora addresses file and database modifications separately. To trace file changes, it builds a provenance graph that reveals all modifications, including those by exploit-spawned processes. To attribute database operations, a more difficult challenge due to connection pooling, Ancora introduces a novel spatiotemporal anchor. This anchor uses the request's network connection tuple and active time window to pinpoint exact database operations. With all malicious file and database operations precisely identified, Ancora performs a unified rewind and selective replay recovery. It reverts the system to a clean snapshot taken before the attack, then selectively re-applies only legitimate operations to both the file system and database. This completely removes the attack's effects while preserving concurrent legitimate data. We evaluated Ancora on 10 web applications and 20 CVE-based attack scenarios with concurrency up to 150 connections. Experiments demonstrate Ancora achieves 99.9% recovery accuracy with manageable overhead: up to 19.8% response latency increase and 17.8% QPS decrease in worst cases, and recovery throughput of 110.7 database operations per second and 27.2 affected files per second, effectively preserving legitimate data.

preprint2022arXiv

Boundary representations of mapping class groups

Let S=SgS = S_g be a closed orientable surface of genus g≥2g \geq 2 and Mod(S)Mod(S) be the mapping class group of SS. In this paper, we show that the boundary representation of Mod(S)Mod(S) is ergodic using statistical hyperbolicity, which generalizes the classical result of Masur on ergodicity of the action of Mod(S)Mod(S) on the projective measured foliation space PMF(S).\mathcal{PMF}(S). As a corollary, we show that the boundary representation of Mod(S)Mod(S) is irreducible.

preprint2021arXiv

On a family of unitary representations of mapping class groups

For a compact surface S=Sg,nS = S_{g,n} with 3g+n≥43g + n \geq 4, we introduce a family of unitary representations of the mapping class group Mod(SS) based on the space of measured foliations. For this family of representations, we show that none of them has almost invariant vectors. As one application, we obtain an inequality concerning the action of Mod(SS) on the Teichmüller space of SS. Moreover, using the same method plus recent results about weak equivalence, we also give a classification, up to weak equivalence, for the unitary quasi-representations with respect to geometrical subgroups.

preprint2014arXiv

Applications of shuffle product to restricted decomposition formulas for multiple zeta values

In this paper we obtain a recursive formula for the shuffle product and apply it to derive two restricted decomposition formulas for multiple zeta values (MZVs). The first formula generalizes the decomposition formula of Euler and is similar to the restricted formula of Eie and Wei for MZVs with one strings of 1's. The second formula generalizes the previous results to the product of two MZVs with one and two strings of 1's respectively.

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.