Bramas, Quentin; Lafourcade, Pascal; Devismes, Stéphane Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality. (English) Zbl 07751510 Theor. Comput. Sci. 977, Article ID 114162, 22 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{Q. Bramas} et al., Theor. Comput. Sci. 977, Article ID 114162, 22 p. (2023; Zbl 07751510) Full Text: DOI
Darwich, Omar; Ulucan, Ahmet-Sefa; Bramas, Quentin; Lamani, Anissa; Durand, Anaïs; Lafourcade, Pascal Perpetual torus exploration by myopic luminous robots. (English) Zbl 07751500 Theor. Comput. Sci. 976, Article ID 114143, 14 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{O. Darwich} et al., Theor. Comput. Sci. 976, Article ID 114143, 14 p. (2023; Zbl 07751500) Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Physical ZKP protocols for Nurimisaki and Kurodoko. (English) Zbl 1522.94087 Theor. Comput. Sci. 972, Article ID 114071, 15 p. (2023). MSC: 94A60 94A62 91A80 PDFBibTeX XMLCite \textit{L. Robert} et al., Theor. Comput. Sci. 972, Article ID 114071, 15 p. (2023; Zbl 1522.94087) Full Text: DOI
Connolly, Aisling; Deschamps, Jérôme; Lafourcade, Pascal; Perez Kempner, Octavio Protego: efficient, revocable and auditable anonymous credentials with applications to hyperledger fabric. (English) Zbl 1519.94092 Isobe, Takanori (ed.) et al., Progress in cryptology – INDOCRYPT 2022. 23rd international conference on cryptology in India, Kolkata, India, December 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13774, 249-271 (2023). MSC: 94A60 94A62 PDFBibTeX XMLCite \textit{A. Connolly} et al., Lect. Notes Comput. Sci. 13774, 249--271 (2023; Zbl 1519.94092) Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Hide a liar: card-based ZKP protocol for Usowan. (English) Zbl 07722842 Du, Ding-Zhu (ed.) et al., Theory and applications of models of computation. 17th annual conference, TAMC 2022, Tianjin, China, September 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13571, 201-217 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Robert} et al., Lect. Notes Comput. Sci. 13571, 201--217 (2023; Zbl 07722842) Full Text: DOI
Sancho, R.; Rey-de-Pedraza, V.; Lafourcade, P.; Lebensohn, R. A.; Segurado, J. An implicit FFT-based method for wave propagation in elastic heterogeneous media. (English) Zbl 07644845 Comput. Methods Appl. Mech. Eng. 404, Article ID 115772, 32 p. (2023). MSC: 74-XX 78-XX PDFBibTeX XMLCite \textit{R. Sancho} et al., Comput. Methods Appl. Mech. Eng. 404, Article ID 115772, 32 p. (2023; Zbl 07644845) Full Text: DOI arXiv
Crombez, Loïc; da Fonseca, Guilherme D.; Gerard, Yan; Gonzalez-Lorenzo, Aldo; Lafourcade, Pascal; Libralesso, Luc Shadoks approach to low-makespan coordinated motion planning. (English) Zbl 1521.68224 ACM J. Exp. Algorithm. 27, Paper No. 3.2, 17 p. (2022). MSC: 68T40 68T20 68U05 PDFBibTeX XMLCite \textit{L. Crombez} et al., ACM J. Exp. Algorithm. 27, Paper No. 3.2, 17 p. (2022; Zbl 1521.68224) Full Text: DOI arXiv
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Card-based ZKP protocol for Nurimisaki. (English) Zbl 1522.94086 Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 24th international symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13751, 285-298 (2022). MSC: 94A60 PDFBibTeX XMLCite \textit{L. Robert} et al., Lect. Notes Comput. Sci. 13751, 285--298 (2022; Zbl 1522.94086) Full Text: DOI
Darwich, Omar; Ulucan, Ahmet-Sefa; Bramas, Quentin; Lamani, Anissa; Durand, Anaïs; Lafourcade, Pascal Perpetual torus exploration by myopic luminous robots. (English) Zbl 1522.68599 Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 24th international symposium, SSS 2022, Clermont-Ferrand, France, November 15–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13751, 164-177 (2022). MSC: 68T40 68W15 PDFBibTeX XMLCite \textit{O. Darwich} et al., Lect. Notes Comput. Sci. 13751, 164--177 (2022; Zbl 1522.68599) Full Text: DOI
King, Matthew J.; Brambley, Edward J.; Liupekevicius, Renan; Radia, Miren; Lafourcade, Paul; Shah, Tauqeer H. The critical layer in quadratic flow boundary layers over acoustic linings. (English) Zbl 1521.76785 J. Fluid Mech. 950, Paper No. A8, 45 p. (2022). MSC: 76N20 76Q05 PDFBibTeX XMLCite \textit{M. J. King} et al., J. Fluid Mech. 950, Paper No. A8, 45 p. (2022; Zbl 1521.76785) Full Text: DOI arXiv
Connolly, Aisling; Lafourcade, Pascal; Kempner, Octavio Perez Improved constructions of anonymous credentials from structure-preserving signatures on equivalence classes. (English) Zbl 1492.94186 Hanaoka, Goichiro (ed.) et al., Public-key cryptography – PKC 2022. 25th IACR international conference on practice and theory of public-key cryptography, virtual event, March 8–11, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13177, 409-438 (2022). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{A. Connolly} et al., Lect. Notes Comput. Sci. 13177, 409--438 (2022; Zbl 1492.94186) Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Libralesso, Luc; Mizuki, Takaaki Physical zero-knowledge proof and NP-completeness proof of Suguru puzzle. (English) Zbl 1487.68123 Inf. Comput. 285, Part B, Article ID 104858, 14 p. (2022). MSC: 68Q17 68Q10 94A60 PDFBibTeX XMLCite \textit{L. Robert} et al., Inf. Comput. 285, Part B, Article ID 104858, 14 p. (2022; Zbl 1487.68123) Full Text: DOI
Ciucanu, Radu; Lafourcade, Pascal; Marcadet, Gael; Soare, Marta SAMBA: a generic framework for secure federated multi-armed bandits. (English) Zbl 07527539 J. Artif. Intell. Res. (JAIR) 73, 737-765 (2022). MSC: 68Txx PDFBibTeX XMLCite \textit{R. Ciucanu} et al., J. Artif. Intell. Res. (JAIR) 73, 737--765 (2022; Zbl 07527539) Full Text: DOI
Bellot, V.; Cautrès, M.; Favreau, J-M.; Gonzalez-Thauvin, M.; Lafourcade, P.; Le Cornec, K.; Mosnier, B.; Rivière-Wekstein, S. How to generate perfect mazes? (English) Zbl 07769055 Inf. Sci. 572, 444-459 (2021). MSC: 68R10 PDFBibTeX XMLCite \textit{V. Bellot} et al., Inf. Sci. 572, 444--459 (2021; Zbl 07769055) Full Text: DOI
Blazy, Olivier; Bultel, Xavier; Lafourcade, Pascal; Perez Kempner, Octavio Generic plaintext equality and inequality proofs. (English) Zbl 1491.94040 Borisov, Nikita (ed.) et al., Financial cryptography and data security. 25th international conference, FC 2021, virtual event, March 1–5, 2021. Revised selected papers. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 12674, 415-435 (2021). MSC: 94A60 PDFBibTeX XMLCite \textit{O. Blazy} et al., Lect. Notes Comput. Sci. 12674, 415--435 (2021; Zbl 1491.94040) Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Interactive physical ZKP for connectivity: applications to Nurikabe and Hitori. (English) Zbl 07495184 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 373-384 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Robert} et al., Lect. Notes Comput. Sci. 12813, 373--384 (2021; Zbl 07495184) Full Text: DOI HAL
Lafourcade, Pascal; Miyahara, Daiki; Mizuki, Takaaki; Robert, Léo; Sasaki, Tatsuya; Sone, Hideaki How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition. (English) Zbl 1517.94122 Theor. Comput. Sci. 888, 41-55 (2021). MSC: 94A60 PDFBibTeX XMLCite \textit{P. Lafourcade} et al., Theor. Comput. Sci. 888, 41--55 (2021; Zbl 1517.94122) Full Text: DOI
Robert, Léo; Miyahara, Daiki; Lafourcade, Pascal; Mizuki, Takaaki Physical zero-knowledge proof for Suguru puzzle. (English) Zbl 1517.68139 Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 22nd international symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12514, 235-247 (2020). MSC: 68Q17 68Q10 94A60 PDFBibTeX XMLCite \textit{L. Robert} et al., Lect. Notes Comput. Sci. 12514, 235--247 (2020; Zbl 1517.68139) Full Text: DOI
Ciucanu, Radu; Delabrouille, Anatole; Lafourcade, Pascal; Soare, Marta Secure cumulative reward maximization in linear stochastic bandits. (English) Zbl 1518.68293 Nguyen, Khoa (ed.) et al., Provable and practical security. 14th international conference, ProvSec 2020, Singapore, November 29 – December 1, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12505, 257-277 (2020). MSC: 68T05 91A60 94A60 PDFBibTeX XMLCite \textit{R. Ciucanu} et al., Lect. Notes Comput. Sci. 12505, 257--277 (2020; Zbl 1518.68293) Full Text: DOI
Miyahara, Daiki; Robert, Léo; Lafourcade, Pascal; Takeshige, So; Mizuki, Takaaki; Shinagawa, Kazumasa; Nagao, Atsuki; Sone, Hideaki Card-based ZKP protocols for Takuzu and Juosan. (English) Zbl 1515.91039 Farach-Colton, Martin (ed.) et al., 10th international conference on fun with algorithms. FUN 2021, May 30 – June 1, 2021, Favignana Island, Sicily, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 157, Article 20, 21 p. (2020). MSC: 91A46 94A60 PDFBibTeX XMLCite \textit{D. Miyahara} et al., LIPIcs -- Leibniz Int. Proc. Inform. 157, Article 20, 21 p. (2020; Zbl 1515.91039) Full Text: DOI
Bramas, Quentin; Lafourcade, Pascal; Devismes, Stéphane Finding water on Poleless using melomaniac myopic chameleon robots. (English) Zbl 1515.68361 Farach-Colton, Martin (ed.) et al., 10th international conference on fun with algorithms. FUN 2021, May 30 – June 1, 2021, Favignana Island, Sicily, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 157, Article 6, 19 p. (2020). MSC: 68W15 68T40 PDFBibTeX XMLCite \textit{Q. Bramas} et al., LIPIcs -- Leibniz Int. Proc. Inform. 157, Article 6, 19 p. (2020; Zbl 1515.68361) Full Text: DOI
Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal A faster cryptographer’s Conspiracy Santa. (English) Zbl 1453.68081 Theor. Comput. Sci. 839, 122-134 (2020). MSC: 68Q10 68P27 68Q17 68Q25 91A12 91A68 94A60 PDFBibTeX XMLCite \textit{X. Bultel} et al., Theor. Comput. Sci. 839, 122--134 (2020; Zbl 1453.68081) Full Text: DOI arXiv
Lafourcade, Pascal; Lombard-Platet, Marius About blockchain interoperability. (English) Zbl 1441.94084 Inf. Process. Lett. 161, Article ID 105976, 5 p. (2020). MSC: 94A60 PDFBibTeX XMLCite \textit{P. Lafourcade} and \textit{M. Lombard-Platet}, Inf. Process. Lett. 161, Article ID 105976, 5 p. (2020; Zbl 1441.94084) Full Text: DOI
Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine Computing AES related-key differential characteristics with constraint programming. (English) Zbl 1482.94049 Artif. Intell. 278, Article ID 103183, 24 p. (2020). MSC: 94A60 90C30 PDFBibTeX XMLCite \textit{D. Gerault} et al., Artif. Intell. 278, Article ID 103183, 24 p. (2020; Zbl 1482.94049) Full Text: DOI HAL
Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal; Robert, Léo Optimal Threshold Padlock Systems. arXiv:2004.11552 Preprint, arXiv:2004.11552 [cs.CR] (2020). BibTeX Cite \textit{J. Dreier} et al., ``Optimal Threshold Padlock Systems'', Preprint, arXiv:2004.11552 [cs.CR] (2020) Full Text: arXiv OA License
Ciucanu, Radu; Lafourcade, Pascal; Lombard-Platet, Marius; Soare, Marta Secure best arm identification in multi-armed bandits. (English) Zbl 1498.68101 Heng, Swee-Huay (ed.) et al., Information security practice and experience. 15th international conference, ISPEC 2019, Kuala Lumpur, Malaysia, November 26–28, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11879, 152-171 (2019). MSC: 68P27 68Q87 94A60 PDFBibTeX XMLCite \textit{R. Ciucanu} et al., Lect. Notes Comput. Sci. 11879, 152--171 (2019; Zbl 1498.68101) Full Text: DOI
Lafourcade, Pascal; Miyahara, Daiki; Mizuki, Takaaki; Sasaki, Tatsuya; Sone, Hideaki A physical ZKP for Slitherlink: how to perform physical topology-preserving computation. (English) Zbl 1497.68388 Heng, Swee-Huay (ed.) et al., Information security practice and experience. 15th international conference, ISPEC 2019, Kuala Lumpur, Malaysia, November 26–28, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11879, 135-151 (2019). MSC: 68R10 68Q10 91A43 94A60 PDFBibTeX XMLCite \textit{P. Lafourcade} et al., Lect. Notes Comput. Sci. 11879, 135--151 (2019; Zbl 1497.68388) Full Text: DOI
Bramas, Quentin; Devismes, Stéphane; Lafourcade, Pascal Infinite grid exploration by disoriented robots. (English) Zbl 07176669 Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11639, 340-344 (2019). MSC: 68Mxx 68R10 PDFBibTeX XMLCite \textit{Q. Bramas} et al., Lect. Notes Comput. Sci. 11639, 340--344 (2019; Zbl 07176669) Full Text: DOI arXiv
Dumas, Jean-Guillaume; Lafourcade, Pascal; Miyahara, Daiki; Mizuki, Takaaki; Sasaki, Tatsuya; Sone, Hideaki Interactive physical zero-knowledge proof for Norinori. (English) Zbl 07172837 Du, Ding-Zhu (ed.) et al., Computing and combinatorics. 25th international conference, COCOON 2019, Xi’an, China, July 29–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11653, 166-177 (2019). MSC: 68Rxx PDFBibTeX XMLCite \textit{J.-G. Dumas} et al., Lect. Notes Comput. Sci. 11653, 166--177 (2019; Zbl 07172837) Full Text: DOI HAL
Bultel, Xavier; Lafourcade, Pascal; Lai, Russell W. F.; Malavolta, Giulio; Schröder, Dominique; Thyagarajan, Sri Aravinda Krishnan Efficient invisible and unlinkable sanitizable signatures. (English) Zbl 1465.94093 Lin, Dongdai (ed.) et al., Public-key cryptography – PKC 2019. 22nd IACR international conference on practice and theory of public-key cryptography, Beijing, China, April 14–17, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11442, 159-189 (2019). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{X. Bultel} et al., Lect. Notes Comput. Sci. 11442, 159--189 (2019; Zbl 1465.94093) Full Text: DOI HAL
Chaieb, Marwa; Koscina, Mirko; Yousfi, Souheib; Lafourcade, Pascal; Robbana, Riadh DABSTERS: a privacy preserving e-voting protocol for permissioned blockchain. (English) Zbl 07142682 Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 292-312 (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{M. Chaieb} et al., Lect. Notes Comput. Sci. 11884, 292--312 (2019; Zbl 07142682) Full Text: DOI
Bultel, Xavier; Lafourcade, Pascal Unlinkable and strongly accountable sanitizable signatures from verifiable ring signatures. (English) Zbl 1522.94099 Capkun, Srdjan (ed.) et al., Cryptology and network security. 16th international conference, CANS 2017, Hong Kong, China, November 30 – December 2, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11261, 203-226 (2018). MSC: 94A62 94A60 PDFBibTeX XMLCite \textit{X. Bultel} and \textit{P. Lafourcade}, Lect. Notes Comput. Sci. 11261, 203--226 (2018; Zbl 1522.94099) Full Text: DOI
Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal; Miyahara, Daiki; Mizuki, Takaaki; Nagao, Atsuki; Sasaki, Tatsuya; Shinagawa, Kazumasa; Sone, Hideaki Physical zero-knowledge proof for Makaro. (English) Zbl 1519.68103 Izumi, Taisuke (ed.) et al., Stabilization, safety, and security of distributed systems. 20th international symposium, SSS 2018, Tokyo, Japan, November 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11201, 111-125 (2018). MSC: 68Q10 91A44 94A60 PDFBibTeX XMLCite \textit{X. Bultel} et al., Lect. Notes Comput. Sci. 11201, 111--125 (2018; Zbl 1519.68103) Full Text: DOI
Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal A cryptographer’s Conspiracy Santa. (English) Zbl 1453.68080 Ito, Hiro (ed.) et al., 9th international conference on fun with algorithms, FUN 2018, June 13–15, 2018, La Maddalena Island, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 100, Article 13, 13 p. (2018). MSC: 68Q10 68P27 68Q17 68Q25 91A12 91A68 94A60 PDFBibTeX XMLCite \textit{X. Bultel} et al., LIPIcs -- Leibniz Int. Proc. Inform. 100, Article 13, 13 p. (2018; Zbl 1453.68080) Full Text: DOI
Gérault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine Revisiting AES related-key differential attacks with constraint programming. (English) Zbl 1481.94101 Inf. Process. Lett. 139, 24-29 (2018). MSC: 94A60 90C27 68W40 PDFBibTeX XMLCite \textit{D. Gérault} et al., Inf. Process. Lett. 139, 24--29 (2018; Zbl 1481.94101) Full Text: DOI HAL
Blazy, Olivier; Bultel, Xavier; Lafourcade, Pascal Anonymizable ring signature without pairing. (English) Zbl 1403.94095 Cuppens, Frédéric (ed.) et al., Foundations and practice of security. 9th international symposium, FPS 2016, Québec City, QC, Canada, October 24–25, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-51965-4/pbk; 978-3-319-51966-1/ebook). Lecture Notes in Computer Science 10128, 214-222 (2017). MSC: 94A62 PDFBibTeX XMLCite \textit{O. Blazy} et al., Lect. Notes Comput. Sci. 10128, 214--222 (2017; Zbl 1403.94095) Full Text: DOI HAL
Bultel, Xavier; Das, Manik Lal; Gajera, Hardik; Gérault, David; Giraud, Matthieu; Lafourcade, Pascal Verifiable private polynomial evaluation. (English) Zbl 1439.94021 Okamoto, Tatsuaki (ed.) et al., Provable security. 11th international conference, ProvSec 2017, Xi’an, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10005, 487-506 (2017). MSC: 94A60 68P25 68P27 PDFBibTeX XMLCite \textit{X. Bultel} et al., Lect. Notes Comput. Sci. 10005, 487--506 (2017; Zbl 1439.94021) Full Text: DOI HAL
Kassem, Ali; Falcone, Yliès; Lafourcade, Pascal Formal analysis and offline monitoring of electronic exams. (English) Zbl 1370.68205 Form. Methods Syst. Des. 51, No. 1, 117-153 (2017). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{A. Kassem} et al., Form. Methods Syst. Des. 51, No. 1, 117--153 (2017; Zbl 1370.68205) Full Text: DOI HAL
Bultel, Xavier; Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal Physical zero-knowledge proofs for Akari, Takuzu, Kakuro and KenKen. (English) Zbl 1369.91037 Demaine, Erik D. (ed.) et al., 8th international conference on fun with algorithms, FUN 2016, La Maddalena, Italy, June 8–10, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-005-7). LIPIcs – Leibniz International Proceedings in Informatics 49, Article 8, 20 p. (2016). MSC: 91A46 94A60 PDFBibTeX XMLCite \textit{X. Bultel} et al., LIPIcs -- Leibniz Int. Proc. Inform. 49, Article 8, 20~p. (2016; Zbl 1369.91037) Full Text: DOI arXiv
Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien Formal verification of mobile robot protocols. (English) Zbl 1410.68217 Distrib. Comput. 29, No. 6, 459-487 (2016). MSC: 68Q60 68M12 68M14 PDFBibTeX XMLCite \textit{B. Bérard} et al., Distrib. Comput. 29, No. 6, 459--487 (2016; Zbl 1410.68217) Full Text: DOI
Gérault, David; Lafourcade, Pascal Related-key cryptanalysis of Midori. (English) Zbl 1411.94060 Dunkelman, Orr (ed.) et al., Progress in cryptology – INDOCRYPT 2016. 17th international conference on cryptology in India, Kolkata, India, December 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10095, 287-304 (2016). MSC: 94A60 PDFBibTeX XMLCite \textit{D. Gérault} and \textit{P. Lafourcade}, Lect. Notes Comput. Sci. 10095, 287--304 (2016; Zbl 1411.94060) Full Text: DOI HAL
Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh Automated proofs of block cipher modes of operation. (English) Zbl 1356.68188 J. Autom. Reasoning 56, No. 1, 49-94 (2016). MSC: 68T15 03B70 68N30 94A60 PDFBibTeX XMLCite \textit{M. Gagné} et al., J. Autom. Reasoning 56, No. 1, 49--94 (2016; Zbl 1356.68188) Full Text: DOI HAL
Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine On the existence and decidability of unique decompositions of processes in the applied \(\pi\)-calculus. (English) Zbl 1333.68197 Theor. Comput. Sci. 612, 102-125 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Dreier} et al., Theor. Comput. Sci. 612, 102--125 (2016; Zbl 1333.68197) Full Text: DOI
Gerbaud, Antoine; Altisen, Karine; Devismes, Stéphane; Lafourcade, Pascal Comparison of mean hitting times for a degree-biased random walk. (English) Zbl 1288.05253 Discrete Appl. Math. 170, 104-109 (2014). MSC: 05C81 60J10 PDFBibTeX XMLCite \textit{A. Gerbaud} et al., Discrete Appl. Math. 170, 104--109 (2014; Zbl 1288.05253) Full Text: DOI
Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine Formal verification of e-auction protocols. (English) Zbl 1390.68078 Basin, David (ed.) et al., Principles of security and trust. Second international conference, POST 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36829-5/pbk). Lecture Notes in Computer Science 7796, 247-266 (2013). MSC: 68M12 68M11 68P25 68Q60 68T15 91B26 PDFBibTeX XMLCite \textit{J. Dreier} et al., Lect. Notes Comput. Sci. 7796, 247--266 (2013; Zbl 1390.68078) Full Text: DOI
Dreier, Jannik; Dumas, Jean-Guillaume; Lafourcade, Pascal Brandt’s fully private auction protocol revisited. (English) Zbl 1312.94045 Youssef, Amr (ed.) et al., Progress in cryptology – AFRICACRYPT 2013. 6th international conference on cryptology in Africa, Cairo, Egypt, June 22–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38552-0/pbk). Lecture Notes in Computer Science 7918, 88-106 (2013). MSC: 94A60 91B26 PDFBibTeX XMLCite \textit{J. Dreier} et al., Lect. Notes Comput. Sci. 7918, 88--106 (2013; Zbl 1312.94045) Full Text: DOI arXiv
Dreier, Jannik; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine On unique decomposition of processes in the applied \(\pi\)-calculus. (English) Zbl 1260.68265 Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 50-64 (2013). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Dreier} et al., Lect. Notes Comput. Sci. 7794, 50--64 (2013; Zbl 1260.68265) Full Text: DOI
Altisen, Karine; Devismes, Stéphane; Gerbaud, Antoine; Lafourcade, Pascal Analysis of random walks using tabu lists. (English) Zbl 1503.05111 Even, Guy (ed.) et al., Structural information and communication complexity. 19th international colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30–July 2, 2012. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 7355, 254-266 (2012). MSC: 05C81 68R10 PDFBibTeX XMLCite \textit{K. Altisen} et al., Lect. Notes Comput. Sci. 7355, 254--266 (2012; Zbl 1503.05111) Full Text: DOI
Dreier, Jannik; Lafourcade, Pascal; Lakhnech, Yassine Vote-independence: a powerful privacy notion for voting protocols. (English) Zbl 1302.94045 Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12–13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 164-180 (2012). MSC: 94A60 91B12 PDFBibTeX XMLCite \textit{J. Dreier} et al., Lect. Notes Comput. Sci. 6888, 164--180 (2012; Zbl 1302.94045) Full Text: DOI HAL
Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh Automated verification of block cipher modes of operation, an improved method. (English) Zbl 1303.68051 Garcia-Alfaro, Joaquin (ed.) et al., Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12–13, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). Lecture Notes in Computer Science 6888, 23-31 (2012). MSC: 68P25 94A60 PDFBibTeX XMLCite \textit{M. Gagné} et al., Lect. Notes Comput. Sci. 6888, 23--31 (2012; Zbl 1303.68051) Full Text: DOI HAL
Garcia-Alfaro, Joaquin (ed.); Lafourcade, Pascal (ed.) Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12–13, 2011. Revised selected papers. (English) Zbl 1233.94003 Lecture Notes in Computer Science 6888. Berlin: Springer (ISBN 978-3-642-27900-3/pbk). xiii, 253 p. (2012). MSC: 94-06 94A60 00B25 PDFBibTeX XMLCite \textit{J. Garcia-Alfaro} (ed.) and \textit{P. Lafourcade} (ed.), Foundations and practice of security. 4th Canada-France MITACS workshop, FPS 2011, Paris, France, May 12--13, 2011. Revised selected papers. Berlin: Springer (2012; Zbl 1233.94003) Full Text: DOI
Fousse, Laurent; Lafourcade, Pascal; Alnuaimi, Mohamed Benaloh’s dense probabilistic encryption revisited. (English) Zbl 1280.94055 Nitaj, Abderrahmane (ed.) et al., Progress in cryptology – AFRICACRYPT 2011. 4th international conference on cryptology in Africa, Dakar, Senegal, July 5–7, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21968-9/pbk). Lecture Notes in Computer Science 6737, 348-362 (2011). MSC: 94A60 PDFBibTeX XMLCite \textit{L. Fousse} et al., Lect. Notes Comput. Sci. 6737, 348--362 (2011; Zbl 1280.94055) Full Text: DOI arXiv
Courant, J.; Daubignard, M.; Ene, C.; Lafourcade, P.; Lakhnech, Y. Automated proofs for asymmetric encryption. (English) Zbl 1213.94094 J. Autom. Reasoning 46, No. 3-4, 261-291 (2011). MSC: 94A60 68Q60 68T15 PDFBibTeX XMLCite \textit{J. Courant} et al., J. Autom. Reasoning 46, No. 3--4, 261--291 (2011; Zbl 1213.94094) Full Text: DOI HAL
Courant, Joudicaël; Daubignard, Marion; Ene, Cristian; Lafourcade, Pascal; Lakhnech, Yassine Automated proofs for asymmetric encryption. (English) Zbl 1274.94056 Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 300-321 (2010). MSC: 94A60 68P25 68Q60 68T15 PDFBibTeX XMLCite \textit{J. Courant} et al., Lect. Notes Comput. Sci. 5930, 300--321 (2010; Zbl 1274.94056) Full Text: DOI HAL
Gagné, Martin; Lafourcade, Pascal; Lakhnech, Yassine; Safavi-Naini, Reihaneh Automated security proof for symmetric encryption modes. (English) Zbl 1273.68109 Datta, Anupam (ed.), Advances in computer science – ASIAN 2009. Information security and privacy. 13th Asian computing science conference, Seoul, Korea, December 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10621-7/pbk). Lecture Notes in Computer Science 5913, 39-53 (2009). MSC: 68P25 68T15 94A60 PDFBibTeX XMLCite \textit{M. Gagné} et al., Lect. Notes Comput. Sci. 5913, 39--53 (2009; Zbl 1273.68109) Full Text: DOI
Cremers, Cas J. F.; Lafourcade, Pascal; Nadeau, Philippe Comparing state spaces in automatic security protocol analysis. (English) Zbl 1242.94022 Cortier, Véronique (ed.) et al., Formal to practical security. Papers issued from the 2005–2008 French-Japanese collaboration. Berlin: Springer (ISBN 978-3-642-02001-8/pbk). Lecture Notes in Computer Science 5458, 70-94 (2009). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{C. J. F. Cremers} et al., Lect. Notes Comput. Sci. 5458, 70--94 (2009; Zbl 1242.94022) Full Text: DOI HAL
Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf Symbolic protocol analysis for monoidal equational theories. (English) Zbl 1148.68325 Inf. Comput. 206, No. 2-4, 312-351 (2008). MSC: 68M12 68P25 PDFBibTeX XMLCite \textit{S. Delaune} et al., Inf. Comput. 206, No. 2--4, 312--351 (2008; Zbl 1148.68325) Full Text: DOI
Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf Intruder deduction for the equational theory of abelian groups with distributive encryption. (English) Zbl 1112.68048 Inf. Comput. 205, No. 4, 581-623 (2007). MSC: 68P25 68Q60 68T15 94A60 PDFBibTeX XMLCite \textit{P. Lafourcade} et al., Inf. Comput. 205, No. 4, 581--623 (2007; Zbl 1112.68048) Full Text: DOI
Delaune, Stéphanie; Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf Symbolic protocol analysis in presence of a homomorphism operator and exclusive or. (English) Zbl 1133.94315 Bugliesi, Michele (ed.) et al., Automata, languages and programming. 33rd international colloquium, ICALP 2006, Venice, Italy, July 10–14, 2006. Proceedings, Part II. Berlin: Springer (ISBN 978-3-540-35907-4/pbk). Lecture Notes in Computer Science 4052, 132-143 (2006). MSC: 94A60 PDFBibTeX XMLCite \textit{S. Delaune} et al., Lect. Notes Comput. Sci. 4052, 132--143 (2006; Zbl 1133.94315) Full Text: DOI Link
Lafourcade, Pascal; Lugiez, Denis; Treinen, Ralf Intruder deduction for AC-like equational theories with homomorphisms. (English) Zbl 1078.68034 Giesl, Jürgen (ed.), Term rewriting and applications. 16th international conference, RTA 2005, Nara, Japan, April 19–21, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25596-6/pbk). Lecture Notes in Computer Science 3467, 308-322 (2005). MSC: 68P25 68Q42 68Q85 68T15 94A60 PDFBibTeX XMLCite \textit{P. Lafourcade} et al., Lect. Notes Comput. Sci. 3467, 308--322 (2005; Zbl 1078.68034) Full Text: DOI