Search - I-Site CAP 20-25 Access content directly

Filter your results

79 Results
Domains : info
Image document

On the Verifiability of (Electronic) Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini et al.
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015
Reports hal-01337411v1
Image document

Efficient Algorithms for Battleship

Loïc Crombez , Guilherme D da Fonseca , Yan Gérard
10th International Conference on Fun with Algorithms (FUN 2021), Jul 2021, Sicily, Italy
Conference papers hal-03559058v1
Image document

Progress towards the two-thirds conjecture on locating-total dominating sets

Dipayan Chakraborty , Florent Foucaud , Anni Hakanen , Michael A. Henning , Annegret K. Wagler et al.
2022
Preprints, Working Papers, ... hal-03876474v1
Image document

SLACK-MAC: Adaptive MAC Protocol for Low Duty-Cycle Wireless Sensor Networks

Thérèse Aby , Alexandre Guitton , Pascal Lafourcade , Michel Misson
International Conference on Ad Hoc Networks (Adhocnets), 2015, San Remo Riviera, Italy
Conference papers hal-01569756v1
Image document

Complexity and algorithms for Isometric Path Cover on chordal graphs and beyond

Dibyayan Chakraborty , Antoine Dailly , Sandip Das , Florent Foucaud , Harmender Gahlawat et al.
2022
Preprints, Working Papers, ... hal-03710812v2

Logique et démonstration automatique - Introduction à la logique propositionnelle et à la logique du premier ordre

Pascal Lafourcade , Stéphane Devismes , Michel Lévy
2012
Books hal-01874862v1
Image document

On Designing and Implementing Agro-ecology IoT Applications: Issues from Applied Research Projects

Sandro Bimonte , Amina Belhassena , Christophe Cariou , Jean Laneurit , Rim Moussa et al.
International 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
Image document

A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks: Corrected Version

Ali Kassem , Pascal Lafourcade , Yassine Lakhnech
Foundations and Practice of Security - 6th International Symposium,, Oct 2013, La Rochelle,, France
Conference papers hal-01759222v1
Image document

Formal Verification of e-Reputation Protocols

Ali Kassem , Pascal Lafourcade , Yassine Lakhnech
Foundations and Practice of Security - 7th International Symposium, FPS 2014,, Nov 2014, Montréal, Canada
Conference papers hal-01759921v1
Image document

Formal Analysis of Combinations of Secure Protocols

Elliott Blot , Jannik Dreier , Pascal Lafourcade
FPS 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
Image document

Automated Verification of E-Cash Protocols

Jannik Dreier , Ali Kassem , Pascal Lafourcade
ICETE 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
Image document

Formal Verification of e-Auction Protocols

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech
International 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 imagery

Maxime Bombrun , David Jessop , Andrew Harris , Vincent Barra
Journal of Volcanology and Geothermal Research, 2018, 352, pp.26 - 37. ⟨10.1016/j.jvolgeores.2018.01.006⟩
Journal articles hal-01700704v1
Image document

Collision Resolution Protocol for Delay and Energy Efficient LoRa Networks

Nancy El Rachkidy , Alexandre Guitton , Megumi Kaneko
IEEE Transactions on Green Communications and Networking, 2019, pp.1-10. ⟨10.1109/TGCN.2019.2908409⟩
Journal articles hal-02095747v1
Image document

Towards Secure TMIS Protocols

David Gérault , Pascal Lafourcade
International Symposium on Foundations & Practice of Security FPS 2019, Nov 2019, Toulouse, France
Conference papers hal-02412793v1
Image document

Two Secure Anonymous Proxy-based Data Storages

Olivier Blazy , Xavier Bultel , Pascal Lafourcade
13th International Joint Conference on e-Business and Telecommunications (ICETE 2016), 2016, Lisbon, Portugal. pp.251--258, ⟨10.5220/0005962402510258⟩
Conference papers hal-01382950v1
Image document

New Bounds and Constructions for Neighbor-Locating Colorings of Graphs

Dipayan Chakraborty , Florent Foucaud , Soumen Nandi , Sagnik Sen , D K Supraja et al.
9th 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
Image document

Changing the routing protocol without transient loops

Nancy El Rachkidy , Alexandre Guitton
Computer Communications, 2016, 82, pp.49 - 58. ⟨10.1016/j.comcom.2016.02.010⟩
Journal articles hal-01448127v1
Image document

A linear programming-based framework for handling missing data in multi-granular data warehouses

Sandro Bimonte , Libo Ren , Nestor Koueya
Data and Knowledge Engineering, 2020, 128, pp.101832. ⟨10.1016/j.datak.2020.101832⟩
Journal articles hal-03203605v1
Image document

Decoding Superposed LoRa Signals

Nancy El Rachkidy , Alexandre Guitton , Megumi Kaneko
IEEE Conference on Local Computer Networks, Oct 2018, CHICAGO, United States
Conference papers hal-01881384v1
Image document

Bitcoin : une monnaie dématérialisée

Pascal Lafourcade , Jean-Guillaume Dumas
Les Big Data à découvert, CNRS Editions, 2017
Book sections hal-02291296v1

Architectures PKI et communications sécurisées

Jean-Guillaume Dumas , Pascal Lafourcade , Patrick Redon
Dunod, pp.400, 2015, Info Sup, 9782100726158
Books hal-01445289v1
Image document

MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing

Olivier Blazy , Pierre-Alain Fouque , Thibaut Jacques , Pascal Lafourcade , Cristina Onete et al.
The 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 Exams

Jannik Dreier , Rosario Giustolisi , Ali Kassem , Pascal Lafourcade , Gabriele Lenzini et al.
First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France
Conference papers hal-01338054v1
Image document

Verifiability in e-Auction Protocols

Jannik Dreier , Hugo Jonker , Pascal Lafourcade
1st Workshop on Hot Issues in Security Principles and Trust (HotSpot'13), Mar 2013, Rome, Italy
Conference papers hal-01338057v1
Image document

Defining Privacy for Weighted Votes, Single and Multi-voter Coercion

Jannik Dreier , Pascal Lafourcade , Yassine Lakhnech
[Research Report] VERIMAG. 2012
Reports hal-01338039v1
Image document

Computing AES related-key differential characteristics with constraint programming

David Gérault , Pascal Lafourcade , Marine Minier , Christine Solnon
Artificial Intelligence, 2020, 278, pp.103183. ⟨10.1016/j.artint.2019.103183⟩
Journal articles hal-02327893v1
Image document

Analysis of AES, SKINNY, and Others with Constraint Programming

Siwei Sun , David Gerault , Pascal Lafourcade , Qianqian Yang , Yosuke Todo et al.
IACR Transactions on Symmetric Cryptology, 2017, 2017 (1), pp.281--306
Journal articles hal-01615487v1
Image document

(In)Corruptibility of Routing Protocols

Raphaël Jamet , Pascal Lafourcade
Foundations and Practice of Security - 7th International Symposium, FPS 2014, Nov 2014, Montréal, Canada
Conference papers hal-01759919v1
Image document

Distributed fast loop-free transition of routing protocols

Nina Bekono , Nancy El Rachkidy , Alexandre Guitton
IEEE 86th Vehicular Technology Conference (VTC fall), 2017, Toronto, Canada
Conference papers hal-01525310v1