The following pages link to Pascal Lafourcade (Q287324):
Displaying 50 items.
- Automated proofs of block cipher modes of operation (Q287326) (← links)
- (Q540680) (redirect page) (← links)
- Automated proofs for asymmetric encryption (Q540682) (← links)
- About blockchain interoperability (Q783709) (← links)
- How to construct physical zero-knowledge proofs for puzzles with a ``single loop'' condition (Q820565) (← links)
- Intruder deduction for the equational theory of abelian groups with distributive encryption (Q876047) (← links)
- On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus (Q896922) (← links)
- Verifiable private polynomial evaluation (Q1616917) (← links)
- Anonymizable ring signature without pairing (Q1631944) (← links)
- Revisiting AES related-key differential attacks with constraint programming (Q1799563) (← links)
- Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori (Q2117799) (← links)
- Generic plaintext equality and inequality proofs (Q2145406) (← links)
- A physical ZKP for Slitherlink: how to perform physical topology-preserving computation (Q2169919) (← links)
- Secure best arm identification in multi-armed bandits (Q2169920) (← links)
- A faster cryptographer's Conspiracy Santa (Q2196567) (← links)
- DABSTERS: a privacy preserving e-voting protocol for permissioned blockchain (Q2279133) (← links)
- Computing AES related-key differential characteristics with constraint programming (Q2289026) (← links)
- Efficient invisible and unlinkable sanitizable signatures (Q2289208) (← links)
- Interactive physical zero-knowledge proof for Norinori (Q2300037) (← links)
- Infinite grid exploration by disoriented robots (Q2303300) (← links)
- Formal verification of mobile robot protocols (Q2359768) (← links)
- Formal analysis and offline monitoring of electronic exams (Q2402552) (← links)
- Comparison of mean hitting times for a degree-biased random walk (Q2449093) (← links)
- Symbolic protocol analysis for monoidal equational theories (Q2482449) (← links)
- Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle (Q2672240) (← links)
- Secure cumulative reward maximization in linear stochastic bandits (Q2692324) (← links)
- Automated Verification of Block Cipher Modes of Operation, an Improved Method (Q2889811) (← links)
- Vote-Independence: A Powerful Privacy Notion for Voting Protocols (Q2889829) (← links)
- Analysis of Random Walks Using Tabu Lists (Q2913216) (← links)
- Benaloh’s Dense Probabilistic Encryption Revisited (Q3011926) (← links)
- Related-Key Cryptanalysis of Midori (Q3179490) (← links)
- A cryptographer's Conspiracy Santa (Q3305731) (← links)
- Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or (Q3591419) (← links)
- Comparing State Spaces in Automatic Security Protocol Analysis (Q3631370) (← links)
- Automated Security Proof for Symmetric Encryption Modes (Q3656840) (← links)
- On Unique Decomposition of Processes in the Applied π-Calculus (Q4910411) (← links)
- Brandt’s Fully Private Auction Protocol Revisited (Q4924674) (← links)
- SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Q5076321) (← links)
- Improved Constructions of Anonymous Credentials from Structure-Preserving Signatures on Equivalence Classes (Q5087265) (← links)
- Automated Proofs for Asymmetric Encryption (Q5187835) (← links)
- (Q5282806) (← links)
- Formal Verification of e-Auction Protocols (Q5326763) (← links)
- Term Rewriting and Applications (Q5703858) (← links)
- Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality (Q6052703) (← links)
- Perpetual torus exploration by myopic luminous robots (Q6077066) (← links)
- Physical ZKP protocols for Nurimisaki and Kurodoko (Q6093570) (← links)
- Perpetual torus exploration by myopic luminous robots (Q6155243) (← links)
- Card-based ZKP protocol for Nurimisaki (Q6155254) (← links)
- Shadoks Approach to Low-Makespan Coordinated Motion Planning (Q6163580) (← links)
- Finding water on Poleless using melomaniac myopic chameleon robots (Q6487570) (← links)
