Covariant phase space formalism for fluctuating boundaries