LAFOURCADE - Pascal
Toutes les publications (210)
| Date/Type | Titre/URL/journal | Domaines | Notes SJR/Core | Cit. GScholar |
|---|---|---|---|---|
| 2024
ART |
Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki
ZKP Protocols for Usowan, Herugolf, and Five Cells Tsinghua Science and Technology - 2024 |
|||
| 2024
COMM |
Shohei Kaneko, Pascal Lafourcade, Lola-Baie Mallordy, Daiki Miyahara, Maxime Puys, Kazuo Sakiyama
Balance-Based ZKP Protocols for Pencil-and-Paper Puzzles Information Security Conference - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Optimal Asynchronous Perpetual Grid Exploration Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024 - 2024 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2024
COMM |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Optimal Asynchronous Perpetual Grid Exploration ⋆ SSS : Symposium on Stabilization, Safety, and Security of Distributed Systems - 2024 |
|||
| 2024
COMM |
Xavier Bultel, Charlène Jojon, Pascal Lafourcade
Cryptographic cryptid protocols: How to play cryptid with cheaters CANS 2024 - 23rd International Conference on Cryptology And Network Security - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Pascal Lafourcade, Lola-Baie Mallordy, Charles Olivier-Anclin, Léo Robert
Secure Keyless Multi-Party Storage Scheme ESORICS : European Symposium On Research In Computer Security - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
ART |
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Efficient Card-Based ZKP for Single Loop Condition and Its Application to Moon-or-Sun New Generation Computing - 2024 |
|||
| 2024
COMM |
Jannik Dreier, Pascal Lafourcade, Dhekra Mahmoud
Shaken, not Stirred -Automated Discovery of Subtle Attacks on Protocols using Mix-Nets Usenix Security Symposium - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Pascal Lafourcade, Léo Robert, Gael Marcadet
iUC-Secure Distributed File Transfer From Standard Attribute-based Encryption International Conference on Cryptology in Africa - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Pascal Lafourcade, Dhekra Mahmoud, Gael Marcadet, Charles Olivier-Anclin
Transferable, Auditable and Anonymous Ticketing Protocol Asia Conference on Information, Computer and Communications Security - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COUV |
Pascal Lafourcade, Gael Marcadet, Léo Robert
iUC-Secure Distributed File Transfer from Standard Attribute-Based Encryption |
|||
| 2024
COMM |
Mounira Msahli, Pascal Lafourcade, Dhekra Mahmoud
Formal Analysis of C-ITS PKI protocols SECRYPT : International Conference on Information Security and Cryptography - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2024
COMM |
Antoine Dailly, Pascal Lafourcade, Gael Marcadet
How did they design this game? Swish: complexity and unplayable positions 12th International Conference on Fun with Algorithms (FUN 2024) - 2024 |
Maths | ||
| 2024
COMM |
Pascal Lafourcade, Dhekra Mahmoud, Sylvain Ruhault
A Unified Symbolic Analysis of WireGuard Usenix Network and Distributed System Security Symposium - 2024 |
Informatique/Cryptographie et sécurité | ||
| 2023
OUV |
Pascal Lafourcade, Malika More, Guenaëlle de Julis
15 énigmes ludiques pour se perfectionner en programmation Python |
|||
| 2023
COMM |
Frédéric A Hayek, Pascal Lafourcade, Ariane Tichit
Generic and Universal Local Cryptocurrency: LCoin BRAINS - Conference on Blockchain Research & Applications for Innovative Networks and Services - 2023 |
Sciences de l'homme et de la societe | ||
| 2023
ART |
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Optimal exclusive perpetual grid exploration by luminous myopic opaque robots with common chirality Theoretical Computer Science - 2023 |
|||
| 2023
OUV |
Pascal Lafourcade, Cristina Onete
20 énigmes ludiques pour se perfectionner en cryptographie |
|||
| 2023
ART |
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade
Perpetual torus exploration by myopic luminous robots Theoretical Computer Science - 2023 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2023
ART |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Physical ZKP protocols for Nurimisaki and Kurodoko Theoretical Computer Science - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Samuel Hand, Alexander Koch, Pascal Lafourcade, Daiki Miyahara, Léo Robert
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-Sun IWSEC : International Workshop on Security - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Radu Ciucanu, Pascal Lafourcade, Gael Marcadet, Marta Soare
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract) Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23} - 2023 |
|||
| 2023
COMM |
Olivier Blazy, Ioana Boureanu, Pascal Lafourcade, Cristina Onete, Léo Robert
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment USENIX 2023 - The 32nd USENIX Security Symposium - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Clémentine Gritti, Frédéric A Hayek, Pascal Lafourcade
Generic Blockchain on Generic Human Behavior SECRYPT 2023 - 2023 |
|||
| 2023
COMM |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Exploration en 3D par des robots désorientés : tu montes en bas ou tu descends en haut ? AlgoTel 2023 - 25èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2023 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2023
COMM |
Rohann Bella, Xavier Bultel, Céline Chevalier, Pascal Lafourcade, Charles Olivier-Anclin
Practical Construction for Secure Trick-Taking Games Even With Cards Set Aside FC2023 - Twenty-Seventh Financial Cryptography and Data Security Conference - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
ART |
Loïc Crombez, Guilherme da Fonseca, Florian Fontan, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso, Benjamin Momège, Jack Spalding-Jamieson, Brandon Zhang, da Wei Zheng
Conflict Optimization for Binary CSP Applied to Minimum Partition into Plane Subgraphs and Graph Coloring ACM Journal of Experimental Algorithmics - 2023 |
|||
| 2023
COMM |
Frédéric A. Hayek, Mirko Koscina, Pascal Lafourcade, Charles Olivier-Anclin
Generic Privacy Preserving Private Permissioned Blockchains ACM Symposium on Applied Computing - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
ART |
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare
Secure Protocols for Best Arm Identification in Federated Stochastic Multi-Armed Bandits IEEE Transactions on Dependable and Secure Computing - 2023 |
Informatique/Apprentissage | ||
| 2023
ART |
Mamunur Akand, Reihaneh Safavi-Naini, Marc Kneppers, Matthieu Giraud, Pascal Lafourcade
Privacy-Preserving Proof-of-Location With Security Against Geo-Tampering IEEE Transactions on Dependable and Secure Computing - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
ART |
Daiki Miyahara, Léo Robert, Pascal Lafourcade, Takaaki Mizuki
ZKP protocols for Usowan, Herugolf and Five Cells Tsinghua Science and Technology - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2023
COMM |
Pascal Lafourcade, Gael Marcadet, Léo Robert
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version) ACM Symposium on Applied Computing - 2023 |
Informatique/Cryptographie et sécurité | ||
| 2022
ART |
Loïc Crombez, Guilherme D da Fonseca, Yan Gerard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
Shadoks Approach to Low-Makespan Coordinated Motion Planning ACM Journal of Experimental Algorithmics - 2022 |
|||
| 2022
COMM |
Aisling Ac Connolly, Jérôme Deschamps, Pascal Lafourcade, Octavio Perez-Kempner
Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger Fabric INDOCRYPT : International Conference on Cryptology in India - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Mirko Koscina, Pascal Lafourcade, Gael Marcadet, Charles Olivier-Anclin, Léo Robert
A Survey on Identity-based Blind Signature The 15th International Symposium on Foundations & Practice of Security (FPS – 2022) - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP Protocol for Nurimisaki Symposium on Stabilization, Safety, and Security of Distributed Systems - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
OUV |
Pascal Lafourcade, Malika More
15 énigmes ludiques pour s'initier à la programmation Python |
Informatique/Cryptographie et sécurité | ||
| 2022
ART |
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Léo Robert
Optimal Threshold Padlock Systems Journal of Computer Security - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Hide a Liar: Card-Based ZKP Protocol for Usowan International Conference on Theory and Applications of Models of Computation - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi
Near-collisions and Their Impact on Biometric Security International Conference on Security and Cryptography (SECRYPT) - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Axel Durbet, Paul-Marie Grollemund, Pascal Lafourcade, Denis Migdal, Kevin Thiry-Atighehchi
Authentication Attacks on Projection-based Cancelable Biometric Schemes International Conference on Security and Cryptography (SECRYPT) - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Ghada Arfaoui, Pierre-Alain Fouque, Thibaut Jacques, Adina Nedelcu, Cristina Onete, Léo Robert, Pascal Lafourcade
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-Linking International Conference on Applied Cryptography and Network Security ACNS - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Florian Fontan, Pascal Lafourcade, Luc Libralesso, Benjamin Momège
Local search with weighting schemes for the CG:SHOP 2022 competition 38th International Symposium on Computational Geometry, SoCG - 2022 |
Maths | ||
| 2022
COMM |
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
Exploration perpétuelle : ça s'en va et ça revient AlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2022 |
Informatique/Réseaux et télécommunications | ||
| 2022
COMM |
Quentin Bramas, Stéphane Devismes, Anaïs Durand, Pascal Lafourcade, Anissa Lamani
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World? FUN : Conference on Fun with Algorithms - 2022 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2022
ART |
Malika More, Pascal Lafourcade
Comment fonctionnent les bitcoins ? Interstices - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Gael Marcadet, Radu Ciucanu, Pascal Lafourcade, Marta Soare, Sihem Amer-Yahia
SAMBA: A System for Secure Federated Multi-Armed Bandits 2022 IEEE 38th International Conference on Data Engineering (ICDE) - 2022 |
Informatique/Apprentissage | ||
| 2022
COMM |
Olivier Blazy, Pierre-Alain Fouque, Thibaut Jacques, Pascal Lafourcade, Cristina Onete, Léo Robert
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing ACM Symposium on Applied Computing - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
UNDEFINED |
Ariane Tichit, Corentin Elissée, Frédéric Hayek, Pascal Lafourcade
La Blockchain, avenir des monnaies locales ? |
Sciences de l'homme et de la societe | ||
| 2022
ART |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Card-Based ZKP for Connectivity: Applications to Nurikabe, Hitori, and Heyawake New Generation Computing - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Aisling Connolly, Pascal Lafourcade, Octavio Perez-Kempner
Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence Classes International Conference on Practice and Theory in Public Key Cryptography - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
ART |
Radu Ciucanu, Pascal Lafourcade, Gael Marcadet, Marta Soare
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits Journal of Artificial Intelligence Research - 2022 |
Informatique/Apprentissage | ||
| 2022
ART |
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
Secure protocols for cumulative reward maximization in stochastic multi-armed bandits Journal of Computer Security - 2022 |
Informatique/Apprentissage | ||
| 2022
OUV |
Jean-Guillaume Dumas, Pascal Lafourcade, Ariane Tichit, Sébastien Varrette
Les blockchains en 50 questions - 2nd édition |
Informatique/Cryptographie et sécurité | ||
| 2022
OUV |
Jean-Guillaume Dumas, Pascal Lafourcade, Etienne Roudeix, Ariane Tichit, Sébastien Varrette
Les NFT en 40 questions |
Informatique/Cryptographie et sécurité | ||
| 2022
ART |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Luc Libralesso, Takaaki Mizuki
Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆ Information and Computation - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Camille Sivelle, Lorys Debbah, Maxime Puys, Pascal Lafourcade, Thibault Franco-Rondisson
Automatic implementations synthesis of secure protocols and attacks from abstract models Nordic Workshop on Secure IT Systems - 2022 |
Informatique/Cryptographie et sécurité | ||
| 2022
COMM |
Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, Pascal Lafourcade
Perpetual Torus Exploration by Myopic Luminous Robots Symposium on Stabilization, Safety, and Security of Distributed Systems - 2022 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2021
SON |
Pascal Lafourcade
Episode #347 No Limit Sécu about REDOCS 21 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Xavier Bultel, Pascal Lafourcade, Charles Olivier-Anclin, Léo Robert
Generic Construction for Identity-based Proxy Blind Signature FPS 2022 : The 14th International Symposium on Foundations & Practice of Security - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Luc Libralesso, François Delobel, Pascal Lafourcade, Christine Solnon
Automatic Generation of Declarative Models for Differential Cryptanalysis CP 2021 - 27th International Conference on Principles and Practice of Constraint Programming - 2021 |
Informatique/Intelligence artificielle | ||
| 2021
SON |
Pascal Lafourcade
Podcast No Limit Sécu Episode #332 about the book of Pascal Lafourcade 25 énigmes ludiques pour s’initier à la cryptographie |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Cramer-Shoup Cryptosystem 18th International Conference on Security and Cryptography, SECRYPT 2021 - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and Hitori Computability in Europe: Logic and Theory of Algorithms - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Loïc Crombez, Guilherme D. da Fonseca, Yan Gérard, Aldo Gonzalez-Lorenzo, Pascal Lafourcade, Luc Libralesso
Shadoks Approach to Low-Makespan Coordinated Motion Planning (CG Challenge) 37th International Symposium on Computational Geometry, SoCG 2021, June 7-11, 2021, Buffalo, NY, USA (Virtual Conference) - 2021 |
Informatique/Géométrie algorithmique | ||
| 2021
COMM |
Stéphane Devismes, Pascal Lafourcade
Un jour sans fin ALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2021 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2021
OUV |
Pascal Lafourcade, Malika More
25 énigmes ludiques pour s'initier à la cryptographie |
Informatique/Cryptographie et sécurité | ||
| 2021
COMM |
Arthur Rauch, Quentin Bramas, Stéphane Devismes, Pascal Lafourcade, Anissa Lamani
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality 9th International Conference, NETYS 2021 - 2021 |
Informatique/Réseaux et télécommunications | ||
| 2021
ART |
Victor Bellot, Maxime Cautrès, Jean-Marie Favreau, Milan Gonzalez-Thauvin, Pascal Lafourcade, Kergann Le Cornec, Bastien Mosnier, Samuel Rivière-Wekstein
How to Generate Perfect Mazes? Information Sciences - 2021 |
Informatique/Algorithme et structure de données | ||
| 2021
COMM |
Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez-Kempner
Generic Plaintext Equality and Inequality Proofs Financial Cryptography and Data Security Conference - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
ART |
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
Design and practical implementation of verify-your-vote protocol Concurrency and Computation: Practice and Experience - 2021 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2021
ART |
Claudia Ribalta, Marius Lombard-Platet, Camille Salinesi, Pascal Lafourcade
Blockchain Mirage or Silver Bullet? A Requirements-driven Comparative Analysis of Business and Developers' Perceptions in the Accountancy Domain Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications - 2021 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2021
COMM |
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common Chirality International Conference on Distributed Computing and Networking - 2021 |
Informatique/Réseaux et télécommunications | ||
| 2021
COMM |
Ioana Boureanu, Constantin Cătălin Drăgan, François Dupressoir, David Gérault, Pascal Lafourcade
Mechanised Models and Proofs for Distance-Bounding IEEE Computer Security Foundations Symposium (was CSFW) - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2021
ART |
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Léo Robert, Tatsuya Sasaki, Hideaki Sone
How to construct physical zero-knowledge proofs for puzzles with a “single loop” condition Theoretical Computer Science - 2021 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
Secure Outsourcing of Multi-Armed Bandits 19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020) - 2020 |
Informatique/Apprentissage | ||
| 2020
COMM |
Pascal Lafourcade, Léo Robert, Demba Sow
Fast Short and Fast Linear Cramer-Shoup Foundations and Practice of Security - 13th International Symposium, FPS - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Radu Ciucanu, Anatole Delabrouille, Pascal Lafourcade, Marta Soare
Secure Cumulative Reward Maximization in Linear Stochastic Bandits International Conference on Provable and Practical Security (ProvSec) - 2020 |
Informatique/Apprentissage | ||
| 2020
COMM |
Léo Robert, Daiki Miyahara, Pascal Lafourcade, Takaaki Mizuki
Physical Zero-Knowledge Proof for Suguru Puzzle 22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020 - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
ART |
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A Faster Cryptographer's Conspiracy Santa Theoretical Computer Science - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Radu Ciucanu, Pascal Lafourcade
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation International Semantic Web Conference (ISWC) - Demo Track - 2020 |
Informatique/Base de données | ||
| 2020
COMM |
Paul-Marie Grollemund, Pascal Lafourcade, Kevin Thiry-Atighehchi, Ariane Tichit
Proof of Behavior The 2nd Tokenomics Conference on Blockchain Economics, Security and Protocols - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
ART |
Séverine Fleury, Pascal Lafourcade, Malika More, Mognos Marianne
TRIER POUR MIEUX COMPARER Repères IREM - 2020 |
|||
| 2020
ART |
Pascal Lafourcade, Marius Lombard-Platet
About blockchain interoperability Information Processing Letters - 2020 |
|||
| 2020
COMM |
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Vers l'infini et au delà ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2020 |
Informatique/Réseaux et télécommunications | ||
| 2020
VIDEO |
Pascal Lafourcade
Fonctionnement et appropriation de la Blockchain : des success stories en auvergne. Block4coop |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Hideaki Sone, Léo Robert, Kazumasa Shinagawa, So Takeshige
Card-based ZKP protocols for Takuzu and Juosan Conference on Fun with Algorithms, FUN - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Rose Esmander, Pascal Lafourcade, Marius Lombard-Platet, Claudia Negri Ribalta
A Silver Bullet? A Comparison of Accountants and Developers Mental Models in the Raise of Blockchain In proceedings of the 15th International Conference on Availability, Reliability and Security, ARES - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Pascal Lafourcade, Léo Robert, Demba Sow
Linear Generalized ElGamal Encryption Scheme International Conference on Security and Cryptography (SECRYPT) - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
OUV |
Jean-Guillaume Dumas, Pascal Lafourcade, Patrick Redon
Architectures de sécurité pour Internet |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Radu Ciucanu, Pascal Lafourcade
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation 34th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (also known as DBSEC) - 2020 |
Informatique/Base de données | ||
| 2020
COUV |
Jean-Guillaume Dumas, Pascal Lafourcade
La sécurité de bitcoin et des blockchains |
Informatique/Cryptographie et sécurité | ||
| 2020
COUV |
Jean-Guillaume Dumas, Pascal Lafourcade
Les crypto-monnaies, une réalité virtuelle ? |
Informatique/Cryptographie et sécurité | ||
| 2020
COMM |
Quentin Bramas, Pascal Lafourcade, Stéphane Devismes
Finding Water on Poleless using Melomaniac Myopic Chameleon Robots Tenth International Conference on Fun with Algorithms (FUN 2020) - 2020 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2020
COMM |
Matthieu Journault, Pascal Lafourcade, Malika More, Rémy Poulain, Léo Robert
How to Teach the Undecidability of Malware Detection Problem and Halting Problem WISE13: The 13th World Conference on Information Security Education - 2020 |
Informatique/Cryptographie et sécurité | ||
| 2020
VIDEO |
Pascal Lafourcade
La Révolution Blockchain, conférence donnée au festival les Maths dans tous leurs états organisé par l'association les Maths en scène. |
Informatique/Cryptographie et sécurité | ||
| 2020
ART |
Matthieu Giraud, Pascal Lafourcade
MISSION CRYPTOGRAPHIE Repères - 2020 |
|||
| 2020
COMM |
Matthieu Journault, Pascal Lafourcade, Rémy Poulain, Malika More
Une preuve pour le lycée de l'indécidabilité du problème de l'arrêt Didapro 8 – DidaSTIC L’informatique, objets d’enseignements – enjeux épistémologiques, didactique et de formation - 2020 |
|||
| 2020
ART |
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
Computing AES related-key differential characteristics with constraint programming Artificial Intelligence - 2020 |
Informatique/Intelligence artificielle | ||
| 2020
COMM |
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots 8th Edition of the International Conference on NETworked and sYStems, NETYS - 2020 |
Informatique/Système multi-agents | ||
| 2019
COMM |
Manik Lal Das, Hardik Gajera, David Gerault, Matthieu Giraud, Pascal Lafourcade
Verifiable and Private Oblivious Polynomial Evaluation 13th IFIP International Conference on Information Security Theory and Practice (WISTP) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Radu Ciucanu, Pascal Lafourcade, Marius Lombard-Platet, Marta Soare
Secure Best Arm Identification in Multi-Armed Bandits ISPEC 2019 : The 15th International Conference on Information Security Practice and Experience - 2019 |
Informatique/Apprentissage | ||
| 2019
COMM |
Pascal Lafourcade, Marius Lombard-Platet
Get-your-ID: Decentralized Proof of Identity International Symposium on Foundations & Practice of Security - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
David Gérault, Pascal Lafourcade
Towards Secure TMIS Protocols International Symposium on Foundations & Practice of Security FPS 2019 - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Pascal Lafourcade, Mike Nopere, Jérémy Picot, Daniela Pizzuti, Etienne Roudeix
Security Analysis of Auctionity: a blockchain based e-auction International Symposium on Foundations & Practice of Security FPS 19 - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COUV |
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned Blockchain |
Maths | ||
| 2019
COMM |
Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone
Interactive Physical Zero-Knowledge Proof for Norinori The 25th International Computing and Combinatorics Conference (COCOON 2019) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure Strassen-Winograd Matrix Multiplication with MapReduce International Conference on Security and Cryptography (SECRYPT) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure and Efficient Matrix Multiplication with MapReduce SECRYPT/ICETE - Revised Selected Papers - 2019 |
Informatique/Base de données | ||
| 2019
COMM |
Marwa Chaieb, Mirko Koscina, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-voting International Conference on Security and Cryptography (SECRYPT) - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure Intersection with MapReduce International Conference on Security and Cryptography (SECRYPT) - 2019 |
Informatique/Base de données | ||
| 2019
COMM |
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Infinite Grid Exploration by Disoriented Robots 26th International Colloquium, SIROCCO 2019 - 2019 |
Informatique/Réseaux et télécommunications | ||
| 2019
COMM |
Quentin Bramas, Stéphane Devismes, Pascal Lafourcade
Brief Announcement: Infinite Grid Exploration by Disoriented Robots 26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019 - 2019 |
Informatique/Modélisation et simulation | ||
| 2019
COMM |
Pascal Lafourcade, Takaaki Mizuki, Atsuki Nagao, Kazumasa Shinagawa
Light Cryptography 12th World Conference on Information Security Education WISE 2019, IFIP Working Group 11.8, - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Xavier Bultel, Pascal Lafourcade
Secure Trick-Taking Game Protocols How to Play Online Spades with Cheaters Financial Cryptography and Data Security Conference - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
ART |
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
LocalPKI: An Interoperable and IoT Friendly PKI Communications in Computer and Information Science - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
ART |
Alexandre Anzala-Yamajako, Olivier Bernard, Matthieu Giraud, Pascal Lafourcade
No Such Thing as a Small Leak: Leakage-Abuse Attacks Against Symmetric Searchable Encryption Communications in Computer and Information Science - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Tatsuya Sasaki, Hideaki Sone
A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving Computation ISPEC : Information Security Practice and Experience Conference - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2019
COMM |
Xavier Bultel, Pascal Lafourcade, Russell W F Lai, Giulio Malavolta, Dominique Schröder, Sri Aravinda, Krishnan Thyagarajan
Efficient Invisible and Unlinkable Sanitizable Signatures International Conference on Practice and Theory in Public Key Cryptography PKC'19 - 2019 |
Informatique/Cryptographie et sécurité | ||
| 2018
ART |
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally and Practically Verifying Flow Integrity Properties in Industrial Systems Computers & Security - 2018 |
Informatique/Cryptographie et sécurité | ||
| 2018
COMM |
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure Joins with MapReduce FPS 2018 : The 11th International Symposium on Foundations & Practice of Security - 2018 |
Informatique/Base de données | ||
| 2018
COMM |
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade, Daiki Miyahara, Takaaki Mizuki, Atsuki Nagao, Tatsuya Sasaki, Kazumasa Shinagawa, Hideaki Sone
Physical Zero-Knowledge Proof for Makaro SSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems - 2018 |
Informatique/Cryptographie et sécurité | ||
| 2018
COMM |
Marwa Chaieb, Souheib Yousfi, Pascal Lafourcade, Riadh Robbana
Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol 15th European Mediterranean and Middle Eastern Conference on Information Systems - 2018 |
Informatique/Cryptographie et sécurité | ||
| 2018
ART |
Pascal Lafourcade, Malika More
Je suis un ordinateur Tangente Éducation - 2018 |
|||
| 2018
OUV |
Jean-Guillaume Dumas, Pascal Lafourcade, Ariane Tichit, Sébastien Varrette
Les blockchains en 50 questions |
Informatique/Cryptographie et sécurité | ||
| 2018
COMM |
Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade, Lihua Ye
Secure Grouping and Aggregation with MapReduce 15th International Conference on Information Security and Cryptography, SECRYPT'18 - 2018 |
Informatique/Cryptographie et sécurité | ||
| 2018
COMM |
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
A Cryptographer's Conspiracy Santa FUN 2018 - 9th International Conference on Fun with Algorithms - 2018 |
Informatique/Cryptographie et sécurité | ||
| 2018
COMM |
Xavier Bultel, Jannik Dreier, Matthieu Giraud, Marie Izaute, Timothée Kheyrkhah, Pascal Lafourcade, Dounia Lakhzoum, Vincent Marlin, Ladislav Motá
Security Analysis and Psychological Study of Authentication Methods with PIN Codes RCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science - 2018 |
Informatique/Interface homme-machine | ||
| 2018
ART |
Béatrice Drot-Delange, Séverine Fleury, Pascal Lafourcade, Malika More
Un tour de magie pour introduire la représentation binaire des nombres Le Bulletin Vert = Bulletin de l'APMEP - 2018 |
Sciences de l'homme et de la societe | ||
| 2018
ART |
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
Revisiting AES Related-Key Differential Attacks with Constraint Programming Information Processing Letters - 2018 |
Informatique/Intelligence artificielle | ||
| 2018
ART |
Ariane Tichit, Pascal Lafourcade, Vincent Mazenod
Les monnaies virtuelles décentralisées sont-elles des dispositifs d'avenir ? Interventions Economiques : Papers in Political Economy - 2018 |
Sciences de l'homme et de la societe | ||
| 2018
ART |
Mouhebeddine Berrima, Pascal Lafourcade, Matthieu Giraud, Narjes Ben Rajeb
Formal analysis of a private access control protocol to a cloud storage International Journal of Innovative Computing and Applications - 2018 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Amrit Kumar, Cédric Lauradoux, Pascal Lafourcade
Duck Attack on Accountable Distributed Systems 14th International Conference on Mobile and Ubiquitous Systems: Networks and Services MobiQuitous 2017 - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
ART |
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Dual Protocols for Private Multi-party Matrix Multiplication and Trust Computations Computers & Security - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Xavier Bultel, Manik Lal Das, Hardik Gajera, David Gérault, Matthieu Giraud, Pascal Lafourcade
Verifiable Private Polynomial Evaluation 11th International Conference on Provable Security (ProvSec 2017) - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Elliott Blot, Jannik Dreier, Pascal Lafourcade
Formal Analysis of Combinations of Secure Protocols FPS 2017 - 10th International Symposium on Foundations & Practice of Security - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
ART |
Pascal Lafourcade
Vérifier la sécurité de nos communications Interstices - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
ART |
Karine Altisen, Raphaël Jamet, Stéphane Devismes, Pascal Lafourcade
SR3: secure resilient reputation-based routing Wireless Networks - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
ART |
Siwei Sun, David Gerault, Pascal Lafourcade, Qianqian Yang, Yosuke Todo, Kexin Qiao, Lei Hu
Analysis of AES, SKINNY, and Others with Constraint Programming IACR Transactions on Symmetric Cryptology - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
ART |
Ali Kassem, Yliès Falcone, Pascal Lafourcade
Formal analysis and offline monitoring of electronic exams Formal Methods in System Design - 2017 |
Informatique/Génie logiciel | ||
| 2017
COMM |
Xavier Bultel, Radu Ciucanu, Matthieu Giraud, Pascal Lafourcade
Secure Matrix Multiplication with MapReduce 12th International Conference on Availability, Reliability and Security ARES - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Narjes Ben Rajeb, Mouhebeddine Berrima, Matthieu Giraud, Pascal Lafourcade
Formal Analyze of a Private Access Control Protocol to a Cloud Storage 14th International Conference on Security and Cryptography SECRYPT 2017 - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Jannik Dreier, Maxime Puys, Marie-Laure Potet, Pascal Lafourcade, Jean-Louis Roch
Formally Verifying Flow Properties in Industrial Systems SECRYPT 2017 - 14th International Conference on Security and Cryptography - 2017 |
Informatique/Informatique et langage | ||
| 2017
COMM |
Matthieu Giraud, Alexandre Anzala-Yamajako, Olivier Bernard, Pascal Lafourcade
Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption 14th International Conference on Security and Cryptography SECRYPT 2017 - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Jean-Guillaume Dumas, Pascal Lafourcade, Francis Melemedjian, Jean-Baptiste Orfila, Pascal Thoniel
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX 14th International Conference on Security and Cryptography SECRYPT - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Ioana Boureanu, David Gerault, Pascal Lafourcade, Cristina Onete
Breaking and fixing the HB+DB protocol ACM Conference on Security and Privacy in Wireless and Mobile Networks - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Gildas Avoine, Xavier Bultel, Sébastien Gambs, David Gerault, Pascal Lafourcade, Cristina Onete, Jean-Marc Robert
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding Protocol Asia Conference on Information, Computer and Communications Security - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
UNDEFINED |
Ariane Tichit, Pascal Lafourcade, Vincent Mazenod
Les monnaies virtuelles décentralisées sont-elles des outils d’avenir ? |
Sciences de l'homme et de la societe | ||
| 2017
ART |
Xavier Bultel, Jannik Dreier, Pascal Lafourcade, Malika More
How to Explain Modern Security Concepts to your Children Cryptologia - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COMM |
Xavier Bultel, Pascal Lafourcade
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures International Conference on Cryptology and Network Security - 2017 |
Informatique/Cryptographie et sécurité | ||
| 2017
COUV |
Pascal Lafourcade, Jean-Guillaume Dumas
Bitcoin : une monnaie dématérialisée |
Informatique/Cryptographie et sécurité | ||
| 2016
COMM |
David Gerault, Pascal Lafourcade
Related-Key Cryptanalysis of Midori International Conference on Cryptology in India - 2016 |
Informatique/Cryptographie et sécurité | ||
| 2016
COMM |
Maxime Puys, Marie-Laure Potet, Pascal Lafourcade
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol 35th International Conference, SAFECOMP 2016 - 2016 |
Informatique/Informatique et langage | ||
| 2016
COMM |
Xavier Bultel, Pascal Lafourcade
k-Times Full Traceable Ring Signature 11th International Conference on Availability, Reliability and Security (ARES 2016) - 2016 |
Informatique/Cryptographie et sécurité | ||
| 2016
COMM |
Jean-Guillaume Dumas, Pascal Lafourcade, Jean-Baptiste Orfila, Maxime Puys
Private Multi-party Matrix Multiplication and Trust Computations 13th International Conference on Security and Cryptography SECRYPT 16 - 2016 |
Informatique/Informatique et langage | ||
| 2016
COMM |
Xavier Bultel, Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen 8th International Conference on Fun with Algorithms - 2016 |
Informatique/Cryptographie et sécurité | ||
| 2016
ART |
Affoua Thérèse Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson
History-based MAC Protocol for Low Duty-Cycle Wireless Sensor Networks: the SLACK-MAC Protocol EAI Endorsed Transactions on Mobile Communications and Applications - 2016 |
Informatique/Réseaux et télécommunications | ||
| 2016
COMM |
Xavier Bultel, Pascal Lafourcade
A Posteriori Openable Public Key Encryption 31st IFIP Information Security & Privacy Conference (IFIP SEC) - 2016 |
|||
| 2016
COMM |
Olivier Blazy, Xavier Bultel, Pascal Lafourcade
Two Secure Anonymous Proxy-based Data Storages 13th International Joint Conference on e-Business and Telecommunications (ICETE 2016) - 2016 |
Informatique/Cryptographie et sécurité | ||
| 2016
ART |
Beatrice Bérard, Pascal Lafourcade, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil
Formal verification of mobile robot protocols Distributed Computing - 2016 |
Informatique/Calcul parallèle, distribué et partagé | ||
| 2016
ART |
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech, Reihaneh Safavi-Naini
Automated Proofs of Block Cipher Modes of Operation Journal of Automated Reasoning - 2016 |
Informatique/Cryptographie et sécurité | ||
| 2016
ART |
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
On the existence and decidability of unique decompositions of processes in the applied π-calculus Theoretical Computer Science - 2016 |
Informatique/Cryptographie et sécurité | ||
| 2016
COMM |
Olivier Blazy, Xavier Bultel, Pascal Lafourcade
Anonymizable Ring Signature Without Pairing 9th International Symposium on Foundations & Practice of Security - 2016 |
Informatique/Cryptographie et sécurité | ||
| 2016
COMM |
Noudjoud Kahya, Nacira Ghoualmi, Pascal Lafourcade, Roumaissa Khelf
Formal Analysis of Key Management in mobile Wimax The 2nd International Conference on Pattern Analysis and Intelligent Systems (IEEE) PAIS'16 - 2016 |
Informatique/Cryptographie et sécurité | ||
| 2015
COMM |
Pascal Lafourcade, Maxime Puys
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties 8th International Symposium on Foundations and Practice of Security 8th International Symposium, FPS 2015 - 2015 |
Informatique/Informatique et langage | ||
| 2015
COMM |
Agnès Brelurut, David Gerault, Pascal Lafourcade
Survey of Distance Bounding Protocols and Threats Foundations and Practice of Security (FPS) - 2015 |
Informatique/Cryptographie et sécurité | ||
| 2015
ART |
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Brandt's fully private auction protocol revisited Journal of Computer Security - 2015 |
Informatique/Cryptographie et sécurité | ||
| 2015
COMM |
Ali Kassem, Yliès Falcone, Pascal Lafourcade
Monitoring Electronic Exams 6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings - 2015 |
Informatique/Génie logiciel | ||
| 2015
ART |
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade
Key Management inWireless Sensor Networks Journal of sensor and actuator networks - 2015 |
Informatique/Réseaux et télécommunications | ||
| 2015
COMM |
Jannik Dreier, Ali Kassem, Pascal Lafourcade
Formal Analysis of E-Cash Protocols 12th International Conference on Security and Cryptography (SECRYPT 2015) - 2015 |
Informatique/Cryptographie et sécurité | ||
| 2015
COMM |
Jannik Dreier, Ali Kassem, Pascal Lafourcade
Automated Verification of E-Cash Protocols ICETE 2015 - 12th International Joint Conference on e-Business and Telecommunications - 2015 |
Informatique/Cryptographie et sécurité | ||
| 2015
OUV |
Jean-Guillaume Dumas, Pascal Lafourcade, Patrick Redon
Architectures PKI et communications sécurisées |
Informatique/Réseaux et télécommunications | ||
| 2015
COMM |
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini
A Framework for Analyzing Verifiability in Traditional and Electronic Exams Information Security Practice and Experience Conference - 2015 |
Informatique/Cryptographie et sécurité | ||
| 2015
REPORT |
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini
On the Verifiability of (Electronic) Exams |
Informatique/Cryptographie et sécurité | ||
| 2015
OUV |
Pascal Lafourcade, Isabelle Le Brun
Comment s'exercer à apprendre ? |
|||
| 2015
COMM |
Thérèse Aby, Alexandre Guitton, Pascal Lafourcade, Michel Misson
SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor Networks International Conference on Ad Hoc Networks (Adhocnets) - 2015 |
Informatique/Réseaux et télécommunications | ||
| 2015
ART |
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
Formal Security Analysis of Traditional and Electronic Exams Communications in Computer and Information Science - 2015 |
Informatique/Cryptographie et sécurité | ||
| 2014
COMM |
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
Formal Analysis of Electronic Exams First Symposium on Digital Trust in Auvergne (SDTA'14) - 2014 |
Informatique/Cryptographie et sécurité | ||
| 2014
COMM |
Raphaël Jamet, Pascal Lafourcade
(In)Corruptibility of Routing Protocols Foundations and Practice of Security - 7th International Symposium, FPS 2014 - 2014 |
Informatique/Cryptographie et sécurité | ||
| 2014
COMM |
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech
Formal Verification of e-Reputation Protocols Foundations and Practice of Security - 7th International Symposium, FPS 2014, - 2014 |
Informatique/Cryptographie et sécurité | ||
| 2014
COMM |
Ismail Mansour, Gerard Chalhoub, Pascal Lafourcade, François Delobel
Secure key renewal and revocation for Wireless Sensor Networks IEEE Conference on Local Computer Networks (LCN) - 2014 |
Informatique/Réseaux et télécommunications | ||
| 2014
COMM |
Ismail Mansour, Gerard Chalhoub, Pascal Lafourcade
Secure Multihop Key Establishment Protocols for Wireless Sensor Networks Cryptography and Security Systems - Third International Conference, CSS 2014, Lublin, Poland - 2014 |
Informatique/Cryptographie et sécurité | ||
| 2014
ART |
Ismail Mansour, Gérard Chalhoub, Pascal Lafourcade
Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor Networks Journal of sensor and actuator networks - 2014 |
Informatique/Réseaux et télécommunications | ||
| 2014
COMM |
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan
Formal Analysis of Electronic Exams 11th International Conference on Security and Cryptography (SECRYPT 2014) - 2014 |
Informatique/Cryptographie et sécurité | ||
| 2014
COMM |
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
Secure Auctions without Cryptography 7th International Conference on Fun with Algorithms - FUN 2014 - 2014 |
Informatique/Cryptographie et sécurité | ||
| 2014
COMM |
Ismail Mansour, Pascal Lafourcade, Gérard Chalhoub
Mécanismes d'authentification pour des réseaux de capteurs sans fil multi-sauts ALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications - 2014 |
Informatique/Réseaux et télécommunications | ||
| 2014
COMM |
Ismail Mansour, Damian Rusinek, Gerard Chalhoub, Pascal Lafourcade, Bogdan Ksiezopolski
Multihop Node Authentication Mechanisms for Wireless Sensor Networks ⋆ Ad-hoc, Mobile, and Wireless Networks - 13th International Conference, ADHOC-NOW 2014 - 2014 |
Informatique/Cryptographie et sécurité | ||
| 2014
ART |
Antoine Gerbaud, Karine Altisen, Stéphane Devismes, Pascal Lafourcade
Comparison of Mean Hitting Times for a Degree-Biased Random Walk Discrete Applied Mathematics - 2014 |
Informatique/Cryptographie et sécurité | ||
| 2014
REPORT |
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
Secure Auctions Without Cryptography (extended version) |
Informatique/Cryptographie et sécurité | ||
| 2014
PROCEEDINGS |
Ismail Mansour, Pascal Lafourcade, Gérard Chalhoub
Secure Multihop Key Establishment Protocols for Wireless Sensor Networks |
Informatique/Cryptographie et sécurité | ||
| 2014
OUV |
Laurent Mounier, Fabienne Carrier, Pascal Lafourcade
Exercices de programmation fonctionnelle en OCaml - Une approche pédagogique par l'algorithmique, la preuve et la complexité |
Informatique/Complexité | ||
| 2013
COMM |
Ali Kassem, Pascal Lafourcade, Yassine Lakhnech
A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks: Corrected Version Foundations and Practice of Security - 6th International Symposium, - 2013 |
Informatique/Cryptographie et sécurité | ||
| 2013
COMM |
Martin Gagné, Pascal Lafourcade, Yassine Lakhnech
Automated Security Proofs for Almost-Universal Hash for MAC Verification Computer Security - {ESORICS} 2013 - 18th European Symposium on Research in Computer Security, - 2013 |
Informatique/Cryptographie et sécurité | ||
| 2013
COMM |
Jannik Dreier, Jean-Guillaume Dumas, Pascal Lafourcade
Brandt's Fully Private Auction Protocol Revisited Africacrypt 2013 - 2013 |
Informatique/Cryptographie et sécurité | ||
| 2013
COMM |
Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade
SR3: Secure Resilient Reputation-based Routing 2013 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS) - 2013 |
Informatique/Cryptographie et sécurité | ||
| 2013
COMM |
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
Defining Verifiability in e-Auction Protocols Asia Conference on Information, Computer and Communications Security - 2013 |
Informatique/Cryptographie et sécurité | ||
| 2013
COMM |
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
Verifiability in e-Auction Protocols 1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13) - 2013 |
Informatique/Cryptographie et sécurité | ||
| 2013
COMM |
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Formal Verification of e-Auction Protocols International Conference on Principles of Security and Trust - 2013 |
Informatique/Cryptographie et sécurité | ||
| 2013
COMM |
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
On Unique Decomposition of Processes in the Applied π-Calculus 16th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2013), Held as Part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2013) - 2013 |
Informatique/Cryptographie et sécurité | ||
| 2013
COUV |
Raphaël Jamet, Pascal Lafourcade
Formal Model for (k)-Neighborhood Discovery Protocols |
Informatique/Cryptographie et sécurité | ||
| 2012
COMM |
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion European Symposium on Research in Computer Security (ESORICS) - 2012 |
Informatique/Cryptographie et sécurité | ||
| 2012
COMM |
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
A Formal Taxonomy of Privacy in Voting Protocols First IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS) - 2012 |
Informatique/Cryptographie et sécurité | ||
| 2012
COMM |
Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade
Analysis of Random Walks using Tabu Lists Structural Information and Communication Complexity - 19th International SIROCCO'12 - 2012 |
Informatique/Cryptographie et sécurité | ||
| 2012
REPORT |
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion |
Informatique/Cryptographie et sécurité | ||
| 2012
OUV |
Pascal Lafourcade, Stéphane Devismes, Michel Lévy
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre |
Informatique/Logique en informatique | ||
| 2012
REPORT |
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Formal Verification of e-Auction Protocols |
Informatique/Cryptographie et sécurité | ||
| 2012
REPORT |
Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech
On Unique Decomposition of Processes in the Applied π-Calculus |
Informatique/Cryptographie et sécurité | ||
| 2011
COMM |
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Vote-Independence: A Powerful Privacy Notion for Voting Protocols 4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11) - 2011 |
Informatique/Cryptographie et sécurité | ||
| 2011
REPORT |
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
A formal taxonomy of privacy in voting protocols |
Informatique/Cryptographie et sécurité | ||
| 2011
REPORT |
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Vote-Independence: A Powerful Privacy Notion for Voting Protocols |
Informatique/Cryptographie et sécurité |