Towards the Automated Verification of Cyber-Physical Security Protocols:
  Bounding the Number of Timed Intruders
Formalizing Nakamoto-Style Proof of Stake
AEGIS: New Evidence Linking Active Galactic Nuclei to the Quenching of
  Star Formation Typing Regular Path Query Languages for Data Graphs Scaling of temporal entanglement in proximity to integrability Root Mean Square Error of Neural Spike Train Sequence Matching with
  Optogenetics Random Beam Propagation in Accelerators and Storage Rings Task-based Augmented Contour Trees with Fibonacci Heaps ROSAT/Asca Observations of the Mixed-Morphology Supernova Remnant W28 A Novel 1D State Space for Efficient Music Rhythmic Analysis Genetic Algorithms for Redundancy in Interaction Testing A 2-category of chronological cobordisms and odd Khovanov homology Learning Primal Heuristics for Mixed Integer Programs On polymorphic logical gates in sub-excitable chemical medium Mean Field Residual Networks: On the Edge of Chaos Dissociative electron attachment and electron-impact resonant
  dissociation of vibrationally excited O2 molecules Not just an idle game" (the story of higher dimensional versions of the
  Poincar{\'e} fundamental group) Using New Approaches to obtain Gibbs Measures of Vannimenus model on a
  Cayley tree Universal volume bounds in Riemannian manifolds mu->e Gamma decay versus mu->eee bound and lepton flavor violating
  processes in supernova Consistency and Asymptotic Normality of Stochastic Euler Schemes for
  Ordinary Differential Equations Thread Homeostasis: Real-Time Anomalous Behavior Detection for
  Safety-Critical Software
cs.CR cs.LO