Privacy, Data Privacy, Cloud Computing, Programming, Data Security.
(“composability” proofs usually need to be derived and examined). From an academic perspective, this gives us great scope to find new overlooked settings and offer novel schemes to address them. However, from the perspective of creating standards and general purpose tooling, it becomes tricky.