[TYPES/announce] Security Foundations - a new volume of Software Foundations

[Benjamin Pierce]

The Software Foundations <https://softwarefoundations.cis.upenn.edu/ > team
is pleased to announce the release of the 7th volume in the series…

Security Foundations
<https://softwarefoundations.cis.upenn.edu/secf-current/index.html >, 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.

[image: image.jpeg]

All Software Foundations volumes are available electronically, free of
charge.

Share and enjoy!

Benjamin Pierce (Software Foundations series editor),

Catalin Hritcu and Yonghyun Kim
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260107/643764bb/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: image.jpeg
Type: image/jpeg
Size: 122771 bytes
Desc: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260107/643764bb/attachment-0001.jpeg>