Decidability of freshness, undecidability of revelation (extended abstract)