From Exponential to Polynomial-Time Security Typing via Principal Types (Q3000586): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-19718-5_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1585940114
@@ Property / OpenAlex ID: W1585940114 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for information flow analysis with an application to forward slicing of simple imperative programs
+Normal rank
@@ Property / cites work @@
+A logic for information flow in object-oriented programs
+Normal rank
@@ Property / cites work @@
+An Axiomatic Approach to Information Flow in Programs
+Normal rank
@@ Property / cites work @@
+Information-flow and data-flow analysis of while-programs
+Normal rank
@@ Property / cites work @@
+Q4535032
@@ Property / cites work: Q4535032 / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Information flow for Algol-like languages
@@ Property / cites work: Information flow for Algol-like languages / rank @@
+Normal rank
@@ Property / cites work @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+All Secrets Great and Small
@@ Property / cites work: All Secrets Great and Small / rank @@
+Normal rank
@@ Property / cites work @@
+On flow-sensitive security types
@@ Property / cites work: On flow-sensitive security types / rank @@
+Normal rank
@@ Property / cites work @@
+Just Forget It – The Semantics and Enforcement of Information Erasure
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+Program Slicing
@@ Property / cites work: Program Slicing / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3000586