The purpose of this paper is to characterize the impact of fraud detection systems on the auditing procedure and the equilibrium insurance contract, when a policyholder can report a loss that never occurred. Insurers can only detect fraudulent claims through a costly audit (costly state...