Filter your results
- 157
- 31
- 1
- 120
- 37
- 11
- 7
- 6
- 3
- 2
- 1
- 1
- 1
- 6
- 1
- 182
- 6
- 2
- 1
- 4
- 18
- 14
- 20
- 17
- 13
- 21
- 13
- 14
- 14
- 11
- 10
- 7
- 2
- 3
- 3
- 1
- 3
- 1
- 161
- 28
- 113
- 66
- 52
- 36
- 36
- 22
- 21
- 13
- 7
- 6
- 6
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 189
- 35
- 20
- 19
- 15
- 14
- 12
- 12
- 10
- 9
- 8
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
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
|
|||
|
Infinite Grid Exploration by Disoriented Robots8th Edition of the International Conference on NETworked and sYStems, NETYS, 2020, Marrakech, Morocco
Conference papers
hal-02559612v1
|
||
|
Formal analysis and offline monitoring of electronic examsFormal Methods in System Design, 2017, 51 (1), pp.117 - 153. ⟨10.1007/s10703-017-0280-0⟩
Journal articles
hal-01653884v1
|
||
Blockchain Mirage or Silver Bullet? A Requirements-driven Comparative Analysis of Business and Developers' Perceptions in the Accountancy DomainJ. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2021, 12, pp.85-110. ⟨10.22667/JOWUA.2021.03.31.085⟩
Journal articles
hal-03451232v1
|
|||
|
Fast Short and Fast Linear Cramer-ShoupFoundations and Practice of Security - 13th International Symposium, FPS, Dec 2020, Montreal, France
Conference papers
hal-03419449v1
|
||
|
Near-collisions and Their Impact on Biometric SecuritySECRYPT, Jul 2022, Lisbon, Portugal. pp.382-389, ⟨10.5220/0011279200003283⟩
Conference papers
hal-03751547v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
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
|
|||
|
Intruder deduction for the equational theory of Abelian groups with distributive encryptionInformation and Computation, 2007, 205 (4), pp.581-623. ⟨10.1016/j.ic.2006.10.008⟩
Journal articles
hal-00496353v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
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
|
|||
Comment s'exercer à apprendre ?2015
Books
hal-01874860v1
|
|||
|
Bitcoin : une monnaie dématérialiséeLes Big Data à découvert, CNRS Editions, 2017
Book sections
hal-02291296v1
|
||
|
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
|
||
|
Towards Secure TMIS ProtocolsInternational Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France
Conference papers
hal-02412793v1
|
||
|
Formal verification of mobile robot protocolsDistributed Computing, 2016, 29 (6), pp.459-487. ⟨10.1007/s00446-016-0271-1⟩
Journal articles
hal-01344903v1
|
||
|
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
|
||
|
Verifiable Private Polynomial Evaluation11th International Conference on Provable Security (ProvSec 2017), Oct 2017, Xi'an, China. pp.487-506
Conference papers
hal-01689825v1
|
||
|
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
|
||
|
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
|
||
|
Evaluation of Secure Multi-Hop Node Authentication and Key Establishment Mechanisms for Wireless Sensor NetworksJournal of sensor and actuator networks, 2014, 3 (3), pp.224 - 244. ⟨10.3390/jsan3030224⟩
Journal articles
hal-01593137v1
|
||
|
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
|
||
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
|
|||
|
Physical Zero-Knowledge Proof and NP-completeness Proof of Suguru Puzzle ⋆Information and Computation, In press, ⟨10.1016/j.ic.2021.104858⟩
Journal articles
hal-03542495v1
|
||
|
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
|