Dernières publications

Article dans une revue
31/01/2025
Article dans une revue
01/12/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 dans une revue
01/10/2023
Communication dans un congrès
09/08/2023
A comprehensive, formal and automated analysis of the EDHOC protocol
Charlie Jacomme, Elise Klein, Steve Kremer, Maïwenn Racouchot
Communication dans un congrès
09/08/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 dans un congrès
24/07/2023
Designing solutions for uncertain futures: A checklist for choosing suitable scenarios
Tjark Gall, Flore Vallet, Malek Ben Ammar, Bernard Yannou
Communication dans un congrès
09/07/2023
Communication dans un congrès
09/07/2023
Proving Unlinkability using ProVerif through Desynchronized Bi-Processes
David Baelde, Alexandre Debant, Stéphanie Delaune
Communication dans un congrès
18/06/2023
Static Analysis of Graph Database Transformations
Iovka Boneva, Benoit Groz, Jan Hidders, Filip Murlak, Slawomir Staworko
Communication dans un congrès
13/06/2023
On Quasipolynomials Real Roots Coexistence: Effect on Stability of Time-Delay Systems with Perspectives in Partial Pole Placement
Timothée Schmoderer, Islam Boussaada, Silviu-Iulian Niculescu, Fazia Bedouhene, Amira Remadna

Pages