There will be as many formulae as models, because it depends what one supposes dark matter is composed of.
If WIMP
In particle physics and astrophysics, Weakly Interacting Massive Particles, or WIMPs, are among the last hypothetical particle physics candidates for dark matter. The term “WIMP” is given to a dark matter particle that was produced by falling out of thermal equilibrium with the hot dense plasma of the early universe, although it is often used to refer to any dark matter candidate that interacts with standard particles via a force similar in strength to the weak nuclear force.Its name comes from the fact that obtaining the correct abundance of dark matter today via thermal production requires a self-annihilation cross section of ⟨ σ v ⟩ ≃ 3 × 10 ^− 26 c m^ 3 s^ − 1 which is roughly what is expected for a new particle in the 100 GeV mass range that interacts via the electroweak force. Because supersymmetric extensions of the standard model of particle physics readily predict a new particle with these properties, this apparent coincidence is known as the “WIMP miracle”, and a stable supersymmetric partner has long been a prime WIMP candidate
There cannot be one formula for the cross section as there are many candidate particle that may model the behavior.
The composition of dark matter remains uncertain. Possibilities include dense baryonic (interacts with electromagnetic force) matter and non-baryonic matter (interacts with its surroundings only through gravity).
There is cold dark matter hypothesis, hot dark matter hypothesis, warm dark matter hypothesis, and each candidate particles will have their special interaction cross section.
Edit:
The cross section will be a function of the mass of the particle and of the type of interactions it can have in order to have the appropriate observed self annihilation cross section. To show an example of the complexity here is for a hypothetical WIMP the WIMP nucleon cross section as a function of its mass as reported by the CDMS experiment :
Here is a dissertation dealing with these limits.