Random time forward starting options

We introduce a natural generalization of the forward-starting options, first discussed by M. Rubinstein [Rubin]. The main feature of the contract presented here is that the strike-determination time is not fixed ex-ante, but allowed to be random, usually related to the occurrence of some event, either of financial nature or not. We will call these options Random Time Forward Starting (RTFS). We show that, under an appropriate "martingale preserving" hypothesis, we can exhibit arbitrage free prices, which can be explicitly computed in many classical market models, at least under independence between the random time and the assets' prices. Practical implementations of the pricing methodologies are also provided. Finally a credit value adjustment formula for these OTC options is computed for the unilateral counterparty credit risk.