Timing-Sensitive Noninterference through Composition (Q3304803): Difference between revisions

@@ Property / describes a project that uses @@
+FlowFox
@@ Property / describes a project that uses: FlowFox / 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.1007/978-3-662-54455-6_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2602832808
@@ Property / OpenAlex ID: W2602832808 / rank @@
+Normal rank
@@ Property / cites work @@
+Transforming out timing leaks
@@ Property / cites work: Transforming out timing leaks / rank @@
+Normal rank
@@ Property / cites work @@
+Q4458491
@@ Property / cites work: Q4458491 / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518881
@@ Property / cites work: Q4518881 / rank @@
+Normal rank
@@ Property / cites work @@
+A uniform type structure for secure information flow
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Timed I/O Automata
@@ Property / cites work: The Theory of Timed I/O Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Topics in Cryptology – CT-RSA 2006
@@ Property / cites work: Topics in Cryptology – CT-RSA 2006 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798025
@@ Property / cites work: Q4798025 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3304803