103
31 Aug 2014
Microcosm of Security
Wolf on Fat Pointers and Andrew on using Swift enums for representing errors.
Links:
- The Turing Frights « Edge Cases
- Object-capability model « Wikipedia
- Cyclone (programming language) « Wikipedia
- Bluespec Extensible RISC Implementation (BERI) « University of Cambridge Computer Laboratory
- Capability Hardware Enhanced RISC Instructions (CHERI) « University of Cambridge Computer Laboratory
- The CHERI capability model: Revisiting RISC in an age of risk (PDF)
- Low-Fat Pointers: Compact Encoding and Efficient Gate-Level Implementation of Fat Pointers for Spatial Safety and Capability-based Security (PDF)
- Intel MPX « Wikipedia
- Skylake (microarchitecture) « Wikipedia
- IntelMemoryProtectionExtensions « AddressSanitizer wiki
- AddressSanitizerInHardware « AddressSanitizer wiki
- Tuple for Your Thoughts? « Edge Cases