This is from the team behind a bunch of information-flow security projects. A few of them from languages to secure voting are under the contributors list here:
The idea is you design a language with support for annotations that describe how information is supposed to flow in the system in terms of confidentiality or integrity. The tools check your code against that. They also might compile to equivalent code in other languages that preserve the properties. Their web stacks compile JIF down to JavaScript and Java with automatic splitting based on security & performance needs. Fabric takes it further for distributed computing in general where data or code can be moved around plus strong consistency and high-availability. Its design needs more attention for review or improvements than it’s currently getting.
This is from the team behind a bunch of information-flow security projects. A few of them from languages to secure voting are under the contributors list here:
https://www.cs.cornell.edu/jif/
The idea is you design a language with support for annotations that describe how information is supposed to flow in the system in terms of confidentiality or integrity. The tools check your code against that. They also might compile to equivalent code in other languages that preserve the properties. Their web stacks compile JIF down to JavaScript and Java with automatic splitting based on security & performance needs. Fabric takes it further for distributed computing in general where data or code can be moved around plus strong consistency and high-availability. Its design needs more attention for review or improvements than it’s currently getting.