Automated Synthesis of Secure Platform Mappings.

Eunsuk Kang, Stphane Lafortune, Stavros Tripakis

Browse the full CAV paper archive.