LAFOURCADE - Pascal

All publications(101)
2020
ART
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
Computing AES related-key differential characteristics with constraint programming
Artificial Intelligence - 2020
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/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, 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
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
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
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 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 Intersection with MapReduce
International Conference on Security and Cryptography (SECRYPT) - 2019
Informatique/Cryptographie et sécurité
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/Robotique
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
Pascal Lafourcade, Matthieu Giraud, Olivier Bernard, Alexandre Anzala-Yamajako
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
Xavier Bultel, Pascal Lafourcade, Russell 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 and 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/Cryptographie et sécurité
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
OUV
Jean-Guillaume Dumas, Pascal Lafourcade, Ariane Tichit, Sébastien Varette
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/Complexité
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
Sciences de l'homme et de la societe
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 - 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é
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
David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon
Revisiting AES Related-Key Differential Attacks with Constraint Programming
Information Processing Letters - 2018
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 and Security - 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
COMM
Xavier Bultel, Manik 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
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
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
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
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
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/Systèmes embarqués
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
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
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
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
COMM
Xavier Bultel, Pascal Lafourcade
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring Signatures
International Conference on Cryptology and Network Security CANS 17 - 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
ACM Symposium on Information, Computer and Communications Security (AsiaCCS 2017) - 2017
Informatique/Cryptographie et sécurité
2017
COUV
Pascal Lafourcade, Jean-Guillaume Dumas, Patrick Redon
Bitcoin : une monnaie dématérialisée
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/Systèmes embarqués
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
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
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
COMM
Xavier Bultel, Pascal Lafourcade
A Posteriori Openable Public Key Encryption
31st IFIP Information Security & Privacy Conference (IFIP SEC) - 2016
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/Systèmes embarqués
2016
COMM
David Gerault, Pascal Lafourcade
Related-Key Cryptanalysis of Midori
International Conference on Cryptology in India - 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
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
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é
2016
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 - 2016
Informatique/Systèmes embarqués
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
Agnès Brelurut, David Gerault, Pascal Lafourcade
Survey of Distance Bounding Protocols and Threats
Foundations and Practice of Security (FPS) - 2016
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
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
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, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Ryan
Formal Security Analysis of Traditional and Electronic Exams
E-Business and Telecommunications - 11th International Joint Conference, ICETE 2014, Revised Selected Papers - 2015
Informatique/Cryptographie et sécurité
2014
COMM
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter 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
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
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
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
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
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
REPORT
Jannik Dreier, Hugo Jonker, Pascal Lafourcade
Secure Auctions Without Cryptography (extended version)
Informatique/Cryptographie et sécurité
2014
COMM
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Ryan
Formal Analysis of Electronic Exams
11th International Conference on Security and Cryptography (SECRYPT 2014) - 2014
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
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
8th ACM Symposium on Information, Computer and Communications Security (AsiaCCS '13) - 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, POST 2013 - 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é
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
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é
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
Vote-Independence: A Powerful Privacy Notion for Voting Protocols
4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11) - 2012
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
2011
REPORT
Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech
Vote-Independence: A Powerful Privacy Notion for Voting Protocols
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é