On Security Analysis of Periodic Systems: Expressiveness and Complexity.

Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott

Browse the full ICISSP paper archive.