Phoenix: A Formally Verified Regenerating Vault
Modeling Adversaries in a Logic for Security Protocol Analysis
Quiver relations and associated symmetric polynomials Flower Pollination Algorithm for Global Optimization Strengthening Gossip Protocols using Protocol-Dependent Knowledge The Complexity of Translationally Invariant Problems beyond Ground State
  Energies Bayesian prediction of jumps in large panels of time series data Compact Ultra Dense Matter Impactors Ratchet behavior in nonlinear Klein-Gordon systems with point-like
  inhomogeneities Some Properties of Generalized Self-reciprocal Polynomials over Finite
  Fields Rough surface scattering in many-mode conducting channels: Gradient
  versus amplitude scattering Quantum Simulation of Interacting Fermion Lattice Models in Trapped Ions Heuristic machinery for thermodynamic studies of SU(N) fermions with
  neural networks Opportunities to constrain astrophysical reaction rates for the
  s-process through determination of the ground state cross sections Molecular theory of hydrophobic mismatch between lipids and peptides Paramagnetism and Magnetic Singularity in Exotic Superconductivity Made
  Simple: Their Origin and Possible Realization Determination of Oxygen Saturation and Photoplethysmogram from Near
  Infrared Scattering Images Bifurcation and pattern changing with two real scalar fields On certain identities involving Nahm-type sums with double poles Carbon nanoparticles in the acoustic field in the vicinity of the arc
  discharge Relativistic chaos in the anisotropic harmonic oscillator The Collatz process embeds a base conversion algorithm Depletion force between disordered linear macromolecules A Faster Fourier Transform? Computing Small-Scale Power Spectra and
  Bispectra for Cosmological Simulations in $\mathcal{O}(N^2)$ Time
cs.CR cs.LO