Publications
|
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, May 2023, Cargese, France
Communication dans un congrès
hal-04085120v1
|
|
Practical Construction for Secure Trick-Taking Games Even With Cards Set AsideFC2023 - Twenty-Seventh Financial Cryptography and Data Security Conference, International Financial Cryptography Association, May 2023, Bol, Brač, Croatia
Communication dans un congrès
hal-04008484v1
|
|
Generic Blockchain on Generic Human BehaviorSECRYPT 2023, Jul 2023, Rome, Italy
Communication dans un congrès
hal-04097883v2
|
|
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. pp.5917--5934
Communication dans un congrès
hal-03770735v1
|
|
RMC-PVC: A Multi-Client Reusable Verifiable Computation Protocol (Long version)ACM Symposium on Applied Computing, 2023, Tallinn, Estonia
Communication dans un congrès
hal-03909382v1
|
|
Generic and Universal Local Cryptocurrency: LCoinBRAINS - Conference on Blockchain Research & Applications for Innovative Networks and Services, Oct 2023, Paris, France
Communication dans un congrès
hal-04176704v3
|
|
Generic Privacy Preserving Private Permissioned BlockchainsACM Symposium on Applied Computing, Mar 2023, Tallinn, Estonia
Communication dans un congrès
hal-03906880v2
|
SAMBA: A Generic Framework for Secure Federated Multi-Armed Bandits (Extended Abstract)Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}, Aug 2023, Macau, China. pp.6863-6867, ⟨10.24963/ijcai.2023/772⟩
Communication dans un congrès
hal-04182291v1
|
|
|
Check Alternating Patterns: A Physical Zero-Knowledge Proof for Moon-or-SunInternational Workshop on Security, Aug 2023, Yokohama, France. pp.255-272, ⟨10.1007/978-3-031-41326-1_14⟩
Communication dans un congrès
hal-04403702v1
|
|
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⟩
Communication dans un congrès
hal-03832850v1
|
SAMBA: A System for Secure Federated Multi-Armed Bandits2022 IEEE 38th International Conference on Data Engineering (ICDE), May 2022, Online (hosted in Kuala Lumpur), Malaysia. pp.3154-3157, ⟨10.1109/ICDE53745.2022.00286⟩
Communication dans un congrès
hal-03754364v1
|
|
|
Near-collisions and Their Impact on Biometric SecurityInternational Conference on Security and Cryptography (SECRYPT), Jul 2022, Lisbon, Portugal. pp.382-389, ⟨10.5220/0011279200003283⟩
Communication dans un congrès
hal-03751547v1
|
|
Protego: Efficient, Revocable and Auditable Anonymous Credentials with Applications to Hyperledger FabricInternational Conference on Cryptology in India, Dec 2022, Kolkata, India
Communication dans un congrès
hal-03832838v1
|
La blockchain : avenir des monnaies locales ?Alter-Crypto-2022 : Crypto-monnaies et autres monnaies alternatives numériques, Jun 2022, Lyon, France
Communication dans un congrès
hal-03819019v1
|
|
|
Card-Based ZKP Protocol for NurimisakiSymposium on Stabilization, Safety, and Security of Distributed Systems, Nov 2022, Clermont-Ferand, France. pp.285-298, ⟨10.1007/978-3-031-21017-4_19⟩
Communication dans un congrès
hal-04403634v1
|
|
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
Communication dans un congrès
hal-03832839v1
|
|
A Survey on Identity-based Blind SignatureThe 15th International Symposium on Foundations & Practice of Security (FPS – 2022), Dec 2022, Ottawa, Canada
Communication dans un congrès
hal-03934926v1
|
|
MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALingACM Symposium on Applied Computing, Apr 2022, Virtual, Czech Republic. pp.1-8, ⟨10.1145/3477314.3507044⟩
Communication dans un congrès
hal-03510612v1
|
|
Beedroids: How Luminous Autonomous Swarms of UAVs Can Save the World?Conference on Fun with Algorithms, May 2022, Island of Favignana, Sicily, Italy. ⟨10.4230/LIPIcs.FUN.2022.7⟩
Communication dans un congrès
hal-03746703v1
|
|
Exploration perpétuelle : ça s'en va et ça revientAlgoTel 2022 - 24èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2022, Saint-Rémy-Lès-Chevreuse, France. pp.1-4, ⟨10.5281/zenodo.4640462⟩
Communication dans un congrès
hal-03657044v2
|
|
Hide a Liar: Card-Based ZKP Protocol for UsowanInternational Conference on Theory and Applications of Models of Computation, Sep 2022, Tianjin (China), China. pp.201-217, ⟨10.1007/978-3-031-20350-3_17⟩
Communication dans un congrès
hal-04403799v1
|
|
Authentication Attacks on Projection-based Cancelable Biometric SchemesInternational Conference on Security and Cryptography (SECRYPT), Jul 2022, Lisbon, Portugal. pp.568-573, ⟨10.5220/0011277100003283⟩
Communication dans un congrès
hal-03751545v1
|
|
Perpetual Torus Exploration by Myopic Luminous RobotsSymposium on Stabilization, Safety, and Security of Distributed Systems, 2022, Clermont-ferrand, France. pp.164-177, ⟨10.1007/978-3-031-21017-4_11⟩
Communication dans un congrès
hal-04403537v1
|
|
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
Communication dans un congrès
hal-03450625v1
|
|
Generic Plaintext Equality and Inequality ProofsFinancial Cryptography and Data Security Conference, 2021, Online, Unknown Region. pp.415--435, ⟨10.1007/978-3-662-64322-8\_20⟩
Communication dans un congrès
hal-03478247v1
|
|
Fast Cramer-Shoup Cryptosystem18th International Conference on Security and Cryptography, SECRYPT 2021, Jul 2021, Online, France. ⟨10.5220/0010580607660771⟩
Communication dans un congrès
hal-03419423v1
|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Robots Without Common Chirality9th International Conference, NETYS 2021, May 2021, Virtual, France. pp.95-110, ⟨10.1007/978-3-030-91014-3_7⟩
Communication dans un congrès
hal-03547159v1
|
|
|
Un jour sans finALGOTEL 2021 — 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2021, La Rochelle, France
Communication dans un congrès
hal-03205279v2
|
|
Generic Construction for Identity-based Proxy Blind SignatureFPS 2022 : The 14th International Symposium on Foundations & Practice of Security, Dec 2021, Paris, France
Communication dans un congrès
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⟩
Communication dans un congrès
hal-03320980v1
|
|
Optimal Exclusive Perpetual Grid Exploration by Luminous Myopic Opaque Robots with Common ChiralityInternational Conference on Distributed Computing and Networking, 2021, Nara, Japan
Communication dans un congrès
hal-03130277v1
|
|
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⟩
Communication dans un congrès
hal-03485486v1
|
|
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and HitoriComputability in Europe: Logic and Theory of Algorithms, Jul 2021, à distance, Belgium
Communication dans un congrès
hal-03209911v1
|
|
Mechanised Models and Proofs for Distance-BoundingIEEE Computer Security Foundations Symposium (was CSFW), 2021, Dubrovnik, Croatia. pp.1-16, ⟨10.1109/CSF51468.2021.00049⟩
Communication dans un congrès
hal-04402795v1
|
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
Communication dans un congrès
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
Communication dans un congrès
hal-03017693v1
|
|
Proof of BehaviorThe 2nd Tokenomics Conference on Blockchain Economics, Security and Protocols, Oct 2020, Toulouse, France
Communication dans un congrès
hal-02559573v1
|
|
Fast Short and Fast Linear Cramer-ShoupFoundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France
Communication dans un congrès
hal-03419449v1
|
Demonstration of GOOSE: A Secure Framework for Graph Outsourcing and SPARQL EvaluationInternational Semantic Web Conference (ISWC) - Demo Track, Nov 2020, Conférence online, Greece
Communication dans un congrès
hal-02942717v1
|
|
|
Une preuve pour le lycée de l'indécidabilité du problème de l'arrêtDidapro 8 – DidaSTIC L’informatique, objets d’enseignements – enjeux épistémologiques, didactique et de formation, Feb 2020, Lille, France
Communication dans un congrès
hal-04446237v1
|
|
Infinite Grid Exploration by Disoriented Robots8th Edition of the International Conference on NETworked and sYStems, NETYS, 2020, Marrakech, Morocco
Communication dans un congrès
hal-02559612v1
|
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⟩
Communication dans un congrès
hal-02942694v1
|
|
Card-based ZKP protocols for Takuzu and JuosanConference on Fun with Algorithms, FUN, Sep 2020, Island of Favignana, Trapani, Italy
Communication dans un congrès
hal-02559600v1
|
|
Finding Water on Poleless using Melomaniac Myopic Chameleon RobotsIn 10th International Conference on Fun with Algorithms (FUN), Sep 2020, Island of Favignana, Trapani, Italy
Communication dans un congrès
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
Communication dans un congrès
hal-02791601v1
|
GOOSE: A Secure Framework for Graph Outsourcing and SPARQL Evaluation34th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (also known as DBSEC), Jun 2020, Conférence online, Germany. pp.347-366, ⟨10.1007/978-3-030-49669-2_20⟩
Communication dans un congrès
hal-02544920v1
|
|
|
Linear Generalized ElGamal Encryption SchemeInternational Conference on Security and Cryptography (SECRYPT), Jul 2020, Paris, France
Communication dans un congrès
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
Communication dans un congrès
hal-02559585v1
|
|
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⟩
Communication dans un congrès
hal-03017686v1
|
|
Get-your-ID: Decentralized Proof of IdentityInternational Symposium on Foundations & Practice of Security, Nov 2019, Toulouse, France
Communication dans un congrès
hal-02412797v1
|
|
Secure Strassen-Winograd Matrix Multiplication with MapReduceInternational Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. pp.220-227
Communication dans un congrès
hal-02129149v1
|
|
A Physical ZKP for Slitherlink: How to Perform Physical Topology-Preserving ComputationISPEC : Information Security Practice and Experience Conference, 2019, Kuala Lumpur, Malaysia. pp.135-151, ⟨10.1007/978-3-030-34339-2_8⟩
Communication dans un congrès
hal-04402827v1
|
|
Brief Announcement: Infinite Grid Exploration by Disoriented Robots26th International Colloquium on Structural Information and Communication Complexity SIROCCO 2019, Jul 2019, L'Aquila, Italy
Communication dans un congrès
hal-02145822v1
|
|
Efficient Invisible and Unlinkable Sanitizable SignaturesInternational Conference on Practice and Theory in Public Key Cryptography PKC'19, 2019, Beijin, China
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-01959762v1
|
|
Towards Secure TMIS ProtocolsInternational Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France
Communication dans un congrès
hal-02412793v1
|
Secure Intersection with MapReduceInternational Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic. pp.236-243, ⟨10.5220/0007918902360243⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02942677v1
|
|
|
Security Analysis of Auctionity: a blockchain based e-auctionInternational Symposium on Foundations & Practice of Security FPS 19, Nov 2019, Toulouse, France
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-02150062v1
|
|
DABSTERS: Distributed Authorities using Blind Signature To Effect Robust Security in e-votingInternational Conference on Security and Cryptography (SECRYPT), Jul 2019, Prague, Czech Republic
Communication dans un congrès
hal-02145809v1
|
|
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⟩
Communication dans un congrès
hal-02412789v1
|
|
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⟩
Communication dans un congrès
hal-02145833v1
|
|
Verify-Your-Vote: A Verifiable Blockchain-based Online Voting Protocol15th European Mediterranean and Middle Eastern Conference on Information Systems, Oct 2018, Limassol, Cyprus
Communication dans un congrès
hal-01874855v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01777997v2
|
|
Secure Grouping and Aggregation with MapReduce15th International Conference on Information Security and Cryptography, SECRYPT'18, Jul 2018, Porto, Portugal. pp.514--521
Communication dans un congrès
hal-01874859v1
|
|
Secure Joins with MapReduceFPS 2018 : The 11th International Symposium on Foundations & Practice of Security, Nov 2018, Montreal, Canada
Communication dans un congrès
hal-01903098v1
|
|
Breaking and fixing the HB+DB protocolACM Conference on Security and Privacy in Wireless and Mobile Networks, Jul 2017, Boston, United States. pp.241 - 246, ⟨10.1145/3098243.3098263⟩
Communication dans un congrès
hal-01588562v1
|
|
Unlinkable and Strongly Accountable Sanitizable Signatures from Verifiable Ring SignaturesInternational Conference on Cryptology and Network Security, 2017, Hong Kong, China
Communication dans un congrès
hal-01964491v1
|
|
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
Communication dans un congrès
hal-01589196v1
|
|
Secure Matrix Multiplication with MapReduce12th International Conference on Availability, Reliability and Security ARES, Aug 2017, Reggio Di Calabria, Italy
Communication dans un congrès
hal-01927273v1
|
|
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⟩
Communication dans un congrès
hal-01689790v1
|
|
Verifiable Private Polynomial Evaluation11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506
Communication dans un congrès
hal-01689825v1
|
|
A Terrorist-fraud Resistant and Extractor-free Anonymous Distance-bounding ProtocolAsia Conference on Information, Computer and Communications Security, Apr 2017, Abu Dhabi, United Arab Emirates. pp.800-814, ⟨10.1145/3052973.3053000⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01689780v1
|
|
LOCALPKI: A User-Centric Formally Proven Alternative to PKIX14th International Conference on Security and Cryptography SECRYPT, Jul 2017, Madrid, Spain. ⟨10.5220/0006461101870199⟩
Communication dans un congrès
hal-01564696v1
|
|
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
Communication dans un congrès
hal-01524410v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01596010v2
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01344750v2
|
|
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⟩
Communication dans un congrès
hal-01691940v2
|
|
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⟩
Communication dans un congrès
hal-01382950v1
|
|
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⟩
Communication dans un congrès
hal-01510800v1
|
|
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⟩
Communication dans un congrès
hal-01326059v1
|
|
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⟩
Communication dans un congrès
hal-01369535v1
|
|
Formal Analysis of Key Management in mobile WimaxThe 2nd International Conference on Pattern Analysis and Intelligent Systems (IEEE) PAIS'16, 2016, Khenchela, Algeria
Communication dans un congrès
hal-01964502v1
|
|
Related-Key Cryptanalysis of MidoriInternational Conference on Cryptology in India, Dec 2016, Kolkata, India
Communication dans un congrès
hal-01588566v1
|
|
Anonymizable Ring Signature Without Pairing9th International Symposium on Foundations & Practice of Security, 2016, Québec, Canada
Communication dans un congrès
hal-01382951v1
|
|
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⟩
Communication dans un congrès
hal-01248349v1
|
|
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⟩
Communication dans un congrès
hal-01306395v1
|
|
Formal Analysis of E-Cash Protocols12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. ⟨10.5220/0005544500650075⟩
Communication dans un congrès
hal-01337410v1
|
|
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⟩
Communication dans un congrès
hal-01218138v1
|
|
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⟩
Communication dans un congrès
hal-01840596v1
|
|
SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor NetworksInternational Conference on Ad Hoc Networks (Adhocnets), 2015, San Remo Riviera, Italy
Communication dans un congrès
hal-01569756v1
|
Les émulateurs pédagogiquesQuestion de Pédagogies dans l’Enseignement Supérieur (QPES), Jun 2015, Brest, France. pp.277
Communication dans un congrès
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⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00979732v2
|
|
Secure Multihop Key Establishment Protocols for Wireless Sensor NetworksCryptography and Security Systems - Third International Conference, CSS 2014, Lublin, Poland, Sep 2014, Lublin, Poland
Communication dans un congrès
hal-01759913v1
|
|
Multihop Node Authentication Mechanisms for Wireless Sensor Networks ⋆Ad-hoc, Mobile, and Wireless Networks - 13th International Conference, ADHOC-NOW 2014, Jun 2014, Benidorm, Spain
Communication dans un congrès
hal-01759853v1
|
|
Performances of Cryptographic AccumulatorsThe 39th IEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada
Communication dans un congrès
hal-00999432v1
|
|
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⟩
Communication dans un congrès
hal-01337414v1
|
Formal Analysis of Electronic ExamsFirst Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France
Communication dans un congrès
hal-01338054v1
|
|
|
(In)Corruptibility of Routing ProtocolsFoundations and Practice of Security - 7th International Symposium, FPS 2014, Nov 2014, Montréal, Canada
Communication dans un congrès
hal-01759919v1
|
|
Secure key renewal and revocation for Wireless Sensor NetworksIEEE Conference on Local Computer Networks (LCN), Sep 2014, Edmonton, Canada. ⟨10.1109/LCN.2014.6925797⟩
Communication dans un congrès
hal-01759923v1
|
|
Formal Verification of e-Reputation ProtocolsFoundations and Practice of Security - 7th International Symposium, FPS 2014,, Nov 2014, Montréal, Canada
Communication dans un congrès
hal-01759921v1
|
|
Formal Analysis of Electronic Exams11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. ⟨10.5220/0005050901010112⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-00745247v3
|
|
Defining Verifiability in e-Auction ProtocolsAsia Conference on Information, Computer and Communications Security, ACM, May 2013, Hangzhou, China. ⟨10.1145/2484313.2484387⟩
Communication dans un congrès
hal-01337416v1
|
|
Verifiability in e-Auction Protocols1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy
Communication dans un congrès
hal-01338057v1
|
|
Discovering Flaws in IDS through Analysis of their InputsThe Sixth International Symposium on Foundations and Practice of Security FPS’2013, 2013, La Rochelle, France
Communication dans un congrès
hal-01707722v1
|
|
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⟩
Communication dans un congrès
hal-01759925v1
|
|
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
Communication dans un congrès
hal-00813387v3
|
|
Formal Verification of e-Auction ProtocolsInternational Conference on Principles of Security and Trust, Mar 2013, Rome, Italy. ⟨10.1007/978-3-642-36830-1_13⟩
Communication dans un congrès
hal-01338020v1
|
|
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
Communication dans un congrès
hal-01759927v1
|
|
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
Communication dans un congrès
hal-01759222v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01338064v1
|
|
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⟩
Communication dans un congrès
hal-01338037v1
|
|
Analysis of Random Walks using Tabu ListsStructural Information and Communication Complexity - 19th International SIROCCO'12, Jun 2012, Reykjavik, Iceland
Communication dans un congrès
hal-01759228v1
|
|
Key Management Protocol in WIMAX Revisited3rd International Conference on Communications Security and Information Assurance CSIA, 2012, delhi, India. pp.853 - 862
Communication dans un congrès
hal-01964518v1
|
|
Automated Verification of Block Cipher Modes of Operation, an Improved MethodFoundations and Practice of Security - 4th Canada-France FPS 2011, May 2011, Paris, France
Communication dans un congrès
hal-01759831v1
|
|
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
Communication dans un congrès
hal-00588086v1
|
|
Benaloh's dense probabilistic encryption revisitedAFRICACRYPT'11 - 4th international conference on Progress in cryptology in Africa, Jul 2011, Dakar, Senegal. pp.348-362
Communication dans un congrès
hal-00769449v1
|
|
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⟩
Communication dans un congrès
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⟩
Communication dans un congrès
hal-01759931v1
|
|
|
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
Communication dans un congrès
hal-01759935v1
|
|
Comparison of Cryptographic Verification Tools Dealing with Algebraic PropertiesFormal Aspects in Security and Trust, 2009, Eindhoven, Netherlands
Communication dans un congrès
hal-01701443v1
|
Towards Automated Proofs for Asymmetric Encryption Schemes in the Random Oracle Modelthe 15th ACM conference, Oct 2008, Alexandria, France. ⟨10.1145/1455770.1455817⟩
Communication dans un congrès
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
Communication dans un congrès
hal-01759947v1
|
|
Intruder Deduction for AC-like Equational Theories with HomomorphismsTerm Rewriting and Applications, 16th International Conference, RTA'05, Apr 2005, Nara, Japan
Communication dans un congrès
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
Chapitre d'ouvrage
hal-02639358v1
|
|
|
Les crypto-monnaies, une réalité virtuelle ?Les Big Data à l’échelle de la société, CNRS EDITIONS, 2020, 978-2271130617
Chapitre d'ouvrage
hal-04449159v1
|
|
DABSTERS: A Privacy Preserving e-Voting Protocol for Permissioned BlockchainICTAC 2019: Theoretical Aspects of Computing – ICTAC 2019, 11884, Springer International Publishing, pp.292-312, 2019, Lecture Notes in Computer Science, 978-3-030-32504-6. ⟨10.1007/978-3-030-32505-3_17⟩
Chapitre d'ouvrage
hal-04445965v1
|
|
Bitcoin : une monnaie dématérialiséeLes Big Data à découvert, CNRS Editions, 2017
Chapitre d'ouvrage
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⟩
Chapitre d'ouvrage
hal-03885239v1
|
|
Automated Proofs for Asymmetric EncryptionConcurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever, 2010
Chapitre d'ouvrage
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
Chapitre d'ouvrage
hal-01759940v1
|
|
How did they design this game? Swish: complexity and unplayable positions2024
Pré-publication, Document de travail
hal-04489238v1
|
|
La Blockchain, avenir des monnaies locales ?2022
Pré-publication, Document de travail
hal-03659241v1
|
|
Formal Analysis of Combinations of Secure Protocols2017
Pré-publication, Document de travail
hal-01558552v5
|
|
Les monnaies virtuelles décentralisées sont-elles des outils d’avenir ?2017
Pré-publication, Document de travail
halshs-01467329v1
|
|
How to prevent type-flaw attacks on security protocols under algebraic properties2009
Pré-publication, Document de travail
hal-01707737v1
|
|
On the Verifiability of (Electronic) Exams[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015
Rapport
hal-01337411v1
|
|
Secure Auctions Without Cryptography (extended version)[Technical Report] ETH Zurich. 2014
Rapport
hal-01337415v1
|
|
On Unique Decomposition of Processes in the Applied π-Calculus[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2012
Rapport
hal-01338012v1
|
|
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion[Research Report] VERIMAG. 2012
Rapport
hal-01338039v1
|
|
Formal Verification of e-Auction Protocols[Technical Report] TR-2012-17, VERIMAG. 2012
Rapport
hal-01338031v1
|
|
A formal taxonomy of privacy in voting protocols[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
Rapport
hal-01338067v1
|
|
Vote-Independence: A Powerful Privacy Notion for Voting Protocols[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2011
Rapport
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 : ⟩
Thèse
tel-00133494v1
|
|
Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor NetworksCryptography and Security [cs.CR]. Université de Grenoble, 2012
HDR
tel-00807568v1
|
|
Security and Cryptography just by imagesDoctoral. Grenoble, France. 2009, pp.52
Cours
hal-04449291v1
|