Certified programming with dependent types
- Type
- Video
- Tags
- Authors
- Andreas Bogk
- Event
- Chaos Communication Camp 2011
- Indexed on
- Mar 27, 2013
- URL
- http://ftp.ccc.de/events/camp2011/video/cccamp11-4426-certified_programming_with_dependent_types-en.mp4
- File name
- cccamp11-4426-certified_programming_with_dependent_types-en.mp4
- File size
- 440.0 MB
- MD5
- 412d46c1a4c566a446140ea95b36e52e
- SHA1
- 2c3bd296c7922660269b1432a33701eeb42e686a
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 concept and show how it can be used to develop formally verified code. As part of this lecture, a PDF parser written using the described methods will be released. Initial tests show that produces excellent results in distinguishing between legitimate PDFs and those with malicious payloads, with a rejection rate for malicious PDFs exceeding 95%.
About us
Secdocs is a project aimed to index high-quality IT security and hacking documents. These are fetched from multiple data sources: events, conferences and generally from interwebs.
Statistics
Serving 8166 documents and 531.0 GB of hacking knowledge, indexed from 2419 authors from 163 security conferences.
Contribute
To support this site and keep it alive, you can click on the buttons below. Any help is really appreciated! This service is provided for free, but real money is needed to pay bills.
