jgf / crypto-client-ifc Goto Github PK
View Code? Open in Web Editor NEWThis project contains the non-interference check for the client server encryption example in the paper "A Framework for the Cryptographic Verification of Java-like Programs" at CSF 2012