2013/08/15 by Andrei Popescu, Popescu, Andrei
Computer Science · #Advanced Malware Detection Techniques #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Information and Cyber Security #Programming Languages (cs.PL) #Security and Verification in Computing #cs.CR #cs.PL
paper · pdf · doi:10.48550/arxiv.1308.3472
9 pages
arxiv created 2013/08/15 · openalex publication_date 2013/08/15 · arxiv updated 2013/08/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We show how security type systems from the literature of language-based noninterference can be represented more directly as predicates defined by structural recursion on the programs. In this context, we show how our uniform syntactic criteria from previous work cover several previous type-system soundness results.