Statically assuring secrecy for dynamic concurrent processes.

Rachid Echahed, Frdric Prost, Wendelin Serwe

Browse the full PPDP paper archive.