Program synthesis for interactive-security systems (Q1696589): Difference between revisions

@@ Property / cites work @@
+Modular strategies for recursive game graphs
@@ Property / cites work: Modular strategies for recursive game graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic relational verification for cryptographic implementations
+Normal rank
@@ Property / cites work @@
+A lattice model of secure information flow
@@ Property / cites work: A lattice model of secure information flow / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient secure two-party protocols. Techniques and constructions
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Towards fully automatic placement of security sanitizers and declassifiers
+Normal rank
@@ Property / cites work @@
+Secure distributed programming with value-dependent types
+Normal rank