Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security (Q2798768): Difference between revisions

@@ Property / cites work @@
+Q2769592
@@ Property / cites work: Q2769592 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994938
@@ Property / cites work: Q4994938 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813388
@@ Property / cites work: Q4813388 / rank @@
+Normal rank
@@ Property / cites work @@
+The essence of command injection attacks in web applications
+Normal rank
@@ Property / cites work @@
+Programming Techniques: Regular expression search algorithm
+Normal rank
@@ Property / cites work @@
+Analyzing Matching Time Behavior of Backtracking Regular Expression Matchers by Using Ambiguity of NFA
+Normal rank
@@ Property / cites work @@
+Static Detection of DoS Vulnerabilities in Programs that Use Regular Expressions
+Normal rank
@@ Property / cites work @@
+Automata-based symbolic string analysis for vulnerability detection
+Normal rank
@@ Property / cites work @@
+Timed I/O automata
@@ Property / cites work: Timed I/O automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Abstraction Refinement for Timed Automata
+Normal rank
@@ Property / cites work @@
+Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14--20, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Better abstractions for timed automata
@@ Property / cites work: Better abstractions for timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551180
@@ Property / cites work: Q4551180 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Approaches to Software Testing
@@ Property / cites work: Formal Approaches to Software Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Safe and Optimal Adaptive Cruise Control
@@ Property / cites work: Safe and Optimal Adaptive Cruise Control / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Formal modeling and analysis of timed systems. 5th international conference, FORMATS 2007, Salzburg, Austria, October 3--5, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Modelling and verifying the AODV routing protocol
@@ Property / cites work: Modelling and verifying the AODV routing protocol / rank @@
+Normal rank