JRIF

swMATH32195MaRDI QIDQ43906FDOQ43906

Author name not available (Why is that?)

Official website: http://www.cs.cornell.edu/jrif/

Described by source

• JRIF: reactive information flow control for Java

Cited In (9)

• CoCon: a conference management system with formally verified document confidentiality
• ConfiChair
• Paragon
• Jif
• CoSMed
• Ur/Web
• Laminar
• FlowFox
• CoCon

This page was built for software: JRIF