RIOT-fp

A cybersecurity-focused distribution of RIOT

Publications & Academic Conferences

  • G. Banegas et al. Disorientation Faults in CSIDH. In EUROCRYPT, 2023. [PDF]

  • C. Jacomme, E. Klein, S. Kremer, M. Racouchot. A comprehensive, formal and automated analysis of the EDHOC protocol. USENIX Security Symposium, 2023. [PDF]

  • FX Molina, E. Baccelli, K. Zandberg, D. Donsez, O. Alphand. Cubedate: Securing Software Updates in Orbit for Low-Power Payloads Hosted on CubeSats, in the 12th IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks (PEMWN), Sept. 2023. [PDF]

  • T. Wallez, J. Protzenko, K. Bhargavan. Comparse: Provably Secure Formats for Cryptographic Protocols. Cryptology ePrint Archive, 2023. [PDF]

  • F. Kiefer, K. Bhargavan. Hacspec: a Gateway to High-Assurance Cryptography. In Real World Crypto, 2023. [PDF]

  • B. Smith. Advances in Asymmetric Cryptographic Algorithms. HDR, Institut Polytechnique de Paris, 2023. [PDF]

  • FX Molina, V. Roca, R. Dagher, E. Baccelli, N. Mitton, A. Boutet, M. Cunche. PEPPER: Precise Privacy-Preserving Contact Tracing with Cheap, BLE/UWB Capable Tokens, in the 24th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM), June 2023. [PDF]

  • G. Selander, J. Preuß Mattsson, M. Vučinić, M. Richardson. Lightweight Authorization using Ephemeral Diffie-Hellman Over COSE. Internet Eng. Task Force, draft-ietf-lake-authz-00, 2023. PDF

  • Selander, Göran, S. Raza, M. Furuhed, M. Vučinić, T. Claeys. Protecting EST Payloads with OSCORE. Internet Eng. Task Force, draft-ietf-ace-coap-est-oscore-03, 2023. PDF

  • J. Preuß Mattsson, F. Palombini, M. Vučinić. Comparison of CoAP Security Protocols. Internet Eng. Task Force, draft-ietf-iotops-security-protocol-comparison-03, 2023. PDF

  • B. Moran, H. Tschofenig, H. Birkholz, K. Zandberg. A Concise Binary Object Representation (CBOR)-based Serialization Format for the Software Updates for Internet of Things (SUIT) Manifest. IETF working group draft, October 2023. PDF

  • G. Banegas, K. Carrier, A. Chailloux, A. Couvreur, T. Debris-Alazard, P. Gaborit, P. Karpman, J. Loyer, R. Niederhagen, N. Sendrier, B. Smith, JP Tillich, Wave Signatures, NIST Post-Quantum Cryptography Competition: Round 1 Submission, June 2023. [PDF]

  • G. Selander, J. Preuß Mattsson, M. Serafin, M. Tiloca, M. Vučinić. Traces of EDHOC. Internet Eng. Task Force, draft-ietf-lake-traces-08, 2023. PDF

  • G. Banegas, V. Gilchrist, A. Le Dévéhat, B. Smith. Fast and Frobenius: Rational Isogeny Evaluation over Finite Fields. arXiv preprint, June 2023. [PDF]

  • K. Zandberg, E. Baccelli, S. Yuan, F. Besson, JP Talpin. Femto-Containers: Lightweight Virtualization and Fault Isolation For Small Software Functions on Low-Power IoT Microcontrollers, in the 23rd ACM International Middleware Conference (ACM MIDDLEWARE’22), Nov. 2022. [PDF]

  • G. Banegas, V. Gilchrist, B. Smith. Efficient supersingularity testing over F_p and CSIDH key validation. In Mathematical Cryptology, 2022. [PDF]

  • S. Yuan, F. Besson, JP Talpin, S. Hym, K. Zandberg, E. Baccelli. A Verified eBPF Virtual Machine for Microcontrollers. In the 34th International Conference on Computer Aided Verification (CAV’22), August 2022. [PDF]

  • G. Banegas, K. Zandberg, A. Herrmann, E. Baccelli, B. Smith. Quantum-Resistant Security for Software Updates on Low-power Networked Embedded Devices. To appear in the 20th International Conference on Applied Cryptography and Network Security (ACNS’22), June 2022. [PDF]

  • B. Moran, H. Tschofenig, H. Birkholz, K. Zandberg. A Concise Binary Object Representation (CBOR)-based Serialization Format for the Software Updates for Internet of Things (SUIT) Manifest. IETF working group draft, April 2022. [PDF]

  • M. Vučinić, G. Selander, J. Mattsson. Lightweight Authenticated Key Exchange with EDHOC. IEEE Computer, Jan. 2022 [PDF]

  • E. Baccelli (Ed.). Societal Challenges & Scientific Research Fields for IoT. Inria White Paper, Dec. 2021. [PDF]

  • S. Yuan, JP Talpin. Verified Functional Programming of an IoT Operating System’s Bootloader. In Proc. ACM MEMOCODE 2021, Nov. 2021. [PDF]

  • K. Zandberg, E. Baccelli. Femto-Containers: DevOps on Microcontrollers with Lightweight Virtualization & Isolation for IoT Software Modules. Preprint, Nov. 2021. [PDF]

  • L. Franceschino, JP Talpin, D. Pichardie. Verified Functional Programming of an Abstract Interpreter. In Proc. Static Analysis Symposium, Oct. 2021. [PDF]

  • M. Vucinic, J. Simon, K. Pister, M. Richardson. Constrained Join Protocol (CoJP) for 6TiSCH. IETF RFC 9031, May 2021. [PDF]

  • G. Selander, J. Mattsson, M. Vucinic, M. Richardson, A. Schellenbaum. Lightweight Authorization for Authenticated Key Exchange. IETF Internet Draft draft-selander-ace-ake-authz-03, May 2021. [PDF]

  • D. Merigoux, F. Kiefer, K. Bhargavan. Hacspec: succinct, executable, verifiable specificationsfor high-assurance cryptography embedded in Rust. Preprint Inria HAL, March 2021. [PDF]

  • G. Banegas, D. J. Bernstein, F. Campos, T. Chou,T. Lange, M. Meyer, B. Smith, J. Sotáková. CTIDH: faster constant-time CSIDH. To appear in Transactions on Cryptographic Hardware and Embedded Systems, 2021. [PDF]

  • S. Galbraith, L. Panny, B. Smith, F. Vercauteren. Quantum Equivalence of the DLP and CDHP for Group Actions. To appear in Mathematical Cryptology, 2021. [PDF]

  • T. Claeys, M. Vucinic, T. Watteyne, F. Rousseau, B. Tourancheay. Performance of the Transport Layer Security Handshake Over 6TiSCH. MDPI Sensors, March 2021. [PDF]

  • B. Moran, H. Tschofenig, H. Birkholz, K. Zandberg. A Concise Binary Object Representation (CBOR)-based Serialization Format for the Software Updates for Internet of Things (SUIT) Manifest. IETF Internet Draft draft-ietf-suit-manifest-12. [PDF]

  • D. J. Bernstein, L. De Feo, A. Leroux, B. Smith. Faster computation of isogenies of large prime degree. In Proceedings of ANTS XIV, pp.39-55. Dec. 2020. [PDF]

  • K. Zandberg, E. Baccelli. Minimal Virtual Machines on IoT Microcontrollers: The Case of Berkeley Packet Filters with rBPF. In Proc. of 9th IFIP/IEEE PEMWN, Dec. 2020. [PDF]

  • T. Claeys, F. Molina, M. Vucinic, T. Watteyne, E. Baccelli. RIOT and OpenWSN 6TiSCH: Happy Together. In Proc. of 9th IFIP/IEEE PEMWN, Dec. 2020. [PDF]

  • G. Restuccia, H. Tschofenig, E. Baccelli. Low-Power IoT Communication Security: On the Performance of DTLS and TLS 1.3. In Proc. of 9th IFIP/IEEE PEMWN, Dec. 2020. [PDF]

  • J. Protzenko, B. Parno, A. Fromherz, C. Hawblitzel, M. Polubelova, K. Bhargavan et al. Evercrypt: A fast, verified, cross-platform cryptographic provider. In Proc. ACM SIGSAC Conference on Computer and Communications Security. Oct. 2020. [PDF]

  • M. Vucinic, G. Selander, J. Mattsson, D. Garcia. Requirements for a Lightweight AKE for OSCORE, IETF Internet Draft draft-ietf-lake-reqs-04, June 2020. [PDF]

  • M. Polubelova, K. Bhargavan et al. HACLxN: Verified Generic SIMD Crypto. In Proc. IEEE Symposium on Security and Privacy (S&P). May 2020. [PDF]

  • C. Costello, B. Smith. The supersingular isogeny problem in genus 2 and beyond. In Proceedings of the International Conference on Post-Quantum Cryptography, pp. 151-168, Springer, Apr. 2020. [PDF]

  • JJ Marty, L. Franceschino, JP Talpin, N. Vazou. LIO*: Low Level Information Flow Control in F *. Preprint arXiv, Apr. 2020. [PDF]

  • B. Moran, H. Tschofenig, H. Birkholz, K. Zandberg. A Concise Binary Object Representation (CBOR)-based Serialization Format for the Software Updates for Internet of Things (SUIT) Manifest, IETF Internet Draft draft-ietf-suit-manifest-04, March 2020. [PDF]

  • G. Selander, J. Mattsson, M. Vucinic, M. Richardson. Lightweight Authorization for Authenticated Key Exchange, IETF Internet Draft draft-selander-ace-ake-authz-00, Feb. 2020. [PDF]

  • H. Tschofenig, E. Baccelli. Cyberphysical Security for the Masses: A survey of the Internet Protocol Suite for Internet of Things Security. IEEE Security & Privacy, Sept. 2019. [PDF]

  • D. Cervantes-Vázquez, M. Chenu, J.-J. Chi-Domínguez, L. De Feo, F. Rodríguez-Henríquez, B. Smith. Stronger and Faster Side-Channel Protectionsfor CSIDH. In LATINCRYPT, Oct. 2019. [PDF]

  • K. Zandberg, K. Schleiser, F. Acosta, H. Tschofenig, E. Baccelli. Secure Firmware Updates for Constrained IoT Devices Using Open Standards: A Reality Check. In IEEE Access, June 2019. [PDF]

  • JP Talpin, JJ Marty, S. Narayan, D. Stefan and R. Gupta. Towards verified programming of embedded devices. In IEEE DATE, March 2019. [PDF]