En Colibryx la investigación y desarrollo nunca se detiene.
Colaboramos con los profesores del Departamento de Informática de la Universidad de Verona desde 2023. Publicaciones científicas, proyectos de investigación, tecnologías puestas a prueba antes de que lleguen al software de un cliente.
El software mejora si alguien lo estudia.
Cada herramienta que usamos a diario —un compilador, un analizador estático, un modelo lingüístico— nació en un departamento universitario años antes de llegar a una empresa.
Por eso trabajamos con los profesores del Departamento de Informática de la Universidad de Verona. Discutimos los temas que están surgiendo, seguimos los trabajos que llevan a cabo, entendemos juntos
Así es como nos mantenemos realmente actualizados. Una empresa mide lo que funciona hoy. Un grupo de investigación entiende por qué funciona, y por cuánto tiempo más.
Departamento de Informática, Universidad de Verona.
Los profesores con los que colaboramos enseñan e investigan en el Departamento de Informática de la Universidad de Verona, en el área de Ciencias e Ingeniería. Sus campos —seguridad del software, verificación formal, análisis de programas— son el terreno en el que se decide si un sistema funciona o falla.
- Mila Dalla PredaCatedráticaUniversidad de Verona
- Fausto SpotoProfesor titularUniversidad de Verona
Una colaboración que dura desde 2023.
- 2023
Publicación Exploring NFT Validation through Digital Watermarking
Cómo demostrar que un NFT es auténtico, cuando cualquiera puede copiar la imagen y acuñarla primero. Presentado en ARES 2023, conferencia internacional sobre seguridad y fiabilidad de los sistemas.
El mercado de los NFT se ha llenado de copias: quien acuña primero es el propietario, incluso cuando la obra es de otra persona. El artículo propone vincular la autenticidad no a la velocidad de acuñación, sino a una firma oculta dentro del objeto digital que solo el marketplace puede extraer y verificar.
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 inglés — ACM Digital Library - Autores
- Mila Dalla Preda (Università di Verona) · Francesco Masaia (Vero4Chain srl)
- Conferencia
- ARES 2023 — 18th International Conference on Availability, Reliability and Security
- Lugar y fecha
- Benevento, 29 de agosto – 1 de septiembre de 2023
- Editorial
- ACM · 6 páginas
- DOI
- 10.1145/3600160.3605063
- Palabras clave
- digital watermarking, non-fungible token, blockchain
Francesco Masaia, coautor del artículo, es socio de Colibryx.
- 2024
De la investigación a la producción El algoritmo de fijación de precios de Noleggiare
Más de 50 clases de vehículos, duraciones variables, estacionalidad. El modelo matemático surge del trabajo con la Universidad de Verona; nosotros lo hemos transformado en un sistema que el equipo usa cada día.
Calcular el precio de un alquiler no es multiplicar los días por una tarifa: depende de la clase del vehículo, de la duración, del período del año y de la ocupación de la flota. Se necesitaba un modelo, no una hoja de cálculo.
El modelo surgió de la colaboración entre Noleggiare y la Universidad de Verona. Nosotros lo hemos llevado a producción: configuración de las variables, simulador para verificar los resultados antes de aplicarlos, sincronización con los sistemas empresariales.
- Cliente
- Noleggiare
- Año
- 2024
- Duración
- 6 meses
- Sector
- Automoción
- 2026
Proyecto de investigación Studio delle potenzialità dell'utilizzo di strumenti LLM nell'analisi del software
Los LLM saben leer código. ¿Pero saben encontrar vulnerabilidades? El Departamento ha revisado literatura y herramientas industriales para entender qué funciona realmente y qué no.
Las herramientas basadas en modelos lingüísticos prometen leer el código por nosotros: encontrar vulnerabilidades, reconstruir la lógica de un sistema que ya nadie documenta, reconocer código ofuscado. Es una promesa enorme, y concierne exactamente el trabajo que hacemos.
El punto es que una promesa no es una medida. Importaba saber qué dice realmente la literatura, cómo se comportan las herramientas industriales, y cuánto influye la forma en que se formula la pregunta — porque con estos modelos la misma solicitud escrita de dos maneras diferentes puede dar dos respuestas diferentes.
El estudio ha ordenado lo que se sabe y lo que no se sabe. Para algunas preguntas la respuesta es "todavía no": saberlo vale tanto como lo contrario, porque dice en qué herramientas confiar hoy, y para qué.
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.
Resumen original en italiano — ficha de proyecto, Departamento de Informática, Universidad de Verona - Responsable científica
- Mila Dalla Preda — Catedrática
- Participante
- Fausto Spoto — Profesor titular
- Departamento
- Informática, Universidad de Verona
- Entidad financiadora
- Colibryx S.r.l.
- Financiación
- Asignado y gestionado por el Departamento
- Inicio
- 7 de mayo de 2026
- Duración
- 2 meses
- Área de investigación
- Seguridad informática — Software and application security
El mismo cuidado que ponemos aquí, lo ponemos en tu proyecto.
Cuéntanos qué necesitas resolver. Te decimos qué se necesita — y qué no.
Te responderemos en un plazo de 2 horas laborables.