JFlow was an extension to the Java programming language which allowed control of the flow of information.
It was conceived and implemented by Andrew Myers during his PhD at MIT.
The implementation of JFlow is known as Jif. The Jif project seems to have started around 2001, and was still active on GitHub until 2022 (the time of writing).
Myers, Andrew C. 1999. ‘JFlow: Practical Mostly-Static Information Flow Control’. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 228–41. New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/292540.292561. [pdf]
@inproceedings{myers_1999,
address = {New York, NY, USA},
title = {{JFlow}: {Practical} {Mostly}-{Static} {Information} {Flow} {Control}},
doi = {10.1145/292540.292561},
booktitle = {Proceedings of the 26th {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages}},
publisher = {Association for Computing Machinery},
author = {Myers, Andrew C.},
year = {1999},
pages = {228--241}
}
There is an official MIT website for research on information flow control, which seems to have been last updated around 2001.
Andrew Myers' thesis appeared as MIT Technical Report MIT-LCS-TR-783. According to the MIT website above it won the George M. Sprowls Award for best Ph.D. thesis in the MIT EECS Department.
Many bibliographic references to work relating to JFlow and Jif appear on the Jif website, with the most recent publication (at the time of writing) being in 2021.