S-semantics -- an example (Q6102251): Difference between revisions

@@ Property / cites work @@
+The s-semantics approach: Theory and applications
@@ Property / cites work: The s-semantics approach: Theory and applications / rank @@
+Normal rank
@@ Property / cites work @@
+S-semantics for logic programming: a retrospective look
+Normal rank
@@ Property / cites work @@
+Q3776674
@@ Property / cites work: Q3776674 / rank @@
+Normal rank
@@ Property / cites work @@
+Inductive assertion method for logic pograms
@@ Property / cites work: Inductive assertion method for logic pograms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4875865
@@ Property / cites work: Q4875865 / rank @@
+Normal rank
@@ Property / cites work @@
+Correctness and Completeness of Logic Programs
@@ Property / cites work: Correctness and Completeness of Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative modeling of the operational behavior of logic languages
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+LWE with side information: attacks and concrete security estimation
+Normal rank
@@ Property / cites work @@
+New directions in cryptography
@@ Property / cites work: New directions in cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Practical Power Analysis Attacks on Software Implementations of McEliece
+Normal rank
@@ Property / cites work @@
+Information set decoding in the Lee metric with applications to cryptography
+Normal rank
@@ Property / cites work @@
+Generalization of the Ball-Collision Algorithm
@@ Property / cites work: Generalization of the Ball-Collision Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Side channel information set decoding using iterative chunking. Plaintext recovery from the ``Classic McEliece'' hardware reference implementation
+Normal rank
@@ Property / cites work @@
+Q3803024
@@ Property / cites work: Q3803024 / rank @@
+Normal rank
@@ Property / cites work @@
+Decoding Random Linear Codes in $\tilde{\mathcal{O}}(2^{0.054n})$
+Normal rank
@@ Property / cites work @@
+Vulnerabilities of “McEliece in the World of Escher”
+Normal rank
@@ Property / cites work @@
+On lower bounds for information set decoding over \(\mathbb F_q\) and on the effect of partial knowledge
+Normal rank
@@ Property / cites work @@
+A timing attack on the HQC encryption scheme
@@ Property / cites work: A timing attack on the HQC encryption scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Information-Set Decoding for Linear Codes over F q
+Normal rank
@@ Property / cites work @@
+Generic Decoding in the Sum-Rank Metric
@@ Property / cites work: Generic Decoding in the Sum-Rank Metric / rank @@
+Normal rank
@@ Property / cites work @@
+A Side-Channel Assisted Cryptanalytic Attack Against QcBits
+Normal rank
@@ Property / cites work @@
+Q3835408
@@ Property / cites work: Q3835408 / rank @@
+Normal rank
@@ Property / cites work @@
+Timing Attacks against the Syndrome Inversion in Code-Based Cryptosystems
+Normal rank
@@ Property / cites work @@
+Side Channels in the McEliece PKC
@@ Property / cites work: Side Channels in the McEliece PKC / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Side-Channel Resistant Implementations of QC-MDPC McEliece Encryption on Constrained Devices
+Normal rank
@@ Property / cites work @@
+A practicable timing attack against HQC and its countermeasure
+Normal rank
@@ Property / cites work @@
+Q4409125
@@ Property / cites work: Q4409125 / rank @@
+Normal rank