S-semantics -- an example
From MaRDI portal
Publication:6102251
DOI10.1007/978-3-030-98869-2_4zbMath1521.68029arXiv2006.06077OpenAlexW3034635105MaRDI QIDQ6102251
Publication date: 8 May 2023
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2006.06077
logic programmingspecificationdeclarative programmingprogram correctnessprogram completenesss-semantics
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A timing attack on the HQC encryption scheme
- Information set decoding in the Lee metric with applications to cryptography
- Declarative modeling of the operational behavior of logic languages
- S-semantics for logic programming: a retrospective look
- Inductive assertion method for logic pograms
- LWE with side information: attacks and concrete security estimation
- A practicable timing attack against HQC and its countermeasure
- On lower bounds for information set decoding over \(\mathbb F_q\) and on the effect of partial knowledge
- Side channel information set decoding using iterative chunking. Plaintext recovery from the ``Classic McEliece hardware reference implementation
- Vulnerabilities of “McEliece in the World of Escher”
- Towards Side-Channel Resistant Implementations of QC-MDPC McEliece Encryption on Constrained Devices
- Decoding Random Linear Codes in $\tilde{\mathcal{O}}(2^{0.054n})$
- Side Channels in the McEliece PKC
- Information-Set Decoding for Linear Codes over F q
- Practical Power Analysis Attacks on Software Implementations of McEliece
- New directions in cryptography
- The s-semantics approach: Theory and applications
- Timing Attacks against the Syndrome Inversion in Code-Based Cryptosystems
- Generic Decoding in the Sum-Rank Metric
- A Side-Channel Assisted Cryptanalytic Attack Against QcBits
- Correctness and Completeness of Logic Programs
- Generalization of the Ball-Collision Algorithm