Skip to content

An event scheduler that uses the Flowframe compiler plugin to enforce compile-time safety.

Notifications You must be signed in to change notification settings

aakash-mishra/safe-scheduler

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

20 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Safe Scheduler

Safe scheduler is a simple event scheduler that finds the most suitable time for two (or more) people to meet depending on their availability.
It uses Flowframe, which is a Scala compiler plugin that performs fine-grained information flow analysis on code to detect privacy violations. To do this, FlowFrame enforces information flow control policies in Scala Spark applications, specified by @Policy annotations that specify purpose limitations. Refer to the Flowframe documentation to learn more.

Safe scheduler uses policies to ensure that only relevant information (like invitees, start and end time of their respective events, etc) is accessible when finding a suitable meeting time - as opposed to event details which is irrelevant (and potentially confidential) in the context.

About

An event scheduler that uses the Flowframe compiler plugin to enforce compile-time safety.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages