In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer
  Authentication
A Case Study on Covert Channel Establishment via Software Caches in
  High-Assurance Computing Systems
Spillover Algorithm: A Decentralized Coordination Approach for
  Multi-Robot Production Planning in Open Shared Factories On the Necessity of Mixed Models: Dynamical Frustrations in the Mind Fast Latent Variable Models for Inference and Visualization on Mobile
  Devices The Snowblower Problem Hall Viscosity in the Non-Abelian Quantum Hall Matrix Model Root subsystems of rank 2 hyperbolic root systems Evolutionary Inference for Function-valued Traits: Gaussian Process
  Regression on Phylogenies An Efficient Analytical Evaluation of the Electromagnetic
  Cross-Correlation Green's Function in MIMO Systems Polynomial \tau-functions of the NLS-Toda hierarchy and the Virasoro
  singular vectors Deformations of hyperk\"ahler cones Damage Spreading in Spatial and Small-world Random Boolean Networks GINGER A Collection of Challenging Optimization Problems in Science,
  Engineering and Economics Uncertainty quantification for radio interferometric imaging: I.
  proximal MCMC methods Projecting Robot Navigation Paths: Hardware and Software for Projected
  AR Maximizing Non-monotone/Non-submodular Functions by Multi-objective
  Evolutionary Algorithms On Mesh Deformation Techniques for Topology Optimization of
  Fluid-Structure Interaction Problems A Modified SIR Model for the COVID-19 Contagion in Italy
cs.CR cs.OS