Connecting...

Security Protection Anti Virus Software 60504

Security with Scala Refined Types and Object Capabilities by Will Sargent

Security Protection Anti Virus Software 60504

Discover how to use Scala's features to provide strong, type-safe security with type refinement and object capability patterns in this talk from Scala Consultant, Will Sargent at Scala Days New York 2018. Use refinement types and go from "stringly -typed" validation code to "strongly-typed" code. 

 

 
Security with Scala Refined Types and Object Capabilities

A key part of preventing attacks is rejecting invalid input early, and ensuring that users have appropriate access. This talk will discuss how to use Scala's features to provide strong, type-safe security with type refinement and object capability patterns. Using refinement types, we can go from "stringly-typed" validation code to "strongly-typed" code. And with object capabilities, we can provide fine-grained authorization to resources, including modulating access with revocation, per-instance delegation, and ensuring secure transit with sealers/unsealers, with just a few lines of Scala.

 

This talk was given by Will Sargent at Scala Days New York 2018.