Security with Scala Refined Types and Object Capabilities by Will Sargent