Previous Up Next

3  Software

The SecJ Secure Information Flow Inferencer, developed by my PhD student Qi Sun.

The VERL Verifier for Region Logic developed by my PhD student Stan Rosenberg.

Modeling and Analysis of Mobile Telephony Protocols developed by my PhD student Chunyu Tang.

The JEST JavaScript Information Flow Monitor developed by my PhD student Andrey Chudnov.

Naumann publications          Revision: 1.9 , Date: 2017/09/27 15:07:38
Previous Up Next