A reliable Monte Carlo method for the evaluation of first passage times of diffusion processes through boundaries is proposed. A nested algorithm that simulates the first passage time of a suitable tied-down process is introduced to account for undetected crossings that may occur inside each discretization interval of the stochastic differential equation associated to the diffusion. A detailed analysis of the performances of the algorithm is then carried on both via analytical proofs and by means of some numerical examples. The advantages of the new method with respect to a previously proposed numerical-simulative method for the evaluation of first passage times are discussed. Analytical results on the distribution of tied-down diffusion processes are proved in order to provide a theoretical justification of the Monte Carlo method.