A Framework for Formal Specification and Verification of Security
  Properties of the Android Permissions System
Downgrade Attack on TrustZone
Optical Scar in a chaotic fibre Bosonization of Fermionic Many-Body Dynamics Location Verification Systems for VANETs in Rician Fading Channels ARock: an Algorithmic Framework for Asynchronous Parallel Coordinate
  Updates Methodology for the use of proportional counters in pulsed fast neutron
  yield measurements On Pythagoras' theorem for products of spectral triples Naming Game on Adaptive Weighted Networks Analysis of ground penetrating radar data from the tunnel beneath the
  Temple of the Feathered Serpent in Teotihuacan, Mexico, using new multi-cross
  algorithms Strange Duality of Verlinde spaces for G_2 and F_4 Time-Inconsistent Planning: A Computational Problem in Behavioral
  Economics Modelling of 1/f noise by sequences of stochastic pulses of different
  duration Area-Constrained Planar Elastica A fair pricing model via adversarial learning In-drop capillary spooling of spider capture thread inspires highly
  extensible fibres A nested polyhedra model of turbulence Automatically Lock Your Neural Networks When You're Away Capillary leveling of stepped films with inhomogeneous molecular
  mobility Stability analysis with applications of a two-dimensional dynamical
  system arising from a stochastic model of an asset market Correlation structure of extreme stock returns
cs.CR cs.OS