  We derive a Reilly-type formula for differential p-forms on a compact
manifold with boundary and apply it to give a sharp lower bound of the spectrum
of the Hodge Laplacian acting on differential forms of an embedded hypersurface
of a Riemannian manifold. The equality case of our inequality gives rise to a
number of rigidity results, when the geometry of the boundary has special
properties and the domain is non-negatively curved. Finally we also obtain, as
a by-product of our calculations, an upper bound of the first eigenvalue of the
Hodge Laplacian when the ambient manifold supports non-trivial parallel forms.
