Relational bytecode correlations (Q710672): Difference between revisions

@@ Property / describes a project that uses @@
+CoVaC
@@ Property / describes a project that uses: CoVaC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ 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.1016/j.jlap.2010.07.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2007975752
@@ Property / OpenAlex ID: W2007975752 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic approach to secure information flow
@@ Property / cites work: A semantic approach to secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+Static Analysis
@@ Property / cites work: Static Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+A Certified Lightweight Non-interference Java Bytecode Verifier
+Normal rank
@@ Property / cites work @@
+Theoretical Computer Science
@@ Property / cites work: Theoretical Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Simple relational correctness proofs for static analyses and program transformations
+Normal rank
@@ Property / cites work @@
+A logic for information flow in object-oriented programs
+Normal rank
@@ Property / cites work @@
+Relational separation logic
@@ Property / cites work: Relational separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of translation validators
@@ Property / cites work: Formal verification of translation validators / rank @@
+Normal rank
@@ Property / cites work @@
+Stack-based access control and secure information flow
+Normal rank
@@ Property / cites work @@
+Relational Parametricity and Separation Logic
@@ Property / cites work: Relational Parametricity and Separation Logic / 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 @@
+Q4411818
@@ Property / cites work: Q4411818 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming languages and systems. 4th Asian symposium, APLAS 2006, Sydney, Australia, November 8--10, 2006. Proceedings
+Normal rank
@@ Property / cites work @@
+Certification Using the Mobius Base Logic
@@ Property / cites work: Certification Using the Mobius Base Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Integration of a Security Type System into a Program Logic
+Normal rank
@@ Property / cites work @@
+Q2724215
@@ Property / cites work: Q2724215 / rank @@
+Normal rank
@@ Property / cites work @@
+Information flow inference for ML
@@ Property / cites work: Information flow inference for ML / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming out timing leaks
@@ Property / cites work: Transforming out timing leaks / rank @@
+Normal rank
@@ Property / cites work @@
+Unwinding Conditions for Security in Imperative Languages
+Normal rank
@@ Property / cites work @@
+Automated soundness proofs for dataflow analyses and transformations via local rules
+Normal rank
@@ Property / cites work @@
+A compositional natural semantics and Hoare logic for low-level languages
+Normal rank
@@ Property / cites work @@
+Proof optimization for partial redundancy elimination
+Normal rank
@@ Property / cites work @@
+Abstract non-interference
@@ Property / cites work: Abstract non-interference / rank @@
+Normal rank
@@ Property / cites work @@
+Interprocedurally Analyzing Polynomial Identities
@@ Property / cites work: Interprocedurally Analyzing Polynomial Identities / rank @@
+Normal rank
@@ Property / cites work @@
+Discovering affine equalities using random interpretation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:710672