La ricerca riguarda sia la creazione di modelli e applicazioni AIS per la sicurezza delle reti di calcolatori, che modelli di utilità per le applicazioni in ambito biologico. Particolare attenzione vien data ad indagare le possibilità offerte (1) dagli algoritmi di codifica algebrica, e (2) dagli algoritmi e protocolli ZK (Zero-Knowledge).