An Epistemic Approach to Compositional Reasoning about Anonymity and
  Privacy
How to prevent type-flaw and multi-protocol attacks on cryptographic
  protocols under Exclusive-OR
SimpleTensor -- a user-friendly Mathematica package for elementary
  tensor and differential-geometric calculations Optimal Boundary Kernels and Weightings for Local Polynomial Regression Verifying Switched System Stability With Logic Categorical Stochastic Processes and Likelihood Unbiased estimation of equilibrium, rates, and committors from Markov
  state model analysis Pattern recognition with neuromorphic computing using magnetic-field
  induced dynamics of skyrmions The Charming Leading Eigenpair Soliton Solutions of Integrable Hierarchies and Coulomb Plasmas Persistent Data Layout and Infrastructure for Efficient Selective
  Retrieval of Event Data in ATLAS On the homology of almost Calabi-Yau algebras associated to SU(3)
  modular invariants Learning in Matrix Games can be Arbitrarily Complex Statistics of resonances and of delay times in quasiperiodic
  Schr"odinger equations Robust Sound Source Localization Using a Microphone Array on a Mobile
  Robot Complex Dependencies in Large Software Systems The Theory of Relativity - Galileo's Child Computational methods and fast hybrid stochastic simulations for
  triangulation sensing and identifying principles of cell navigation in the
  brain Vortex and gap generation in gauge models of graphene
cs.CR cs.LO