Prosa Security (private company)

Prosa Security was established in 2015. We take advantage of 15 years' worth of research from the University of Oslo and the Norwegian Computing Center, as well as tests with large customers.

Prosa Security uses models, methods and software originally developed at the University of Oslo and the Norwegian Computing Center. Our new modeling and analysis tool is based on over a decade of research – we believe it will revolutionize how IT security professionals work and enable substantial improvements in the quality of critical software.

PROSA (PROtocol Specification and Analysis) relies on a unique "term rewriting" modeling and analysis system to identify issues and possible attacks. The proof of concept software has been successfully used in several leading financial companies.