Decidability of Freshness, Undecidability of Revelation.

Giovanni Conforti, Giorgio Ghelli

Browse the full FOSSACS paper archive.