Security by Design: A novel approach to building type-safe, modular and efficient IoT solutions
Talk Abstract
1. Current Security Models (security is an aftermath) 2. What is "Security by Design"? 3. Comparison with other IoT solutions (security, memory footprint, etc.) 4. What is a Unikernel? (MirageOS) 5. What is OCaml and its benefits? (static, strongly typed programming language) 6. Use cases: How does it work together? (IoT solutions)
