Latest submissions

Article in a review
01/31/2025
Article in a review
12/01/2023
Small grains from Ryugu: handling and analysis pipeline for infrared synchrotron microspectroscopy
Stefano Rubino, Zélia Dionnet, Alice Aléon-Toppani, Rosario Brunetto, Tomoki Nakamura, Donia Baklouti, Zahia Djouadi, Cateline Lantz, Obadias Mivumbi, Ferenc Borondics, Stephane Lefrançois, Christophe Sandt, Francesco Capitani, Eva Héripré, David Troadec, Megumi Matsumoto, Kana Amano, Tomoyo Morita, Hisayoshi Yurimoto, Takaaki Noguchi, Ryuji Okazaki, Hikaru Yabuta, Hiroshi Naraoka, Kanako Sakamoto, Shogo Tachibana, Seiichiro Watanabe, Yuichi Tsuda
Article in a review
10/01/2023
Communication on a congress
08/09/2023
A comprehensive, formal and automated analysis of the EDHOC protocol
Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot
Communication on a congress
08/09/2023
Hash Gone Bad: Automated discovery of protocol attacks that exploit hash function weaknesses
Vincent Cheval, Cas Cremers, Alexander Dax, Lucca Hirschi, Charlie Jacomme, Steve Kremer
Communication on a congress
07/24/2023
Designing solutions for uncertain futures: A checklist for choosing suitable scenarios
Tjark Gall, Flore Vallet, Malek Ben Ammar, Bernard Yannou
Communication on a congress
07/09/2023
Communication on a congress
07/09/2023
Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
David Baelde, Alexandre Debant, Stéphanie Delaune
Communication on a congress
06/18/2023
Static Analysis of Graph Database Transformations
Iovka Boneva, Benoit Groz, Jan Hidders, Filip Murlak, Slawomir Staworko
Communication on a congress
06/14/2023

Pages