Description: brucon 2011 - Certified programming with dependent types Because the future of defense is liberal application of math
Dependent types expand the concept of types in programming languages by arbitrary predicates depending on the value of the type. This lecture will introduce the necessary fundamentals using code examples, and show how dependent types can be used to develop formally verified and thus more secure code.
Andreas Bogk has been a member of the Chaos Computer Club for more than two decades, and has served the Club as member of the board, CEO and press speaker. He got involved in compiler and language theory after realizing that strict language semantics are the only way to eliminate classes of bugs like buffer overflows completely. He is making a living doing regular boring IT security consulting, but has been known to work for compiler manufacturers too.
Tags: securitytube , Brucon-2011 , Bru con , hacking , hackers , information security , convention , computer security , Brucon 11 , Brucon , Brucon 2011 ,
Disclaimer: We are a infosec video aggregator and this video is linked from an external website. The original author may be different from the user re-posting/linking it here. Please do not assume the authors to be same without verifying.