În Colibryx, cercetarea și dezvoltarea nu se opresc niciodată.
Colaborăm cu profesorii de la Departamentul de Informatică al Universității din Verona din 2023. Publicații științifice, proiecte de cercetare, tehnologii testate înainte de a ajunge în software-ul unui client.
Software-ul se îmbunătățește dacă cineva îl studiază.
Fiecare instrument pe care îl folosim zilnic — un compilator, un analizor static, un model lingvistic — a apărut într-un departament universitar cu ani înainte de a ajunge într-o companie.
Din acest motiv, colaborăm cu profesorii de la Departamentul de Informatică al Universității din Verona. Discutăm despre temele emergente, urmărim lucrările pe care le desfășoară, înțelegem împreună
Așa rămânem cu adevărat la curent. O companie măsoară ce funcționează astăzi. Un grup de cercetare înțelege de ce funcționează și pentru cât timp încă.
Departamentul de Informatică, Universitatea din Verona.
Profesorii cu care colaborăm predau și fac cercetare la Departamentul de Informatică al Universității din Verona, în domeniul Științe și Inginerie. Domeniile lor — securitatea software-ului, verificarea formală, analiza programelor — sunt terenul pe care se decide dacă un sistem rezistă sau cedează.
- Mila Dalla PredaProfesoară universitară titularăUniversitatea din Verona
- Fausto SpotoConferențiar universitarUniversitatea din Verona
O colaborare care durează din 2023.
- 2023
Publicație Exploring NFT Validation through Digital Watermarking
Cum se demonstrează că un NFT este autentic, atunci când oricine poate copia imaginea și o poate conia primul. Prezentat la ARES 2023, conferință internațională despre securitatea și fiabilitatea sistemelor.
Piața NFT-urilor s-a umplut de copii: cel care coniază primul devine proprietar, chiar și atunci când opera aparține altcuiva. Lucrarea propune legarea autenticității nu de viteza de coniere, ci de o semnătură ascunsă în interiorul obiectului digital pe care doar marketplace-ul o poate extrage și verifica.
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 în engleză — ACM Digital Library - Autori
- Mila Dalla Preda (Università di Verona) · Francesco Masaia (Vero4Chain srl)
- Conferință
- ARES 2023 — 18th International Conference on Availability, Reliability and Security
- Loc și dată
- Benevento, 29 august – 1 septembrie 2023
- Editor
- ACM · 6 pagini
- DOI
- 10.1145/3600160.3605063
- Cuvinte cheie
- digital watermarking, non-fungible token, blockchain
Francesco Masaia, coautor al lucrării, este asociat al Colibryx.
- 2024
De la cercetare la producție Algoritmul de pricing al Noleggiare
Peste 50 de clase de vehicule, durate variabile, sezonalitate. Modelul matematic a luat naștere din colaborarea cu Universitatea din Verona; noi l-am transformat într-un sistem pe care echipa îl utilizează zilnic.
Calcularea prețului unei închirieri nu înseamnă înmulțirea zilelor cu un tarif: depinde de clasa vehiculului, de durată, de perioada anului și de cât de ocupată este flota. Era nevoie de un model, nu de o foaie de calcul.
Modelul a luat naștere din colaborarea dintre Noleggiare și Universitatea din Verona. Noi l-am implementat în producție: configurarea variabilelor, simulator pentru a verifica rezultatele înainte de a le aplica, sincronizare cu sistemele companiei.
- Client
- Noleggiare
- An
- 2024
- Durată
- 6 luni
- Sector
- Automotive
- 2026
Proiect de cercetare Studio delle potenzialità dell'utilizzo di strumenti LLM nell'analisi del software
Modelele lingvistice mari (LLM) știu să citească codul. Dar știu să găsească vulnerabilități în el? Departamentul a analizat literatura de specialitate și instrumentele industriale pentru a înțelege ce funcționează cu adevărat și ce nu.
Instrumentele bazate pe modele lingvistice promit să citească codul în locul nostru: să găsească vulnerabilități, să reconstruiască logica unui sistem pe care nimeni nu-l mai documentează, să recunoască codul ofuscat. Este o promisiune enormă și se referă exact la munca pe care o facem.
Punctul este că o promisiune nu este o măsură. Era important să știm ce spune cu adevărat literatura de specialitate, cum se comportă instrumentele industriale și cât de mult contează modul în care este formulată întrebarea — deoarece, cu aceste modele, aceeași cerere scrisă în două moduri diferite poate da două răspunsuri diferite.
Studiul a pus în ordine ceea ce se știe și ceea ce nu se știe. La unele întrebări răspunsul este "nu încă": a ști asta valorează la fel de mult ca opusul, pentru că spune în ce instrumente să ai încredere astăzi și pentru ce.
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.
Rezumat original în italiană — fișă de proiect, Departamentul de Informatică, Universitatea din Verona - Coordonatoare științifică
- Mila Dalla Preda — Profesoară universitară titulară
- Participant
- Fausto Spoto — Conferențiar universitar
- Departament
- Informatică, Universitatea din Verona
- Organism finanțator
- Colibryx S.r.l.
- Finanțare
- Alocat și gestionat de Departament
- Început
- 7 mai 2026
- Durată
- 2 luni
- Domeniu de cercetare
- Securitate informatică — Software and application security
Aceeași grijă pe care o depunem aici, o depunem și în proiectul tău.
Spune-ne ce trebuie să rezolvi. Îți spunem ce este necesar — și ce nu.
Îți răspundem în termen de 2 ore lucrătoare.