Researcher profile

Taha Ameen

Taha Ameen contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Cryptography and Security eess.SY Information Theory math.IT math.ST Statistics Theory Systems and Control

Trust snapshot

Quick read

Trust 15 - Baseline

3works

0followers

7topics

4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

preprint2026arXiv

Detecting Planted Structure in Circular Data

Hypothesis testing problems for circular data are formulated, where observations take values on the unit circle and may contain a hidden, phase-coherent structure. Under the null, the data are independent uniform on the unit circle; under the alternative, either (i) a planted subset of size K concentrates around an unknown phase (the flat setting), or (ii) a planted community of size k induces coherence among the edges of a complete graph (the community setting). In each of the two settings, two circular signal distributions are considered: a hard-cluster distribution, where correlated planted observations lie in an arc of known length and unknown location, and a von Mises distribution, where correlated planted observations follow a von Mises distribution with a common unknown location parameter. For each of the four resulting models, nearly matching necessary and sufficient conditions are derived (up to constants and occasional logarithmic factors) for detectability, thereby establishing information-theoretic phase transitions.

preprint2022arXiv

Blockchain Security when Messages are Lost

Security analyses for consensus protocols in blockchain research have primarily focused on the synchronous model, where point-to-point communication delays are upper bounded by a known finite constant. These models are unrealistic in noisy settings, where messages may be lost (i.e. incur infinite delay). In this work, we study the impact of message losses on the security of the proof-of-work longest-chain protocol. We introduce a new communication model to capture the impact of message loss called the $0-\infty$ model, and derive a region of tolerable adversarial power under which the consensus protocol is secure. The guarantees are derived as a simple bound for the probability that a transaction violates desired security properties. Specifically, we show that this violation probability decays almost exponentially in the security parameter. Our approach involves constructing combinatorial objects from blocktrees, and identifying random variables associated with them that are amenable to analysis. This approach improves existing bounds and extends the known regime for tolerable adversarial threshold in settings where messages may be lost.

preprint2021arXiv

Computing Robust Forward Invariant Sets of Multidimensional Non-linear Systems via Geometric Deformation of Polytopes

This paper develops and implements an algorithm to compute sequences of polytopic Robust Forward Invariant Sets (RFIS) that can parametrically vary in size between the maximal and minimal RFIS of a nonlinear dynamical system. This is done through a novel computational approach that geometrically deforms a polytope into an invariant set using a sequence of homeomorphishms, based on an invariance condition that only needs to be satisfied at a finite set of test points. For achieving this, a fast computational test is developed to establish if a given polytopic set is an RFIS. The geometric nature of the proposed approach makes it applicable for arbitrary Lipschitz continuous nonlinear systems in the presence of bounded additive disturbances. The versatility of the proposed approach is presented through simulation results on a variety of nonlinear dynamical systems in two and three dimensions, for which, sequences of invariant sets are computed.