Chez Colibryx, la recherche et le développement ne s'arrêtent jamais.
Nous collaborons avec les professeurs du Département d'Informatique de l'Université de Vérone depuis 2023. Publications scientifiques, projets de recherche, technologies éprouvées avant d'être intégrées dans le logiciel d'un client.
Le logiciel s'améliore si quelqu'un l'étudie.
Chaque outil que nous utilisons au quotidien — un compilateur, un analyseur statique, un modèle linguistique — est né dans un département universitaire des années avant d'arriver en entreprise.
C'est pourquoi nous travaillons avec les professeurs du Département d'Informatique de l'Université de Vérone. Nous échangeons sur les sujets émergents, suivons les travaux qu'ils mènent, et comprenons ensemble
C'est ainsi que nous restons vraiment à jour. Une entreprise mesure ce qui fonctionne aujourd'hui. Un groupe de recherche comprend pourquoi cela fonctionne, et pour combien de temps encore.
Département d'Informatique, Université de Vérone.
Les professeurs avec lesquels nous collaborons enseignent et mènent des recherches au Département d'Informatique de l'Université de Vérone, dans le domaine des Sciences et de l'Ingénierie. Leurs domaines — sécurité logicielle, vérification formelle, analyse de programmes — sont le terrain sur lequel se décide si un système tient ou tombe en panne.
- Mila Dalla PredaProfesseure titulaireUniversité de Vérone
- Fausto SpotoMaître de conférencesUniversité de Vérone
Une collaboration qui dure depuis 2023.
- 2023
Publication Exploring NFT Validation through Digital Watermarking
Comment prouver qu'un NFT est authentique, lorsque n'importe qui peut copier l'image et la frapper en premier. Présenté à ARES 2023, conférence internationale sur la sécurité et la fiabilité des systèmes.
Le marché des NFT s'est rempli de copies : celui qui frappe en premier est considéré comme le propriétaire, même lorsque l'œuvre appartient à quelqu'un d'autre. Le document propose de lier l'authenticité non pas à la vitesse de frappe, mais à une signature cachée à l'intérieur de l'objet numérique que seul le marketplace peut extraire et vérifier.
Blockchain technology has brought notable advancements to diverse industries. The introduction of non-fungible tokens (NFTs) has particularly led to a lucrative market for unique digital asset ownership verification, including digital artworks. However, this trend has also given rise to concerns such as fraud, stolen works, authenticity, and copyright issues. Illicit traders exploit the market by trading unauthorized copies of digital objects as NFTs. In this study, we propose the use of digital watermarking as a means to establish the authenticity of NFTs and enhance the marketplace's credibility.
Abstract original en anglais — ACM Digital Library - Auteurs
- Mila Dalla Preda (Università di Verona) · Francesco Masaia (Vero4Chain srl)
- Conférence
- ARES 2023 — 18th International Conference on Availability, Reliability and Security
- Lieu et date
- Bénévent, 29 août – 1er septembre 2023
- Éditeur
- ACM · 6 pages
- DOI
- 10.1145/3600160.3605063
- Mots-clés
- digital watermarking, non-fungible token, blockchain
Francesco Masaia, coauteur de l'article, est associé de Colibryx.
- 2024
De la recherche à la production L'algorithme de tarification de Noleggiare
Plus de 50 classes de véhicules, durées variables, saisonnalité. Le modèle mathématique est né de notre collaboration avec l'Université de Vérone ; nous l'avons transformé en un système que l'équipe utilise quotidiennement.
Calculer le prix d'une location, ce n'est pas multiplier les jours par un tarif : cela dépend de la classe du véhicule, de la durée, de la période de l'année et du taux d'occupation de la flotte. Il fallait un modèle, pas une feuille de calcul.
Le modèle est né de la collaboration entre Noleggiare et l'Université de Vérone. Nous l'avons mis en production : configuration des variables, simulateur pour vérifier les résultats avant de les appliquer, synchronisation avec les systèmes d'entreprise.
- Client
- Noleggiare
- Année
- 2024
- Durée
- 6 mois
- Secteur
- Automobile
- 2026
Projet de recherche Studio delle potenzialità dell'utilizzo di strumenti LLM nell'analisi del software
Les LLM savent lire le code. Mais savent-ils y trouver les vulnérabilités ? Le Département a passé en revue la littérature et les outils industriels pour comprendre ce qui fonctionne vraiment et ce qui ne fonctionne pas.
Les outils basés sur des modèles linguistiques promettent de lire le code à notre place : trouver les vulnérabilités, reconstruire la logique d'un système que personne ne documente plus, reconnaître du code obfusqué. C'est une promesse énorme, et cela concerne exactement le travail que nous faisons.
Le fait est qu'une promesse n'est pas une mesure. Il était important de savoir ce que dit réellement la littérature, comment se comportent les outils industriels, et quel est le poids de la manière dont la question est formulée — parce qu'avec ces modèles, la même requête écrite de deux manières différentes peut donner deux réponses différentes.
L'étude a recensé ce qui est connu et ce qui ne l'est pas. Pour certaines questions, la réponse est "pas encore" : le savoir est aussi précieux que le contraire, car cela indique à quels outils se fier aujourd'hui, et pour quoi.
Il programma di ricerca analizza le potenzialità degli strumenti automatici basati su Large Language Models (LLM) nell'ambito dell'analisi del software. L'obiettivo è studiare il loro utilizzo in attività come identificazione di vulnerabilità, analisi statica e dinamica, reverse engineering e tecniche di offuscamento del codice. Il progetto esaminerà criticamente sia la ricerca accademica sia le soluzioni industriali, valutandone efficacia, limiti e applicazioni pratiche. Saranno inoltre analizzati i risultati ottenuti nei lavori esistenti, evidenziando successi, criticità e sfide aperte. Una parte importante dello studio riguarderà il prompt engineering e l'impatto delle diverse formulazioni delle richieste sulla qualità e affidabilità degli output generati dagli LLM. Infine, la ricerca individuerà le principali prospettive future per l'impiego degli LLM nell'analisi del software.
Résumé original en italien — fiche de projet, Département d'Informatique, Université de Vérone - Responsable scientifique
- Mila Dalla Preda — Professeure titulaire
- Participant
- Fausto Spoto — Maître de conférences
- Département
- Informatique, Université de Vérone
- Organisme de financement
- Colibryx S.r.l.
- Financement
- Attribué et géré par le Département
- Début
- 7 mai 2026
- Durée
- 2 mois
- Domaine de recherche
- Sécurité informatique — Software and application security
Le même soin que nous apportons ici, nous l'apportons à votre projet.
Dites-nous ce que vous devez résoudre. Nous vous disons ce qu'il faut — et ce qu'il ne faut pas.
Nous vous répondons dans les 2 heures ouvrables.