  The origin of the baryon asymmetry of the Universe (BAU) is one of the major
puzzles beyond the Standard Model. Detecting the particles responsible for the
generation of the BAU would enormously boost our understanding of physics of
the early Universe. Here we demonstrate that searches for displaced vertices at
ATLAS, CMS and LHCb allow detecting heavy neutral leptons (HNL) with parameters
that can simultaneously lead to the successful generation of the BAU and
explain the masses and oscillations of active neutrinos. The combination of a
dedicated LHC search program and a complementary Intensity Frontier experiment
(such as SHiP) will allow exploring a sizeable part of the "minimal HNL
baryogenesis" parameter space.
