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

@@ Property / DOI @@
-.1007/s10703-017-0296-5
@@ Property / DOI: 10.1007/s10703-017-0296-5 / rank @@
-Normal rank
@@ 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
@@ Property / describes a project that uses @@
+EROS
@@ Property / describes a project that uses: EROS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Moat
@@ Property / describes a project that uses: Moat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+F*
@@ Property / describes a project that uses: F* / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Merlin
@@ Property / describes a project that uses: Merlin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Privtrans
@@ Property / describes a project that uses: Privtrans / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SGX
@@ Property / describes a project that uses: SGX / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2755381580
@@ Property / OpenAlex ID: W2755381580 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-017-0296-5
@@ Property / DOI: 10.1007/S10703-017-0296-5 / rank @@
+Normal rank