-
Nothing But Net: Invading Android User Privacy Using Only Network Access Patterns
Authors:
Mikhail Andreev,
Avi Klausner,
Trishita Tiwari,
Ari Trachtenberg,
Arkady Yerukhimovich
Abstract:
We evaluate the power of simple networks side-channels to violate user privacy on Android devices. Specifically, we show that, using blackbox network metadata alone (i.e., traffic statistics such as transmission time and size of packets) it is possible to infer several elements of a user's location and also identify their web browsing history (i.e, which sites they visited). We do this with relati…
▽ More
We evaluate the power of simple networks side-channels to violate user privacy on Android devices. Specifically, we show that, using blackbox network metadata alone (i.e., traffic statistics such as transmission time and size of packets) it is possible to infer several elements of a user's location and also identify their web browsing history (i.e, which sites they visited). We do this with relatively simple learning and classification methods and basic network statistics. For most Android phones currently on the market, such process-level traffic statistics are available for any running process, without any permissions control and at fine-grained details, although, as we demonstrate, even device-level statistics are sufficient for some of our attacks. In effect, it may be possible for any application running on these phones to identify privacy-revealing elements of a user's location, for example, correlating travel with places of worship, point-of-care medical establishments, or political activity.
△ Less
Submitted 7 July, 2018;
originally announced July 2018.
-
Plain stopping time and conditional complexities revisited
Authors:
Mikhail Andreev,
Gleb Posobin,
Alexander Shen
Abstract:
In this paper we analyze the notion of "stopping time complexity", informally defined as the amount of information needed to specify when to stop while reading an infinite sequence. This notion was introduced by Vovk and Pavlovic (2016). It turns out that plain stopping time complexity of a binary string $x$ could be equivalently defined as (a) the minimal plain complexity of a Turing machine that…
▽ More
In this paper we analyze the notion of "stopping time complexity", informally defined as the amount of information needed to specify when to stop while reading an infinite sequence. This notion was introduced by Vovk and Pavlovic (2016). It turns out that plain stopping time complexity of a binary string $x$ could be equivalently defined as (a) the minimal plain complexity of a Turing machine that stops after reading $x$ on a one-directional input tape; (b) the minimal plain complexity of an algorithm that enumerates a prefix-free set containing $x$; (c)~the conditional complexity $C(x|x*)$ where $x$ in the condition is understood as a prefix of an infinite binary sequence while the first $x$ is understood as a terminated binary string; (d) as a minimal upper semicomputable function $K$ such that each binary sequence has at most $2^n$ prefixes $z$ such that $K(z)<n$; (e) as $\max C^X(x)$ where $C^X(z)$ is plain Kolmogorov complexity of $z$ relative to oracle $X$ and the maximum is taken over all extensions $X$ of $x$.
We also show that some of these equivalent definitions become non-equivalent in the more general setting where the condition $y$ and the object $x$ may differ. We also answer an open question from Chernov, Hutter and~Schmidhuber.
△ Less
Submitted 3 October, 2017; v1 submitted 27 August, 2017;
originally announced August 2017.
-
Busy beavers and Kolmogorov complexity
Authors:
Mikhail Andreev
Abstract:
The idea to find the "maximal number that can be named" can be traced back to Archimedes (see his Psammit). From the viewpoint of computation theory the natural question is "which number can be described by at most n bits"? This question led to the definition of the so-called "busy beaver" numbers (introduced by T. Rado). In this note we consider different versions of the busy beaver-like notions…
▽ More
The idea to find the "maximal number that can be named" can be traced back to Archimedes (see his Psammit). From the viewpoint of computation theory the natural question is "which number can be described by at most n bits"? This question led to the definition of the so-called "busy beaver" numbers (introduced by T. Rado). In this note we consider different versions of the busy beaver-like notions defined in terms of Kolmogorov complexity. We show that these versions differ depending on the version of complexity used (plain, prefix, or a priori complexities) and find out how these notions are related, providing matching lower and upper bounds.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
The sum $2^{\mathit{KA}(x)-\mathit{KP}(x)}$ over all prefixes $x$ of some binary sequence can be infinite
Authors:
Mikhail Andreev,
Akim Kumok
Abstract:
We consider two quantities that measure complexity of binary strings: $\mathit{KA}(x)$ is defined as the minus logarithm of continuous a priori probability on the binary tree, and $\mathit{KP}(x)$ denotes prefix complexity of a binary string $x$. In this paper we answer a question posed by Joseph Miller and prove that there exists an infinite binary sequence $ω$ such that the sum of…
▽ More
We consider two quantities that measure complexity of binary strings: $\mathit{KA}(x)$ is defined as the minus logarithm of continuous a priori probability on the binary tree, and $\mathit{KP}(x)$ denotes prefix complexity of a binary string $x$. In this paper we answer a question posed by Joseph Miller and prove that there exists an infinite binary sequence $ω$ such that the sum of $2^{\mathit{KA}(x)-\mathit{KP}(x)}$ over all prefixes $x$ of $ω$ is infinite. Such a sequence can be chosen among characteristic sequences of computably enumerable sets.
△ Less
Submitted 7 January, 2014;
originally announced January 2014.
-
Not Every Domain of a Plain Decompressor Contains the Domain of a Prefix-Free One
Authors:
Mikhail Andreev,
Ilya Razenshteyn,
Alexander Shen
Abstract:
C.Calude, A.Nies, L.Staiger, and F.Stephan posed the following question about the relation between plain and prefix Kolmogorov complexities (see their paper in DLT 2008 conference proceedings): does the domain of every optimal decompressor contain the domain of some optimal prefix-free decompressor? In this paper we provide a negative answer to this question.
C.Calude, A.Nies, L.Staiger, and F.Stephan posed the following question about the relation between plain and prefix Kolmogorov complexities (see their paper in DLT 2008 conference proceedings): does the domain of every optimal decompressor contain the domain of some optimal prefix-free decompressor? In this paper we provide a negative answer to this question.
△ Less
Submitted 7 April, 2010; v1 submitted 25 January, 2010;
originally announced January 2010.
