A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols

Autor: Garcia, Rémi, Modesti, Paolo

Publikováno v: Electronics, Volume 13, Number 23, 2024

To develop trustworthy distributed systems, verification techniques and formal methods, including lightweight and practical approaches, have been employed to certify the design or implementation of security protocols. Lightweight formal methods offer

Externí odkaz: http://arxiv.org/abs/2411.17926

Hardware-aware Design of Multiplierless Second-Order IIR Filters with Minimum Adders

Autor: Garcia, Rémi, Volkova, Anastasia, Kumm, Martin, Goldsztejn, Alexandre, Kühle, Jonas

In this work, we optimally solve the problem of multiplierless design of second-order Infinite Impulse Response filters with minimum number of adders. Given a frequency specification, we design a stable direct form filter with hardware-aware fixed-po

Externí odkaz: http://arxiv.org/abs/2108.01565

Securing distributed systems: A survey on access control techniques for cloud, blockchain, IoT and SDN

Autor: Golightly, Lewis, Modesti, Paolo, Garcia, Rémi, Chang, Victor

Publikováno v: In Cyber Security and Applications December 2023 1

Multiple Constant Multiplication: From Target Constants to Optimized Pipelined Adder Graphs

Autor: Garcia, Rémi, Volkova, Anastasia

Multiple Constant Multiplication (MCM) is a ubiquitous problem for numerous computation-intensive applications. A standard and efficient approach is to replace generic multipliers by multiplierless architectures based on bit-shifts and additions. The

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::1a47f2827a4eec556232048f75887d33
https://hal.science/hal-03943273/document

A New Model for the Multiple Constant Multiplication Problem

Autor: Garcia, Rémi, Volkova, Anastasia, Goldsztejn, Alexandre

Publikováno v: 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision
23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne-Lyon, France

International audience; A New Model for the Multiple Constant Multiplication Problem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7332a2069797560766b9978638b9bcd3
http://hal.univ-nantes.fr/hal-03454510