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

Matthew Wright

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

ResearcherUnclaimed source record
gr-qcCryptography and Securityastro-ph.COhep-thHuman-Computer InteractionNetworking and Internet ArchitectureComputational Geometrymath.ACmath.ATSocial and Information NetworksArtificial IntelligenceMachine Learningmath.COmath.DGmath.GMmath.GTSymbolic ComputationSystems and Control

Catalog footprint

What is connected

29works
18topics
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

29 published item(s)

preprint2022arXiv

Computing Minimal Presentations and Bigraded Betti Numbers of 2-Parameter Persistent Homology

Motivated by applications to topological data analysis, we give an efficient algorithm for computing a (minimal) presentation of a bigraded $K[x,y]$-module $M$, where $K$ is a field. The algorithm takes as input a short chain complex of free modules $X\xrightarrow{f} Y \xrightarrow{g} Z$ such that $M\cong \ker{g}/\mathrm{im}{f}$. It runs in time $O(|X|^3+|Y|^3+|Z|^3)$ and requires $O(|X|^2+|Y|^2+|Z|^2)$ memory, where $|\cdot |$ denotes the rank. Given the presentation computed by our algorithm, the bigraded Betti numbers of $M$ are readily computed. Our approach is based on a simple matrix reduction algorithm, slight variants of which compute kernels of morphisms between free modules, minimal generating sets, and Gröbner bases. Our algorithm for computing minimal presentations has been implemented in RIVET, a software tool for the visualization and analysis of two-parameter persistent homology. In experiments on topological data analysis problems, our implementation outperforms the standard computational commutative algebra packages Singular and Macaulay2 by a wide margin.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Magic Triangles

Magic squares are well-known arrangements of integers with common row, column, and diagonal sums. Various other magic shapes have been proposed, but triangles have been somewhat overlooked. We introduce certain triangular arrangements of integers with common sums in three directions, which we call magic triangles. For small sizes of these triangles, we count the number of unique magic triangles and examine distributions of integers at different positions within them. While we cannot enumerate the number of magic triangles at larger sizes, we offer a simulated annealing method for finding magic triangles.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On the Limitations of Continual Learning for Malware Classification

Malicious software (malware) classification offers a unique challenge for continual learning (CL) regimes due to the volume of new samples received on a daily basis and the evolution of malware to exploit new vulnerabilities. On a typical day, antivirus vendors receive hundreds of thousands of unique pieces of software, both malicious and benign, and over the course of the lifetime of a malware classifier, more than a billion samples can easily accumulate. Given the scale of the problem, sequential training using continual learning techniques could provide substantial benefits in reducing training and storage overhead. To date, however, there has been no exploration of CL applied to malware classification tasks. In this paper, we study 11 CL techniques applied to three malware tasks covering common incremental learning scenarios, including task, class, and domain incremental learning (IL). Specifically, using two realistic, large-scale malware datasets, we evaluate the performance of the CL methods on both binary malware classification (Domain-IL) and multi-class malware family classification (Task-IL and Class-IL) tasks. To our surprise, continual learning methods significantly underperformed naive Joint replay of the training data in nearly all settings -- in some cases reducing accuracy by more than 70 percentage points. A simple approach of selectively replaying 20% of the stored data achieves better performance, with 50% of the training time compared to Joint replay. Finally, we discuss potential reasons for the unexpectedly poor performance of the CL techniques, with the hope that it spurs further research on developing techniques that are more effective in the malware classification domain.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Piercing Numbers in Circular Societies

In the system of approval voting, individuals vote for all candidates they find acceptable. Many approval voting situations can be modeled geometrically, and thus geometric concepts such as the piercing number have a natural interpretation. In this paper, we explore piercing numbers in the setting where voter preferences can be modeled by congruent arcs on a circle -- i.e., in fixed-length circular societies. Given a number of voters and the length of the voter preference arcs, we give bounds on the possible piercing number of the society. Further, we explore which piercing numbers are more likely. Specifically, under the assumption of uniformly distributed voter preference arcs, we determine the probability distribution of the piercing number of societies in which the length of the arcs is sufficiently small. We end with simulations that give estimated probabilities of piercing number for societies with larger voter preference arcs.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Value-Offset Bifiltrations for Digital Images

Persistent homology, an algebraic method for discerning structure in abstract data, relies on the construction of a sequence of nested topological spaces known as a filtration. Two-parameter persistent homology allows the analysis of data simultaneously filtered by two parameters, but requires a bifiltration -- a sequence of topological spaces simultaneously indexed by two parameters. To apply two-parameter persistence to digital images, we first must consider bifiltrations constructed from digital images, which have scarcely been studied. We introduce the value-offset bifiltration for grayscale digital image data. We present efficient algorithms for computing this bifiltration with respect to the taxicab distance and for approximating it with respect to the Euclidean distance. We analyze the runtime complexity of our algorithms, demonstrate the results on sample images, and contrast the bifiltrations obtained from real images with those obtained from random noise.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Buchdahl's inequality in five dimensional Gauss-Bonnet gravity

The Buchdahl limit for static spherically symmetric isotropic stars is generalised to the case of five dimensional Gauss-Bonnet gravity. Our result depends on the sign of the Gauss-Bonnet coupling constant $α$. When $α>0$, we find, unlike in general relativity, that the bound is dependent on the stellar structure, in particular the central energy density. We find that stable stellar structures can exist arbitrarily close to the event horizon. Thus stable stars can exist with extra mass in this theory compared to five dimensional general relativity. For $α<0$ it is found that the Buchdahl bound is more restrictive than the general relativistic case.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Conformal transformations in modified teleparallel theories of gravity revisited

It is well known that one cannot apply a conformal transformation to $f(T)$ gravity to obtain a minimally coupled scalar field model, and thus no Einstein frame exists for $f(T)$ gravity. Furthermore nonminimally coupled "teleparallel dark energy models" are not conformally equivalent to $f(T)$ gravity. However, it can be shown that $f(T)$ gravity is conformally equivalent to a teleparallel phantom scalar field model with a nonminimal coupling to a boundary term only. In this work, we extend this analysis by considering a recently studied extended class of models, known as $f(T,B)$ gravity, where $B$ is a boundary term related to the divergence of a contraction of the torsion tensor. We find that nonminimally coupled "teleparallel dark energy models" are conformally equivalent to either an $f(T,B)$ or $f(B)$ gravity model. Finally conditions on the functional form of $f(T,B)$ gravity are derived to allow it to be transformed to particular nonminimally coupled scalar field models.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Correspondence of $F(R)$ Gravity Singularities in Jordan and Einstein Frames

We study the finite time singularity correspondence between the Jordan and Einstein frames for various $F(R)$ gravity theories. Particularly we investigate the ordinary pure $F(R)$ gravity case and the unimodular $F(R)$ gravity cases, in the absence of any matter fluids. In the ordinary $F(R)$ gravity cases, by using specific illustrative examples, we show that it is possible to have various correspondences of finite time singularities, and in some cases it is possible a singular cosmology in one frame might be non-singular in the other frame. In the unimodular $F(R)$ gravity case, the unimodular constraint is affected from the conformal transformation, so this has an effect on the metric we choose. Moreover, we study the Einstein frame counterpart theory of the unimodular $F(R)$ gravity case, and we investigate the correspondences of the singularities in the two theories by considering specific illustrative examples. Finally, a brief dynamical system analysis is performed for the vacuum unimodular $F(R)$ gravity and we demonstrate how the dynamical system behaves near the future Big Rip singularity.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Teleparallel quintessence with a nonminimal coupling to a boundary term

We propose a new model in the teleparallel framework where we consider a scalar field nonminimally coupled to both the torsion $T$ and a boundary term given by the divergence of the torsion vector $B=\frac{2}{e}\partial_μ(eT^μ)$. This is inspired by the relation $R=-T+B$ between the Ricci scalar of general relativity and the torsion of teleparallel gravity. This theory in suitable limits incorporates both the nonminimal coupling of a scalar field to torsion, and the nonminimal coupling of a scalar field to the Ricci scalar. We analyse the cosmology of such models, and we perform a dynamical systems analysis on the case when we have only a pure coupling to the boundary term. It is found that the system generically evolves to a late time accelerating attractor solution without requiring any fine tuning of the parameters. A dynamical crossing of the phantom barrier is also shown to be possible.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Toward an Efficient Website Fingerprinting Defense

Website Fingerprinting attacks enable a passive eavesdropper to recover the user's otherwise anonymized web browsing activity by matching the observed traffic with prerecorded web traffic templates. The defenses that have been proposed to counter these attacks are impractical for deployment in real-world systems due to their high cost in terms of added delay and bandwidth overhead. Further, these defenses have been designed to counter attacks that, despite their high success rates, have been criticized for assuming unrealistic attack conditions in the evaluation setting. In this paper, we propose a novel, lightweight defense based on Adaptive Padding that provides a sufficient level of security against website fingerprinting, particularly in realistic evaluation conditions. In a closed-world setting, this defense reduces the accuracy of the state-of-the-art attack from 91% to 20%, while introducing zero latency overhead and less than 60% bandwidth overhead. In an open-world, the attack precision is just 1% and drops further as the number of sites grows.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

A new model for multi-commodity macroscopic modeling of complex traffic networks

We propose a macroscopic modeling framework for a network of roads and multi-commodity traffic. The proposed framework is based on the Lighthill-Whitham-Richards kinematic wave theory; more precisely, on its discretization, the Cell Transmission Model (CTM), adapted for networks and multi-commodity traffic. The resulting model is called the Link-Node CTM (LNCTM). In the LNCTM, we use the fundamental diagram of an "inverse lambda" shape that allows modeling of the capacity drop and the hysteresis behavior of the traffic state in a link that goes from free flow to congestion and back. A model of the node with multiple input and multiple output links accepting multi-commodity traffic is a cornerstone of the LNCTM. We present the multi-input-multi-output (MIMO) node model for multi-commodity traffic that supersedes previously developed node models. The analysis and comparison with previous node models are provided. Sometimes, certain traffic commodities may choose between multiple output links in a node based on the current traffic state of the node's input and output links. For such situations, we propose a local traffic assignment algorithm that computes how incoming traffic of a certain commodity should be distributed between output links, if this information is not known a priori.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Buchdahl type inequalities in $d$-dimensions

Spherically symmetric anisotropic static compact solutions to the Einstein equations in dimension $d\geq4$ are considered. Various matter models are examined and upper bounds on the ratio of the gravitational mass to the radius in these different models are obtained. Bounds are also generalised in the presence of a non-zero charge and a positive cosmological constant. These bounds are then used to find the maximum of the gravitational redshift at the surface of the object.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Interacting quintessence from a variational approach Part I: algebraic couplings

We present a new approach to build models of quintessence interacting with dark or baryonic matter. We use a variational approach for relativistic fluids to realize an effective description of matter fields at the Lagrangian level. The coupling is introduced directly in the action by considering a single function mixing the dynamical degrees of freedom of the theory. The resulting gravitational field equations are derived by variations with respect to the independent variables. New interesting phenomenology can be obtained at both small scales, where new screening mechanisms for scalar fields can be realized, and large scales, where one finds an original and rich class of interacting quintessence models. The background cosmology of two of these models is studied in detail using dynamical system techniques. We find a variety of interesting results: for instance, these models contain dark energy dominated late time attractors and scaling solutions, both with early time matter dominated epochs and a possible inflationary origin. In general this new approach provides the starting point for future in depth studies on new interacting quintessence models.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Interacting quintessence from a variational approach Part II: derivative couplings

We consider an original variational approach for building new models of quintessence interacting with dark or baryonic matter. The coupling is introduced at the Lagrangian level using a variational formulation for relativistic fluids, where the interacting term generally depends on both the dynamical degrees of freedom of the theory and their spacetime derivatives. After deriving the field equations from the action, we consider applications in the context of cosmology. Two simple models are studied using dynamical system techniques showing the interesting phenomenology arising in this framework. We find that these models contain dark energy dominated late time attractors with early time matter dominated epochs and also obtain a possible dynamical crossing of the phantom barrier. The formulation and results presented here complete and expand the analysis exposed in the first part of this work, where only algebraic couplings, without spacetime derivatives, were considered.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Interactive Visualization of 2-D Persistence Modules

The goal of this work is to extend the standard persistent homology pipeline for exploratory data analysis to the 2-D persistence setting, in a practical, computationally efficient way. To this end, we introduce RIVET, a software tool for the visualization of 2-D persistence modules, and present mathematical foundations for this tool. RIVET provides an interactive visualization of the barcodes of 1-D affine slices of a 2-D persistence module $M$. It also computes and visualizes the dimension of each vector space in $M$ and the bigraded Betti numbers of $M$. At the heart of our computational approach is a novel data structure based on planar line arrangements, on which we can perform fast queries to find the barcode of any slice of $M$. We present an efficient algorithm for constructing this data structure and establish bounds on its complexity.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Modified teleparallel theories of gravity

We investigate modified theories of gravity in the context of teleparallel geometries. It is well known that modified gravity models based on the torsion scalar are not invariant under local Lorentz transformations while modifications based on the Ricci scalar are. This motivates the study of a model depending on the torsion scalar and the divergence of the torsion vector. We derive the teleparallel equivalent of $f(R)$ gravity as a particular subset of these models and also show that this is the unique theory in this class that is invariant under local Lorentz transformation. Furthermore one can show that $f(T)$ gravity is the unique theory admitting second order field equations.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Slowly rotating charged fluid balls in the presence of a cosmological constant

We examine charged slowly rotating perfect fluids in the presence of a cosmological constant. The asymptotic form of the vacuum solutions to the linearised Einstein-Maxwell field equations is found and the possibility of matching this vacuum to the slow rotating García metric is considered. We show that, contrary to the case of zero cosmological constant, this García metric can be matched to an asymptotically de Sitter vacuum in the slow rotation limit. We conclude the García metric may potentially be suitable for describing a charged isolated rotating body in a cosmological background.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

The Einstein static universe in Scalar-Fluid theories

A new Lagrangian framework has recently been proposed to describe interactions between relativistic perfect fluids and scalar fields. In this paper we investigate the Einstein static universe in this new class of theories, which have been named Scalar-Fluid theories. The stability of the static solutions to both homogeneous and inhomogeneous perturbations is analysed deriving the relevant cosmological perturbation equations at the linear order. We can find several configurations corresponding to an Einstein static universes which are stable against inhomogeneous perturbations, but unstable against homogeneous perturbations. This shows the possible applications of Scalar-Fluid theories to the inflationary emergent universe scenario.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Towards Making Random Passwords Memorable: Leveraging Users' Cognitive Ability Through Multiple Cues

Given the choice, users produce passwords reflecting common strategies and patterns that ease recall but offer uncertain and often weak security. System-assigned passwords provide measurable security but suffer from poor memorability. To address this usability-security tension, we argue that systems should assign random passwords but also help with memorization and recall. We investigate the feasibility of this approach with CuedR, a novel cued-recognition authentication scheme that provides users with multiple cues (visual, verbal, and spatial) and lets them choose the cues that best fit their learning process for later recognition of system-assigned keywords. In our lab study, all 37 of our participants could log in within three attempts one week after registration (mean login time: 38.0 seconds). A pilot study on using multiple CuedR passwords also showed 100% recall within three attempts. Based on our results, we suggest appropriate applications for CuedR, such as financial and e-commerce accounts.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A Comprehensive Study of the GeoPass User Authentication Scheme

Before deploying a new user authentication scheme, it is critical to subject the scheme to comprehensive study. Few works, however, have undertaken such a study. Recently, Thorpe et al. proposed GeoPass, the most promising of a class of user authentication schemes based on geographic locations in online maps. Their study showed very high memorability (97%) and satisfactory resilience against online guessing, which means that GeoPass has compelling features for real-world use. No comprehensive study, however, has been conducted for GeoPass or any other location-based password scheme. In this paper, we present a systematic approach for the detailed evaluation of a password system, which we implement to study GeoPass. We conducted three separate studies to evaluate the suitability of GeoPass for widespread use. First, we performed a field study over two months, in which users in a real-world setting remembered their location-passwords 96% of the time and showed improvement with more login sessions. Second, we conducted a study to test how users would fare with multiple location-passwords and found that users remembered their location-passwords in less than 70% of login sessions, with 40% of login failures due to interference effects. Third, we conducted a study to examine the resilience of GeoPass against shoulder surfing. Our participants played the role of attackers and had an overall success rate of 48%. Based on our results, we suggest suitable applications of GeoPass in its current state and identify aspects of GeoPass that must be improved before widespread deployment could be considered.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Dovetail: Stronger Anonymity in Next-Generation Internet Routing

Current low-latency anonymity systems use complex overlay networks to conceal a user's IP address, introducing significant latency and network efficiency penalties compared to normal Internet usage. Rather than obfuscating network identity through higher level protocols, we propose a more direct solution: a routing protocol that allows communication without exposing network identity, providing a strong foundation for Internet privacy, while allowing identity to be defined in those higher level protocols where it adds value. Given current research initiatives advocating "clean slate" Internet designs, an opportunity exists to design an internetwork layer routing protocol that decouples identity from network location and thereby simplifies the anonymity problem. Recently, Hsiao et al. proposed such a protocol (LAP), but it does not protect the user against a local eavesdropper or an untrusted ISP, which will not be acceptable for many users. Thus, we propose Dovetail, a next-generation Internet routing protocol that provides anonymity against an active attacker located at any single point within the network, including the user's ISP. A major design challenge is to provide this protection without including an application-layer proxy in data transmission. We address this challenge in path construction by using a matchmaker node (an end host) to overlap two path segments at a dovetail node (a router). The dovetail then trims away part of the path so that data transmission bypasses the matchmaker. Additional design features include the choice of many different paths through the network and the joining of path segments without requiring a trusted third party. We develop a systematic mechanism to measure the topological anonymity of our designs, and we demonstrate the privacy and efficiency of our proposal by simulation, using a model of the complete Internet at the AS-level.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Fast and energy-efficient technique for jammed region mapping in wireless sensor networks

Wireless sensor networks (WSNs) have great practical importance for surveillance systems to perform monitoring by acquiring and sending information on any intrusion in a secured area. Requirement of very little human intervention is one of the most desirable features of WSNs, thus making it a cheaper and safer alternative for securing large areas such as international borders. Jamming attacks in WSNs can be applied to disrupt communications among the sensor nodes in the network. Since it is difficult to prevent jamming attacks, detection and mapping out the jammed regions is critical to overcome this problem. In a security monitoring scenario, the network operators will be able to take proper measures against jamming once the jammed regions in the network are known to them. It is also desirable to keep the interactions of the sensor nodes in the network minimal, as they are low powered devices and need to conserve their resources. In this paper we propose a light-weight technique for faster mapping of the jammed regions. We minimize the load on the sensors by removing the actual responsibility of mapping from the network to the central base station (BS). After a few nodes report to the BS, it carries out the task of mapping of the jammed regions in the network. We use our simulation results to compare our proposed system with the existing techniques and also to measure the performance of our system. Our results show that the jammed regions in a network can be mapped from fewer nodes reporting to the base station.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

iPersea : The Improved Persea with Sybil Detection Mechanism

P2P systems are highly susceptible to Sybil attacks, in which an attacker creates a large number of identities and uses them to control a substantial fraction of the system. Persea is the most recent approach towards designing a social network based Sybil-resistant DHT. Unlike prior Sybil-resistant P2P systems based on social networks, Persea does not rely on two key assumptions: (i) that the social network is fast mixing, and (ii) that there is a small ratio of attack edges to honest peers. Both assumptions have been shown to be unreliable in real social networks. The hierarchical distribution of node IDs in Persea confines a large attacker botnet to a considerably smaller region of the ID space than in a normal P2P system and its replication mechanism lets a peer to retrieve the desired results even if a given region is occupied by attackers. However, Persea system suffers from certain limitations, since it cannot handle the scenario, where the malicious target returns an incorrect result instead of just ignoring the lookup request. In this paper, we address this major limitation of Persea through a Sybil detection mechanism built on top of Persea system, which accommodates inspection lookup, a specially designed lookup scheme to detect the Sybil nodes based on their responses to the lookup query. We design a scheme to filter those detected Sybils to ensure the participation of honest nodes on the lookup path during regular DHT lookup. Since the malicious nodes are opt-out from the lookup path in our system, they cannot return any incorrect result during regular lookup. We evaluate our system in simulations with social network datasets and the results show that catster, the largest network in our simulation with 149700 nodes and 5449275 edges, gains 100% lookup success rate, even when the number of attack edges is equal to the number of benign peers in the network.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Q-A: Towards the Solution of Usability-Security Tension in User Authentication

Users often choose passwords that are easy to remember but also easy to guess by attackers. Recent studies have revealed the vulnerability of textual passwords to shoulder surfing and keystroke loggers. It remains a critical challenge in password research to develop an authentication scheme that addresses these security issues, in addition to offering good memorability. Motivated by psychology research on humans' cognitive strengths and weaknesses, we explore the potential of cognitive questions as a way to address the major challenges in user authentication. We design, implement, and evaluate Q-A, a novel cognitive-question-based password system that requires a user to enter the letter at a given position in her answer for each of six personal questions (e.g. "What is the name of your favorite childhood teacher?"). In this scheme, the user does not need to memorize new, artificial information as her authentication secret. Our scheme offers 28 bits of theoretical password space, which has been found sufficient to prevent online brute-force attacks. Q-A is also robust against shoulder surfing and keystroke loggers. We conducted a multi-session in-lab user study to evaluate the usability of Q-A; 100% of users were able to remember their Q-A password over the span of one week, although login times were high. We compared our scheme with random six character passwords and found that login success rate in Q-A was significantly higher. Based on our results, we suggest that Q-A would be most appropriate in contexts that demand high security and where logins occur infrequently (e.g., online bank accounts).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Slowly rotating perfect fluids with a cosmological constant

Hartle's slow rotation formalism is developed in the presence of a cosmological constant. We find the generalisation of the Hartle-Thorne vacuum metric, the Hartle-Thorne-(anti)-de Sitter metric, and find that it is always asymptotically (anti)-de Sitter. Next we consider Wahlquist's rotating perfect fluid interior solution in Hartle's formalism and discuss its matching to the Hartle-Thorne-(anti)-de Sitter metric. It is known that the Wahlquist solution cannot be matched to an asymptotically flat region and therefore does not provide a model of an isolated rotating body in this context. However, in the presence of a cosmological term, we find that it can be matched to an asymptotic (anti)-de Sitter space and we are able to interpret the Wahlquist solution as a model of an isolated rotating body, to second order in the angular velocity.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Hadwiger's Theorem for Definable Functions

Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable real-valued functions on n-dimensional Euclidean space. This generalizes intrinsic volumes to (dual pairs) of non-linear valuations on functions and provides a dual pair of Hadwiger classification theorems.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Pisces: Anonymous Communication Using Social Networks

The architectures of deployed anonymity systems such as Tor suffer from two key problems that limit user's trust in these systems. First, paths for anonymous communication are built without considering trust relationships between users and relays in the system. Second, the network architecture relies on a set of centralized servers. In this paper, we propose Pisces, a decentralized protocol for anonymous communications that leverages users' social links to build circuits for onion routing. We argue that such an approach greatly improves the system's resilience to attackers. A fundamental challenge in this setting is the design of a secure process to discover peers for use in a user's circuit. All existing solutions for secure peer discovery leverage structured topologies and cannot be applied to unstructured social network topologies. In Pisces, we discover peers by using random walks in the social network graph with a bias away from highly connected nodes to prevent a few nodes from dominating the circuit creation process. To secure the random walks, we leverage the reciprocal neighbor policy: if malicious nodes try to exclude honest nodes during peer discovery so as to improve the chance of being selected, then honest nodes can use a tit-for-tat approach and reciprocally exclude the malicious nodes from their routing tables. We describe a fully decentralized protocol for enforcing this policy, and use it to build the Pisces anonymity system. Using theoretical modeling and experiments on real-world social network topologies, we show that (a) the reciprocal neighbor policy mitigates active attacks that an adversary can perform, (b) our decentralized protocol to enforce this policy is secure and has low overhead, and (c) the overall anonymity provided by our system significantly outperforms existing approaches.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

ReDS: A Framework for Reputation-Enhanced DHTs

Distributed Hash Tables (DHTs) such as Chord and Kademlia offer an efficient solution for locating resources in peer-to-peer networks. Unfortunately, malicious nodes along a lookup path can easily subvert such queries. Several systems, including Halo (based on Chord) and Kad (based on Kademlia), mitigate such attacks by using a combination of redundancy and diversity in the paths taken by redundant lookup queries. Much greater assurance can be provided, however. We describe Reputation for Directory Services (ReDS), a framework for enhancing lookups in redundant DHTs by tracking how well other nodes service lookup requests. We describe how the ReDS technique can be applied to virtually any redundant DHT including Halo and Kad. We also study the collaborative identification and removal of bad lookup paths in a way that does not rely on the sharing of reputation scores --- we show that such sharing is vulnerable to attacks that make it unsuitable for most applications of ReDS. Through extensive simulations we demonstrate that ReDS improves lookup success rates for Halo and Kad by 80% or more over a wide range of conditions, even against strategic attackers attempting to game their reputation scores and in the presence of node churn.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

#h00t: Censorship Resistant Microblogging

Microblogging services such as Twitter are an increasingly important way to communicate, both for individuals and for groups through the use of hashtags that denote topics of conversation. However, groups can be easily blocked from communicating through blocking of posts with the given hashtags. We propose #h00t, a system for censorship resistant microblogging. #h00t presents an interface that is much like Twitter, except that hashtags are replaced with very short hashes (e.g., 24 bits) of the group identifier. Naturally, with such short hashes, hashtags from different groups may collide and #h00t users will actually seek to create collisions. By encrypting all posts with keys derived from the group identifiers, #h00t client software can filter out other groups' posts while making such filtering difficult for the adversary. In essence, by leveraging collisions, groups can tunnel their posts in other groups' posts. A censor could not block a given group without also blocking the other groups with colliding hashtags. We evaluate the feasibility of #h00t through traces collected from Twitter, showing that a single modern computer has enough computational throughput to encrypt every tweet sent through Twitter in real time. We also use these traces to analyze the bandwidth and anonymity tradeoffs that would come with different variations on how group identifiers are encoded and hashtags are selected to purposefully collide with one another.

0 citations0 reviewsNo code linkedOpen access