Filter your results
- 68
- 10
- 1
- 42
- 21
- 7
- 4
- 3
- 1
- 1
- 6
- 1
- 1
- 78
- 9
- 3
- 2
- 1
- 1
- 1
- 7
- 11
- 3
- 4
- 7
- 5
- 8
- 6
- 12
- 5
- 4
- 4
- 3
- 74
- 5
- 45
- 30
- 20
- 17
- 17
- 13
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 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
- 40
- 16
- 14
- 13
- 8
- 8
- 4
- 4
- 4
- 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
- 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
|
On the Verifiability of (Electronic) Exams[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015
Reports
hal-01337411v1
|
||
|
Efficient Algorithms for Battleship10th International Conference on Fun with Algorithms (FUN 2021), Jul 2021, Sicily, Italy
Conference papers
hal-03559058v1
|
||
|
Progress towards the two-thirds conjecture on locating-total dominating sets2022
Preprints, Working Papers, ...
hal-03876474v1
|
||
|
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
|
||
|
Complexity and algorithms for Isometric Path Cover on chordal graphs and beyond2022
Preprints, Working Papers, ...
hal-03710812v2
|
||
Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre2012
Books
hal-01874862v1
|
|||
|
On Designing and Implementing Agro-ecology IoT Applications: Issues from Applied Research ProjectsInternational Workshop on Latest Advances in Enterprise Architectures in the IoT Era (EAIoT’2021)/International Entreprise Distributed Object Computing Workshop (EDOCW), IEEE Comp Soc; Griffith Univ; Destinat Gold Coast, Oct 2021, Gold Coast, Australia. ⟨10.1109/EDOCW52865.2021.00050⟩
Conference papers
hal-03479790v1
|
||
|
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
|
||
|
Formal Verification of e-Reputation ProtocolsFoundations and Practice of Security - 7th International Symposium, FPS 2014,, Nov 2014, Montréal, Canada
Conference papers
hal-01759921v1
|
||
|
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
|
||
|
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
|
||
|
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
|
||
An algorithm for the detection and characterisation of volcanic plumes using thermal camera imageryJournal of Volcanology and Geothermal Research, 2018, 352, pp.26 - 37. ⟨10.1016/j.jvolgeores.2018.01.006⟩
Journal articles
hal-01700704v1
|
|||
|
Collision Resolution Protocol for Delay and Energy Efficient LoRa NetworksIEEE Transactions on Green Communications and Networking, 2019, pp.1-10. ⟨10.1109/TGCN.2019.2908409⟩
Journal articles
hal-02095747v1
|
||
|
Towards Secure TMIS ProtocolsInternational Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France
Conference papers
hal-02412793v1
|
||
|
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
|
||
|
New Bounds and Constructions for Neighbor-Locating Colorings of Graphs9th International Conference on Algorithms and Discrete Applied Mathematics (CALDAM 2023), Feb 2023, Gandhinagar, India. pp.121-133, ⟨10.1007/978-3-031-25211-2_9⟩
Conference papers
hal-03965313v1
|
||
|
Changing the routing protocol without transient loopsComputer Communications, 2016, 82, pp.49 - 58. ⟨10.1016/j.comcom.2016.02.010⟩
Journal articles
hal-01448127v1
|
||
|
A linear programming-based framework for handling missing data in multi-granular data warehousesData and Knowledge Engineering, 2020, 128, pp.101832. ⟨10.1016/j.datak.2020.101832⟩
Journal articles
hal-03203605v1
|
||
|
Decoding Superposed LoRa SignalsIEEE Conference on Local Computer Networks, Oct 2018, CHICAGO, United States
Conference papers
hal-01881384v1
|
||
|
Bitcoin : une monnaie dématérialiséeLes Big Data à découvert, CNRS Editions, 2017
Book sections
hal-02291296v1
|
||
Architectures PKI et communications sécuriséesDunod, pp.400, 2015, Info Sup, 9782100726158
Books
hal-01445289v1
|
|||
|
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
|
||
Formal Analysis of Electronic ExamsFirst Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France
Conference papers
hal-01338054v1
|
|||
|
Verifiability in e-Auction Protocols1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy
Conference papers
hal-01338057v1
|
||
|
Defining Privacy for Weighted Votes, Single and Multi-voter Coercion[Research Report] VERIMAG. 2012
Reports
hal-01338039v1
|
||
|
Computing AES related-key differential characteristics with constraint programmingArtificial Intelligence, 2020, 278, pp.103183. ⟨10.1016/j.artint.2019.103183⟩
Journal articles
hal-02327893v1
|
||
|
Analysis of AES, SKINNY, and Others with Constraint ProgrammingIACR Transactions on Symmetric Cryptology, 2017, 2017 (1), pp.281--306
Journal articles
hal-01615487v1
|
||
|
(In)Corruptibility of Routing ProtocolsFoundations and Practice of Security - 7th International Symposium, FPS 2014, Nov 2014, Montréal, Canada
Conference papers
hal-01759919v1
|
||
|
Distributed fast loop-free transition of routing protocolsIEEE 86th Vehicular Technology Conference (VTC fall), 2017, Toronto, Canada
Conference papers
hal-01525310v1
|