Itô's Formula for Itô processes defined with respect to a cylindrical-martingale valued measure

Using the theory of stochastic integration developed recently by the authors, in this article is proved an Itô formula for Hilbert space-valued Itô processes defined with respect to a cylindrical-martingale valued measure. This formula is applied to prove an integration by parts formula for Itô processes, to prove a Burkholder inequality for the stochastic integral, and finally to prove an Itô formula for Hilbert space-valued Itô processes defined with respect to a Lévy process.