Mitigating Multi-target Attacks in Hash-Based Signatures (Q2798784): Difference between revisions

@@ Property / OpenAlex ID @@
+W2294833833
@@ Property / OpenAlex ID: W2294833833 / rank @@
+Normal rank
@@ Property / cites work @@
+The Automatic Detection of Token Structures and Invariants Using SAT Checking
+Normal rank
@@ Property / cites work @@
+Tighter reachability criteria for deadlock-freedom analysis
+Normal rank
@@ Property / cites work @@
+A Proof System for Communicating Sequential Processes
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+FDR3 — A Modern Refinement Checker for CSP
@@ Property / cites work: FDR3 — A Modern Refinement Checker for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Reachability Analysis in Distributed Systems
@@ Property / cites work: Lazy Reachability Analysis in Distributed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing Component-Based Systems on the Basis of Architectural Constraints
+Normal rank
@@ Property / cites work @@
+Proving the Correctness of Multiprocess Programs
@@ Property / cites work: Proving the Correctness of Multiprocess Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous development of component-based systems using component metadata and patterns
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Equivalences, Metrics, and Polynomial Time
@@ Property / cites work: On Equivalences, Metrics, and Polynomial Time / rank @@
+Normal rank
@@ Property / cites work @@
+A higher-order characterization of probabilistic polynomial time
+Normal rank
@@ Property / cites work @@
+A Short Introduction to Implicit Computational Complexity
+Normal rank
@@ Property / cites work @@
+Probabilistic operational semantics for the lambda calculus
+Normal rank
@@ Property / cites work @@
+Q5417673
@@ Property / cites work: Q5417673 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Dependent Types and Relative Completeness
@@ Property / cites work: Linear Dependent Types and Relative Completeness / rank @@
+Normal rank