Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption (Q5458849): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-77050-3_30
+Normal rank
@@ Property / OpenAlex ID @@
+W1514739653
@@ Property / OpenAlex ID: W1514739653 / rank @@
+Normal rank
@@ Property / cites work @@
+Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption
+Normal rank
@@ Property / cites work @@
+Certification of programs for secure information flow
+Normal rank
@@ Property / cites work @@
+Q2763667
@@ Property / cites work: Q2763667 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417891
@@ Property / cites work: Q4417891 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of Computation Theory
@@ Property / cites work: Fundamentals of Computation Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Assessing security threats of looping constructs
@@ Property / cites work: Assessing security threats of looping constructs / rank @@
+Normal rank
@@ Property / cites work @@
+Selected Areas in Cryptography
@@ Property / cites work: Selected Areas in Cryptography / rank @@
+Normal rank