Connecting...

W1siziisimnvbxbpbgvkx3rozw1lx2fzc2v0cy9zawduawz5lxrly2hub2xvz3kvanbnl2jhbm5lci1kzwzhdwx0lmpwzyjdxq

Security with Scala Refined Types and Object Capabilities by Will Sargent

W1siziisijiwmtkvmdevmtavmtavmzavntgvmtiwl3nly3vyaxr5lxbyb3rly3rpb24tyw50as12axj1cy1zb2z0d2fyzs02mduwnc5qcgvnil0swyjwiiwidgh1bwiilci5mdb4otawxhuwmdnlil1d

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.