Il laboratorio REGIS (Research Group in Information Security) e' una struttura di ricerca del Dipartimento di Informatica della facolta' di Scienze MMFFNN dell'Universita' degli Studi di Verona, Italia.
La ricerca svolta all'interno del laboratorio si occupa principalmente dello studio e sviluppo di metodologie formali (basate su modelli matematici precisi) per l'analisi, l'ottimizzazione, la certificazione, la robustezza e la sicurezza di sistemi software complessi, quali protocolli per la sicurezza, web services e architetetture orientate ai servizi.