Authentication and Encryption in GSM and 3GUMTS: An Emphasis on
  Protocols and Algorithms
Secure Neighbor Discovery in Wireless Networks: Formal Investigation of
  Possibility
Properties of Quantum Systems via Diagonalization of Transition
  Amplitudes II: Systematic Improvements of Short-time Propagation Can Gamma-Ray Burst Jets Break Out the First Stars? Compositional Falsification of Cyber-Physical Systems with Machine
  Learning Components In Defense of MinHash Over SimHash Subpolynomial trace reconstruction for random strings and arbitrary
  deletion probability Calculation of complex DNA damage induced by ions Strong electron correlations in cobalt valence tautomers Vibron transport in macromolecular chains Zariski-like Topologies for Lattices with Applications to Modules over
  Commutative Rings Secure Determinant Codes for Distributed Storage Systems Bayesian Optimization on Large Graphs via a Graph Convolutional
  Generative Model: Application in Cardiac Model Personalization ProPublica's COMPAS Data Revisited On The Cost Distribution of a Memory Bound Function Envy-free cake division without assuming the players prefer nonempty
  pieces Multiclass Disease Predictions Based on Integrated Clinical and Genomics
  Datasets A-infinity structure on simplicial complexes Towards European Standards for Quantum Technologies Temporal Evolution of Lower Hybrid Waves in the Presence of
  Ponderomotive Density Fluctuations
cs.CR cs.NI