24-11-2012, 11:05 AM
Concurrent programming and security
Abstract
Some of the most subtle security flaws arise due to race conditions in concurrent access to some critical resoure. The time-of-check-time-of-use (TOCTOU for short) vulnerability class is a classic example. Race conditions and other concurrency problems are likely to become more prevalent in distributed computing and the spread of multi-core processors. A PhD could use types and logics for concurrency to address these problems.