"Put A Type On It: Idris Type Providers for AWS Resources" by Susan Potter
Analysts investigate attack surfaces and defenses concerning "Put A Type On It: Idris Type Providers for AWS Resources" by Susan Potter.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Black Hat USA·32 min
Yakir Kadkoda · Michael Katchinskiy · Ofek Itach
Presenters detail vulnerability discovery and exploitation in Breaching AWS Accounts Through Shadow Resources.
awsbreachingaccount+2
Strange Loop Conference·40 min
Analysts investigate attack surfaces and defenses concerning "Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013).
scalaidridependent+2
Strange Loop Conference·41 min
Security researchers examine technical aspects of "Idris: Practical Dependent Types with Practical Examples" by Brian McKenna.
idripracticaldependent+3