JRIF

MaRDI QIDQ43906swMATHFDO

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