Securi-Tay 2017
Abstract
Talk at Securi-Tay 2017 on security, covering static analysis and systems security.
Key points:
- Static analysis for code security
- Security challenges in emerging web technologies
- IoT device security hardening
- Model checking and proof-carrying code
Takeaway: Security must be built into development from the start — static analysis and formal methods can catch vulnerabilities before deployment.
