A Principled Approach to Tracking Information Flow in the Presence of Libraries (Q3304806): Difference between revisions

@@ Property / describes a project that uses @@
+WebKit
@@ Property / describes a project that uses: WebKit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+node-ffi
@@ Property / describes a project that uses: node-ffi / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FlowFox
@@ Property / describes a project that uses: FlowFox / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Node.js
@@ Property / describes a project that uses: Node.js / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JSFlow
@@ Property / describes a project that uses: JSFlow / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2602111867
@@ Property / OpenAlex ID: W2602111867 / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple facets for dynamic information flow
@@ Property / cites work: Multiple facets for dynamic information flow / rank @@
+Normal rank
@@ Property / cites work @@
+Correct blame for contracts
@@ Property / cites work: Correct blame for contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts for higher-order functions
@@ Property / cites work: Contracts for higher-order functions / rank @@
+Normal rank
@@ Property / cites work @@
+Contracts made manifest
@@ Property / cites work: Contracts made manifest / rank @@
+Normal rank
@@ Property / cites work @@
+Value Sensitivity and Observable Abstract Values for Information Flow Control
+Normal rank