Filter your results
- 107
- 34
- 10
- 7
- 3
- 2
- 2
- 2
- 167
- 35
- 21
- 19
- 14
- 13
- 12
- 12
- 11
- 10
- 8
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 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
- 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
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 162
- 5
- 1
- 1
- 116
- 54
- 46
- 35
- 35
- 21
- 19
- 13
- 7
- 7
- 6
- 5
- 4
- 4
- 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
- 142
- 25
- 139
- 27
- 1
- 140
- 27
- 4
- 19
- 15
- 20
- 16
- 12
- 22
- 14
- 13
- 13
- 9
- 7
- 3
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
|
|||
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
|
|||
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
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
|
|||
|
Bitcoin : une monnaie dématérialiséeLes Big Data à découvert, CNRS Editions, 2017
Book sections
hal-02291296v1
|
||
|
Towards Secure TMIS ProtocolsInternational Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France
Conference papers
hal-02412793v1
|
||
|
Infinite Grid Exploration by Disoriented Robots8th Edition of the International Conference on NETworked and sYStems, NETYS, 2020, Marrakech, Morocco
Conference papers
hal-02559612v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Interactive Physical ZKP for Connectivity: Applications to Nurikabe and HitoriComputability in Europe Conference (CiE), Jul 2021, à distance, Belgium
Conference papers
hal-03209911v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|