The Software Foundations team is pleased to announce the release of the 7th volume in the series…
Security Foundations, by Catalin Hritcu and Yonghyun Kim, studies the security of programs by setting clear and rigorous security goals and developing provable enforcement mechanisms. Topics include noninterference, security type systems, secure multi-execution, cryptographic constant time, and speculative load hardening. We plan to continue improving and expanding this volume (e.g. a chapter on Relational Hoare Logic is in progress), so any feedback or other contributions would be much appreciated.
All Software Foundations volumes are available electronically, free of charge.
Share and enjoy!
Benjamin Pierce (Software Foundations series editor),
Catalin Hritcu and Yonghyun Kim