Pascal Lafourcade
196
Documents
Publications
|
Practical Construction for Secure Trick-Taking Games Even With Cards Set AsideFC2023 - Twenty-Seventh International Conference Financial Cryptography and Data Security, International Financial Cryptography Association, May 2023, Bol, Brač, Croatia
Conference papers
hal-04008484v1
|
|
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishmentUsenix Security Symposium, Aug 2023, Anaheim, United States
Conference papers
hal-03770735v1
|
|
Generic Privacy Preserving Private Permissioned BlockchainsThe 38th ACM/SIGAPP Symposium On Applied Computing, Mar 2023, Tallinn, Estonia
Conference papers
hal-03906880v2
|
|
How fast do you heal? A taxonomy for post-compromise security in secure-channel establishmentUSENIX 2023 - The 32nd USENIX Security Symposium, Aug 2023, Anaheim, United States
Conference papers
hal-03815803v1
|
|
Local search with weighting schemes for the CG:SHOP 2022 competition38th International Symposium on Computational Geometry, SoCG, Jun 2022, Berlin, Germany. ⟨10.4230/LIPIcs.SoCG.2022.73⟩
Conference papers
hal-03832850v1
|
|
Near-collisions and Their Impact on Biometric SecuritySECRYPT, Jul 2022, Lisbon, Portugal. pp.382-389, ⟨10.5220/0011279200003283⟩
Conference papers
hal-03751547v1
|
|
Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger FabricInternational Conference on Cryptology in India, INDOCRYP, Dec 2022, Kolkata, India
Conference papers
hal-03832838v1
|
|
Authentication Attacks on Projection-based Cancelable Biometric SchemesSECRYPT, Jul 2022, Lisbon, Portugal. pp.568-573, ⟨10.5220/0011277100003283⟩
Conference papers
hal-03751545v1
|
La blockchain : avenir des monnaies locales ?Alter-Crypto-2022 : Crypto-monnaies et autres monnaies alternatives numériques, Jun 2022, Lyon, France
Conference papers
hal-03819019v1
|
|
|
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALingThe 37th ACM/SIGAPP Symposium on Applied Computing, SAC (2022), Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩
Conference papers
hal-03510612v1
|
|
Improved Constructions of Anonymous Credentials From Structure-Preserving Signatures on Equivalence ClassesInternational Conference on Practice and Theory in Public Key Cryptography, Mar 2022, Tokyo, Japan
Conference papers
hal-03832839v1
|
|
Automatic Implementations Synthesis of Secure Protocols and Attacks from Abstract ModelsThe 27th Nordic Conference on Secure IT Systems, NordSec, Nov 2022, Reykjavik, Iceland
Conference papers
hal-03835049v1
|
|
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?FUN 2022 - 11th International Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩
Conference papers
hal-03746703v1
|
|
A Cryptographic View of Deep-Attestation, or how to do Provably-Secure Layer-LinkingInternational Conference on Applied Cryptography and Network Security ACNS, Jun 2022, Rome, Italy
Conference papers
hal-03450625v1
|
|
Fast Cramer-Shoup Cryptosystem18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩
Conference papers
hal-03419423v1
|
|
Un jour sans finALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France
Conference papers
hal-03205279v2
|
|
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), Jun 2021, Buffalo, United States. ⟨10.4230/LIPIcs.SoCG.2021.63⟩
Conference papers
hal-03485486v1
|
|
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and HitoriComputability in Europe Conference (CiE), Jul 2021, à distance, Belgium
Conference papers
hal-03209911v1
|
|
Generic Construction for Identity-based Proxy Blind SignatureFPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France
Conference papers
hal-03435956v1
|
|
Automatic Generation of Declarative Models for Differential CryptanalysisCP 2021 - 27th International Conference on Principles and Practice of Constraint Programming, Oct 2021, Montpellier, France. ⟨10.4230/LIPIcs.CP.2021.19⟩
Conference papers
hal-03320980v1
|
|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common ChiralityInternational Conference on Distributed Computing and Networking, 2021, Nara, Japan
Conference papers
hal-03130277v1
|
|
Generic Plaintext Equality and Inequality ProofsFinancial Cryptography and Data Security - 25th International Conference, FC 2021, Virtual Event, March 1-5, 2021, Revised Selected Papers, Part I, 2021, Online, Unknown Region. pp.415--435, ⟨10.1007/978-3-662-64322-8\_20⟩
Conference papers
hal-03478247v1
|
|
Proof of BehaviorThe 2nd Tokenomics Conference on Blockchain Economics, Security and Protocols, Oct 2020, Toulouse, France
Conference papers
hal-02559573v1
|
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL EvaluationInternational Semantic Web Conference (ISWC) - Demo Track, Nov 2020, Conférence online, Greece
Conference papers
hal-02942717v1
|
|
|
Fast Short and Fast Linear Cramer-ShoupFoundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France
Conference papers
hal-03419449v1
|
|
Infinite Grid Exploration by Disoriented Robots8th Edition of the International Conference on NETworked and sYStems, NETYS, 2020, Marrakech, Morocco
Conference papers
hal-02559612v1
|
|
Linear Generalized ElGamal Encryption SchemeInternational Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France
Conference papers
hal-02559556v1
|
|
How to Teach the Undecidability of Malware Detection Problem and Halting ProblemWISE13: The 13th World Conference on Information Security Education, May 2020, Maribor, Slovenia
Conference papers
hal-02559585v1
|
Card-based ZKP protocols for Takuzu and JuosanConference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy
Conference papers
hal-02559600v1
|
|
Secure Cumulative Reward Maximization in Linear Stochastic BanditsInternational Conference on Provable and Practical Security (ProvSec), Nov 2020, Conférence online, Singapore. pp.257-277, ⟨10.1007/978-3-030-62576-4_13⟩
Conference papers
hal-02942694v1
|
|
Finding Water on Poleless using Melomaniac Myopic Chameleon RobotsIn 10th International Conference on Fun with Algorithms (FUN), Sep 2020, Island of Favignana, Trapani, Italy
Conference papers
hal-02559617v1
|
|
|
Vers l'infini et au delàALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers
hal-02791601v1
|
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation34th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy (DBSec'20), Jun 2020, Conférence online, Germany. pp.347-366, ⟨10.1007/978-3-030-49669-2_20⟩
Conference papers
hal-02544920v1
|
|
Secure Outsourcing of Multi-Armed Bandits19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2020), Dec 2020, Conférence online, China. pp.202-209
Conference papers
hal-02953292v1
|
|
|
Physical Zero-Knowledge Proof for Suguru Puzzle22nd International Symposium on Stabilization, Safety, and Security of Distributed Systems SSS 2020, Nov 2020, Austin, United States
Conference papers
hal-03017693v1
|
|
A Silver Bullet? A Comparison of Accountants and Developers Mental Models in the Raise of BlockchainIn proceedings of the 15th International Conference on Availability, Reliability and Security, ARES, Jul 2020, Dublin, Ireland. ⟨10.1145/3407023.3409193⟩
Conference papers
hal-03017686v1
|
|
Brief Announcement: Infinite Grid Exploration by Disoriented Robots26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019, Jul 2019, L'Aquila, Italy
Conference papers
hal-02145822v1
|
|
Efficient Invisible and Unlinkable Sanitizable SignaturesInternational Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China
Conference papers
hal-01964514v1
|
Secure Best Arm Identification in Multi-Armed BanditsISPEC 2019 : The 15th International Conference on Information Security Practice and Experience, Nov 2019, Kuala Lumpur, Malaysia. ⟨10.1007/978-3-030-34339-2_9⟩
Conference papers
hal-02270418v1
|
|
|
Secure Trick-Taking Game Protocols How to Play Online Spades with CheatersFinancial Cryptography and Data Security Conference, Feb 2019, Basse terre, Saint Kitts and Nevis
Conference papers
hal-01959762v1
|
|
Towards Secure TMIS ProtocolsInternational Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France
Conference papers
hal-02412793v1
|
|
Security Analysis of Auctionity: a blockchain based e-auctionInternational Symposium on Foundations & Practice of Security FPS 19, Nov 2019, Toulouse, France
Conference papers
hal-02412800v1
|
|
Secure Multi-Party Matrix Multiplication Based on Strassen-Winograd AlgorithmThe 14th International Workshop on Security (IWSEC 2019), Aug 2019, Tokyo, Japan. pp.67-88, ⟨10.1007/978-3-030-26834-3_5⟩
Conference papers
hal-01781554v3
|
|
Interactive Physical Zero-Knowledge Proof for NorinoriThe 25th International Computing and Combinatorics Conference (COCOON 2019), Jul 2019, Xian, China. pp.166-177, ⟨10.1007/978-3-030-26176-4_14⟩
Conference papers
hal-02150062v1
|
Secure Intersection with MapReduceInternational Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. pp.236-243, ⟨10.5220/0007918902360243⟩
Conference papers
hal-02273966v1
|
|
Secure and Efficient Matrix Multiplication with MapReduceSECRYPT/ICETE - Revised Selected Papers, Jul 2019, Prague, Czech Republic. ⟨10.1007/978-3-030-52686-3_6⟩
Conference papers
hal-02942677v1
|
|
|
Get-your-ID: Decentralized Proof of IdentityInternational Symposium on Foundations & Practice of Security, Nov 2019, Toulouse, France
Conference papers
hal-02412797v1
|
|
Secure Strassen-Winograd Matrix Multiplication with MapReduceInternational Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. pp.220-227
Conference papers
hal-02129149v1
|
|
Verifiable and Private Oblivious Polynomial Evaluation13th IFIP International Conference on Information Security Theory and Practice (WISTP), Dec 2019, Paris, France. pp.49-65, ⟨10.1007/978-3-030-41702-4_4⟩
Conference papers
hal-02412789v1
|
|
DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-votingInternational Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic
Conference papers
hal-02145809v1
|
|
Light Cryptography12th World Conference on Information Security Education WISE 2019, IFIP Working Group 11.8,, Jun 2019, Lisbonne, Portugal. pp.89-101, ⟨10.1007/978-3-030-23451-5_7⟩
Conference papers
hal-02145833v1
|
|
Security Analysis and Psychological Study of Authentication Methods with PIN CodesRCIS 2018 - IEEE 12th International Conference on Research Challenges in Information Science, May 2018, Nantes, France. pp.1--11, ⟨10.1109/RCIS.2018.8406648⟩
Conference papers
hal-01777898v1
|
|
Physical Zero-Knowledge Proof for MakaroSSS 2018 - 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2018, Tokyo, Japan. pp.111-125, ⟨10.1007/978-3-030-03232-6_8⟩
Conference papers
hal-01898048v1
|
|
A Cryptographer's Conspiracy SantaFUN 2018 - 9th International Conference on Fun with Algorithms, Jun 2018, La Maddalena, Italy. pp.13:1--13:13, ⟨10.4230/LIPIcs.FUN.2018.13⟩
Conference papers
hal-01777997v2
|
|
Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol15th European Mediterranean and Middle Eastern Conference on Information Systems, Oct 2018, Limassol, Cyprus
Conference papers
hal-01874855v1
|
|
Secure Joins with MapReduceFPS 2018 : The 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada
Conference papers
hal-01903098v1
|
|
Secure Grouping and Aggregation with MapReduce15th International Conference on Information Security and Cryptography, SECRYPT'18, Jul 2018, Porto, Portugal. pp.514--521
Conference papers
hal-01874859v1
|
|
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding ProtocolACM Symposium on Information, Computer and Communications Security (AsiaCCS 2017), Apr 2017, Abu Dhabi, United Arab Emirates. pp.800-814, ⟨10.1145/3052973.3053000⟩
Conference papers
hal-01588560v1
|
|
Practical Passive Leakage-abuse Attacks Against Symmetric Searchable Encryption14th International Conference on Security and Cryptography SECRYPT 2017, Jul 2017, Madrid, France. ⟨10.5220/0006461202000211⟩
Conference papers
hal-01689780v1
|
|
SPADE : un protocole délimiteur de distance anonyme et résistant à la fraude terroristeALGOTEL 2017 - 19èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2017, Quiberon, France
Conference papers
hal-01524410v1
|
|
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩
Conference papers
hal-01564696v1
|
|
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring SignaturesInternational Conference on Cryptology and Network Security CANS 17, 2017, Hong Kong, China
Conference papers
hal-01980172v1
|
|
Formally Verifying Flow Properties in Industrial SystemsSECRYPT 2017 - 14th International Conference on Security and Cryptography, Jul 2017, Madrid, Spain. pp.55-66, ⟨10.5220/0006396500550066⟩
Conference papers
hal-01527913v1
|
|
Formal Analysis of Combinations of Secure ProtocolsFPS 2017 - 10th International Symposium on Foundations & Practice of Security, Oct 2017, Nancy, France. pp.53-67, ⟨10.1007/978-3-319-75650-9_4⟩
Conference papers
hal-01596010v2
|
|
Secure Matrix Multiplication with MapReduce12th International Conference on Availability, Reliability and Security ARES, Aug 2017, Reggio Di Calabria, Italy
Conference papers
hal-01927273v1
|
|
Duck Attack on Accountable Distributed Systems14th International Conference on Mobile and Ubiquitous Systems: Networks and Services MobiQuitous 2017, Nov 2017, Melbourne, Australia. pp.1-8
Conference papers
hal-01589196v1
|
|
Formal Analyze of a Private Access Control Protocol to a Cloud Storage14th International Conference on Security and Cryptography SECRYPT 2017, Jul 2017, Madrid, France. ⟨10.5220/0006461604950500⟩
Conference papers
hal-01689790v1
|
|
Verifiable Private Polynomial Evaluation11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506
Conference papers
hal-01689825v1
|
|
Breaking and fixing the HB+DB protocolWisec 2017 - Conference on Security and Privacy in Wireless and Mobile Networks, Jul 2017, Boston, United States. pp.241 - 246, ⟨10.1145/3098243.3098263⟩
Conference papers
hal-01588562v1
|
|
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring SignaturesInternational Conference on Cryptology and Network Security, 2017, Hong Kong, China
Conference papers
hal-01964491v1
|
|
A Prover-Anonymous and Terrorist-Fraud Resistant Distance-Bounding Protocol9th ACM Conference on Security & Privacy in Wireless and Mobile Networks (WiSec), Jul 2016, Darmstadt, Germany. pp.121-133, ⟨10.1145/2939918.2939919⟩
Conference papers
hal-01510800v1
|
|
Two Secure Anonymous Proxy-based Data Storages13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016, Lisbon, Portugal. pp.251--258, ⟨10.5220/0005962402510258⟩
Conference papers
hal-01382950v1
|
|
Physical Zero-Knowledge Proofs for Akari, Takuzu, Kakuro and KenKen8th International Conference on Fun with Algorithms, Jun 2016, La Maddalena, Italy. pp.8:1-8:20, ⟨10.4230/LIPIcs.FUN.2016.8⟩
Conference papers
hal-01326059v1
|
|
k-Times Full Traceable Ring Signature11th International Conference on Availability, Reliability and Security (ARES 2016), Aug 2016, Salzburg, France. pp.39--48, ⟨10.1109/ARES.2016.37⟩
Conference papers
hal-01691940v1
|
|
A Posteriori Openable Public Key Encryption31st IFIP Information Security & Privacy Conference (IFIP SEC), May 2016, Ghent, Belgium. pp.17-31, ⟨10.1007/978-3-319-33630-5_2⟩
Conference papers
hal-01369535v1
|
|
Formal Analysis of Security Properties on the OPC-UA SCADA Protocol35th International Conference, SAFECOMP 2016, Sep 2016, Trondheim, Norway. ⟨10.1007/978-3-319-45477-1_6⟩
Conference papers
hal-01366059v1
|
|
Private Multi-party Matrix Multiplication and Trust Computations13th International Conference on Security and Cryptography SECRYPT 16, Jul 2016, Lisbon, Portugal. pp.61-72, ⟨10.5220/0005957200610072⟩
Conference papers
hal-01344750v2
|
|
Related-Key Cryptanalysis of MidoriInternational Conference on Cryptology in India, Dec 2016, Kolkata, India
Conference papers
hal-01588566v1
|
|
Formal Analysis of Key Management in mobile WimaxThe 2nd International Conference on Pattern Analysis and Intelligent Systems (IEEE) PAIS'16, 2016, Khenchela, Algeria
Conference papers
hal-01964502v1
|
|
Anonymizable Ring Signature Without Pairing9th International Symposium on Foundations & Practice of Security, 2016, Québec, Canada
Conference papers
hal-01382951v1
|
|
A Framework for Analyzing Verifiability in Traditional and Electronic ExamsInformation Security Practice and Experience Conference, May 2015, beijin, China. ⟨10.1007/978-3-319-17533-1_35⟩
Conference papers
hal-01218138v1
|
|
Performance Evaluations of Cryptographic Protocols Verification Tools Dealing with Algebraic Properties8th International Symposium on Foundations and Practice of Security 8th International Symposium, FPS 2015, Oct 2015, Clermont-Ferrand, France. pp.137-155, ⟨10.1007/978-3-319-30303-1_9⟩
Conference papers
hal-01306395v1
|
|
Formal Analysis of E-Cash Protocols12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. ⟨10.5220/0005544500650075⟩
Conference papers
hal-01337410v1
|
|
SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor NetworksInternational Conference on Ad Hoc Networks (Adhocnets), 2015, San Remo Riviera, Italy
Conference papers
hal-01569756v1
|
|
Automated Verification of E-Cash ProtocolsICETE 2015 - 12th International Joint Conference on e-Business and Telecommunications, Jul 2015, Colmar, France. ⟨10.1007/978-3-319-30222-5_11⟩
Conference papers
hal-01840596v1
|
|
Monitoring Electronic Exams6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. pp.16, ⟨10.1007/978-3-319-23820-3_8⟩
Conference papers
hal-01248349v1
|
Les émulateurs pédagogiquesQuestion de Pédagogies dans l’Enseignement Supérieur (QPES), Jun 2015, Brest, France. pp.277
Conference papers
hal-02022397v1
|
|
|
Survey of Distance Bounding Protocols and ThreatsFoundations and Practice of Security (FPS), Oct 2015, Clermont Ferrand, France. pp.29 - 49, ⟨10.1007/978-3-319-30303-1_3⟩
Conference papers
hal-01588557v1
|
|
Mécanismes d'authentification pour des réseaux de capteurs sans fil multi-sautsALGOTEL 2014 -- 16èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2014, Le Bois-Plage-en-Ré, France. pp.1-4
Conference papers
hal-00979732v2
|
|
Multihop Node Authentication Mechanisms for Wireless Sensor Networks ⋆Ad-hoc, Mobile, and Wireless Networks - 13th International Conference, ADHOC-NOW 2014, Jun 2014, Benidorm, Spain
Conference papers
hal-01759853v1
|
|
Secure Multihop Key Establishment Protocols for Wireless Sensor NetworksCryptography and Security Systems - Third International Conference, CSS 2014, Lublin, Poland, Sep 2014, Lublin, Poland
Conference papers
hal-01759913v1
|
|
Formal Verification of e-Reputation ProtocolsFoundations and Practice of Security - 7th International Symposium, FPS 2014,, Nov 2014, Montréal, Canada
Conference papers
hal-01759921v1
|
|
Secure key renewal and revocation for Wireless Sensor NetworksIEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada. ⟨10.1109/LCN.2014.6925797⟩
Conference papers
hal-01759923v1
|
|
Performances of Cryptographic AccumulatorsThe 39th IEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada
Conference papers
hal-00999432v1
|
|
(In)Corruptibility of Routing ProtocolsFoundations and Practice of Security - 7th International Symposium, FPS 2014, Nov 2014, Montréal, Canada
Conference papers
hal-01759919v1
|
|
Secure Auctions without Cryptography7th International Conference on Fun with Algorithms - FUN 2014, Jul 2014, Lipari, Italy. pp.158-170, ⟨10.1007/978-3-319-07890-8_14⟩
Conference papers
hal-01337414v1
|
Formal Analysis of Electronic ExamsFirst Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France
Conference papers
hal-01338054v1
|
|
|
Formal Analysis of Electronic Exams11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005050901010112⟩
Conference papers
hal-01337413v1
|
|
Brandt's Fully Private Auction Protocol RevisitedAfricacrypt 2013, Jun 2013, Le Caire, Egypt. pp.88-106, ⟨10.1007/978-3-642-38553-7_5⟩
Conference papers
hal-00745247v3
|
|
Defining Verifiability in e-Auction Protocols8th ACM Symposium on Information, Computer and Communications Security (AsiaCCS '13), ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩
Conference papers
hal-01337416v1
|
|
Routage sécurisé et résilient pour réseaux de capteurs sans fil15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. pp.1-4
Conference papers
hal-00813387v3
|
|
SR3: Secure Resilient Reputation-based Routing2013 IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), May 2013, Cambridge, France. ⟨10.1109/DCOSS.2013.33⟩
Conference papers
hal-01759925v1
|
|
A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks: Corrected VersionFoundations and Practice of Security - 6th International Symposium,, Oct 2013, La Rochelle,, France
Conference papers
hal-01759222v1
|
|
Automated Security Proofs for Almost-Universal Hash for MAC VerificationComputer Security - {ESORICS} 2013 - 18th European Symposium on Research in Computer Security,, Sep 2013, Egham, United Kingdom
Conference papers
hal-01759927v1
|
|
Formal Verification of e-Auction ProtocolsInternational Conference on Principles of Security and Trust, POST 2013, Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-36830-1_13⟩
Conference papers
hal-01338020v1
|
|
Discovering Flaws in IDS through Analysis of their InputsThe Sixth International Symposium on Foundations and Practice of Security FPS’2013, 2013, La Rochelle, France
Conference papers
hal-01707722v1
|
|
Verifiability in e-Auction Protocols1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy
Conference papers
hal-01338057v1
|
|
On Unique Decomposition of Processes in the Applied π-Calculus16th 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), Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-37075-5_4⟩
Conference papers
hal-01338002v1
|
|
A Formal Taxonomy of Privacy in Voting ProtocolsFirst IEEE International Workshop on Security and Forensics in Communication Systems (ICC'12 WS - SFCS), Jun 2012, Ottawa, Canada. ⟨10.1109/ICC.2012.6364938⟩
Conference papers
hal-01338064v1
|
|
Key Management Protocol in WIMAX Revisited3rd International Conference on Communications Security and Information Assurance CSIA, 2012, delhi, India. pp.853 - 862
Conference papers
hal-01964518v1
|
|
Analysis of Random Walks using Tabu ListsStructural Information and Communication Complexity - 19th International SIROCCO'12, Jun 2012, Reykjavik, Iceland
Conference papers
hal-01759228v1
|
|
Defining Privacy for Weighted Votes, Single and Multi-voter CoercionEuropean Symposium on Research in Computer Security (ESORICS), Sep 2012, Pise, Italy. ⟨10.1007/978-3-642-33167-1_26⟩
Conference papers
hal-01338037v1
|
|
Benaloh's dense probabilistic encryption revisitedAFRICACRYPT'11 - 4th international conference on Progress in cryptology in Africa, Jul 2011, Dakar, Senegal. pp.348-362
Conference papers
hal-00769449v1
|
|
Routage par marche aléatoire à listes tabous13es Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2011, Cap Estérel, France. pp.14
Conference papers
hal-00588086v1
|
|
Automated Verification of Block Cipher Modes of Operation, an Improved MethodFoundations and Practice of Security - 4th Canada-France FPS 2011, May 2011, Paris, France
Conference papers
hal-01759831v1
|
|
Vote-Independence: A Powerful Privacy Notion for Voting Protocols4th Canada-France MITACS Workshop on Foundations & Practice of Security (FPS'11), May 2011, Paris, France. ⟨10.1007/978-3-642-27901-0_13⟩
Conference papers
hal-01338070v1
|
Privacy by Data Provenance with Digital Watermarking - A Proof-of-Concept Implementation for Medical Services with Electronic Health Records2010 Sixth International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP), Oct 2010, Darmstadt, Germany. ⟨10.1109/IIHMSP.2010.130⟩
Conference papers
hal-01759931v1
|
|
|
Comparison of Cryptographic Verification Tools Dealing with Algebraic PropertiesFormal Aspects in Security and Trust, 2009, Eindhoven, Netherlands
Conference papers
hal-01701443v1
|
|
Automated Security Proof for Symmetric Encryption ModesAdvances in Computer Science - ASIAN 2009. Information Security and Privacy, 13th Asian Computing Science Conference,, Dec 2009, Séoul, South Korea
Conference papers
hal-01759935v1
|
Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Modelthe 15th ACM conference, Oct 2008, Alexandria, France. ⟨10.1145/1455770.1455817⟩
Conference papers
hal-01759943v1
|
|
|
Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive OrAutomata, Languages and Programming, 33rd International Colloquium, {ICALP}, Jul 2006, Venise, Italy
Conference papers
hal-01759947v1
|
|
Intruder Deduction for AC-like Equational Theories with HomomorphismsTerm Rewriting and Applications, 16th International Conference, RTA'05, Apr 2005, Nara, Japan
Conference papers
hal-01759946v1
|
La sécurité de bitcoin et des blockchainsGildas Avoine; Marc-Olivier Killijian. Treize défis de la cybersécurité, CNRS Éditions, pp.213-232, 2020, 2271130611
Book sections
hal-02639358v1
|
|
|
LocalPKI: An Interoperable and IoT Friendly PKICommunications in Computer and Information Science., 990, pp.224-252, 2019, Communications in Computer and Information Science., ⟨10.1007/978-3-030-11039-0_11⟩
Book sections
hal-01963269v1
|
|
Bitcoin : une monnaie dématérialiséeLes Big Data à découvert, CNRS Editions, 2017
Book sections
hal-02291296v1
|
|
Formal Model for (k)-Neighborhood Discovery ProtocolsAdvances in Network Analysis and its Applications, 18, 2013, Advances in Network Analysis and its Applications. Mathematics in Industry, 978-3-642-30903-8. ⟨10.1007/978-3-642-30904-5_8⟩
Book sections
hal-03885239v1
|
|
Automated Proofs for Asymmetric EncryptionConcurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, 2010
Book sections
hal-01759951v1
|
|
Comparing State Spaces in Automatic Security Protocol AnalysisPublished by Véronique Cortier and Claude Kirchner and Mitsuhiro Okada and Hideki Sakurada. Formal to Practical Security - Papers Issued from the 2005-2008 French-Japanese Collaboration , 2009
Book sections
hal-01759940v1
|
|
How to prevent type-flaw attacks on security protocols under algebraic properties2018
Preprints, Working Papers, ...
hal-01707737v1
|
|
Les monnaies virtuelles décentralisées sont-elles des outils d’avenir ?2017
Preprints, Working Papers, ...
halshs-01467329v1
|
|
Formal Analysis of Combinations of Secure Protocols2017
Preprints, Working Papers, ...
hal-01558552v5
|
|
On the Verifiability of (Electronic) Exams[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015
Reports
hal-01337411v1
|
|
Secure Auctions Without Cryptography (extended version)[Technical Report] ETH Zurich. 2014
Reports
hal-01337415v1
|
|
Formal Verification of e-Auction Protocols[Technical Report] TR-2012-17, VERIMAG. 2012
Reports
hal-01338031v1
|
|
On Unique Decomposition of Processes in the Applied π-Calculus[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012
Reports
hal-01338012v1
|
|
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion[Research Report] VERIMAG. 2012
Reports
hal-01338039v1
|
|
A formal taxonomy of privacy in voting protocols[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
Reports
hal-01338067v1
|
|
Vote-Independence: A Powerful Privacy Notion for Voting Protocols[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
Reports
hal-01338071v1
|
|
Vérification de protocoles cryptographiques en présence de théories équationnellesAutre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2006. Français. ⟨NNT : ⟩
Theses
tel-00133494v1
|
|
Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor NetworksCryptography and Security [cs.CR]. Université de Grenoble, 2012
Habilitation à diriger des recherches
tel-00807568v1
|