Bei Colibryx hört die Forschung und Entwicklung nie auf.
Wir arbeiten seit 2023 mit den Professoren des Instituts für Informatik der Universität Verona zusammen. Wissenschaftliche Publikationen, Forschungsprojekte, Technologien, die geprüft werden, bevor sie in der Software eines Kunden landen.
Software verbessert sich, wenn jemand sie studiert.
Jedes Werkzeug, das wir täglich nutzen — ein Compiler, ein statischer Analysator, ein Sprachmodell — entstand Jahre vor seinem Einsatz im Unternehmen in einem universitären Institut.
Deshalb arbeiten wir mit den Professoren des Instituts für Informatik der Universität Verona zusammen. Wir tauschen uns über neue Themen aus, verfolgen ihre Arbeit und verstehen gemeinsam,
So bleiben wir wirklich auf dem Laufenden. Ein Unternehmen misst, was heute funktioniert. Eine Forschungsgruppe versteht, warum es funktioniert und wie lange noch.
Institut für Informatik, Universität Verona.
Die Professoren, mit denen wir zusammenarbeiten, lehren und forschen am Institut für Informatik der Universität Verona im Bereich der Natur- und Ingenieurwissenschaften. Ihre Fachgebiete — Softwaresicherheit, formale Verifikation, Programmanalyse — sind das Terrain, auf dem entschieden wird, ob ein System hält oder bricht.
- Mila Dalla PredaOrdentliche ProfessorinUniversität Verona
- Fausto SpotoAußerordentlicher ProfessorUniversität Verona
Eine Zusammenarbeit, die seit 2023 besteht.
- 2023
Veröffentlichung Exploring NFT Validation through Digital Watermarking
Wie man beweist, dass ein NFT authentisch ist, wenn jeder das Bild kopieren und es zuerst prägen kann. Präsentiert auf der ARES 2023, einer internationalen Konferenz über Systemsicherheit und -zuverlässigkeit.
Der NFT-Markt wurde mit Kopien überschwemmt: Wer zuerst prägt, wird als Eigentümer ausgewiesen, auch wenn das Werk jemand anderem gehört. Das Paper schlägt vor, die Authentizität nicht an die Geschwindigkeit der Prägung zu binden, sondern an eine versteckte Signatur im digitalen Objekt, die nur der Marktplatz extrahieren und verifizieren kann.
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.
Original-Abstract auf Englisch — ACM Digital Library - Autoren
- Mila Dalla Preda (Università di Verona) · Francesco Masaia (Vero4Chain srl)
- Konferenz
- ARES 2023 — 18th International Conference on Availability, Reliability and Security
- Ort und Datum
- Benevento, 29. August – 1. September 2023
- Herausgeber
- ACM · 6 Seiten
- DOI
- 10.1145/3600160.3605063
- Schlüsselwörter
- digital watermarking, non-fungible token, blockchain
Francesco Masaia, Mitautor des Papers, ist Gesellschafter von Colibryx.
- 2024
Von der Forschung zur Produktion Der Pricing-Algorithmus von Noleggiare
Über 50 Fahrzeugklassen, variable Laufzeiten, Saisonalität. Das mathematische Modell entstand aus der Zusammenarbeit mit der Universität Verona; wir haben es in ein System verwandelt, das das Team täglich nutzt.
Den Preis für eine Miete zu berechnen, bedeutet nicht, die Tage mit einem Tarif zu multiplizieren: Er hängt von der Fahrzeugklasse, der Mietdauer, der Jahreszeit und der Auslastung der Flotte ab. Es wurde ein Modell benötigt, keine Tabellenkalkulation.
Das Modell entstand aus der Zusammenarbeit zwischen Noleggiare und der Universität Verona. Wir haben es in Produktion gebracht: Konfiguration der Variablen, Simulator zur Überprüfung der Ergebnisse vor der Anwendung, Synchronisation mit den Unternehmenssystemen.
- Kunde
- Noleggiare
- Jahr
- 2024
- Dauer
- 6 Monate
- Branche
- Automotive
- 2026
Forschungsprojekt Studio delle potenzialità dell'utilizzo di strumenti LLM nell'analisi del software
LLMs können Code lesen. Aber können sie auch Schwachstellen finden? Das Institut hat Literatur und Industriewerkzeuge durchforstet, um zu verstehen, was wirklich funktioniert und was nicht.
Sprachmodellbasierte Tools versprechen, den Code an unserer Stelle zu lesen: Schwachstellen zu finden, die Logik eines Systems zu rekonstruieren, das niemand mehr dokumentiert, obskuren Code zu erkennen. Es ist ein enormes Versprechen und betrifft genau die Arbeit, die wir leisten.
Der Punkt ist, dass ein Versprechen keine Messung ist. Es war wichtig zu wissen, was die Literatur wirklich aussagt, wie sich Industriewerkzeuge verhalten und wie stark die Formulierung der Frage ins Gewicht fällt – denn bei diesen Modellen kann dieselbe Anfrage, die auf zwei verschiedene Arten geschrieben wurde, zwei unterschiedliche Antworten liefern.
Die Studie hat zusammengetragen, was bekannt ist und was nicht. Bei einigen Fragen lautet die Antwort "noch nicht": Das zu wissen ist genauso wertvoll wie das Gegenteil, denn es zeigt, welchen Tools man heute vertrauen kann und wofür.
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.
Originaler Abstract auf Italienisch — Projektübersicht, Institut für Informatik, Universität Verona - Wissenschaftliche Leiterin
- Mila Dalla Preda — Ordentliche Professorin
- Teilnehmer
- Fausto Spoto — Außerordentlicher Professor
- Abteilung
- Informatik, Universität Verona
- Förderinstitution
- Colibryx S.r.l.
- Finanzierung
- Zugewiesen und verwaltet vom Institut
- Start
- 7. Mai 2026
- Dauer
- 2 Monate
- Forschungsbereich
- IT-Sicherheit — Software and application security
Die gleiche Sorgfalt, die wir hier anwenden, wenden wir in Ihrem Projekt an.
Erzähl uns, was du lösen musst. Wir sagen dir, was nötig ist – und was nicht.
Wir antworten Ihnen innerhalb von 2 Arbeitsstunden.