Linking pages
Linked pages
- Meltdown and Spectre https://spectreattack.com/ 583 comments
- MDS Attacks: Microarchitectural Data Sampling https://mdsattacks.com/#ridl-nng 535 comments
- GitHub - microsoft/checkedc: Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code. https://github.com/Microsoft/checkedc 518 comments
- ZombieLoad Attack https://zombieloadattack.com/ 420 comments
- Project Zero: Exploiting the DRAM rowhammer bug to gain kernel privileges http://googleprojectzero.blogspot.com/2015/03/exploiting-dram-rowhammer-bug-to-gain.html 282 comments
- Meltdown and Spectre https://meltdownattack.com/ 127 comments
- P1705R0: Enumerating Core Undefined Behavior http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1705r0.html 47 comments
- [1802.09517] Memory Tagging and how it improves C/C++ memory safety https://arxiv.org/abs/1802.09517 36 comments
- Department of Computer Science and Technology: Capability Hardware Enhanced RISC Instructions (CHERI) https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ 27 comments
- SMoTherSpectre: transient execution attacks through port contention http://nebelwelt.net/blog/20190306-SMoTherSpectre.html 9 comments
- What is memory safety? - The PL Enthusiast http://www.pl-enthusiast.net/2014/07/21/memory-safety/ 8 comments
- http://crypto.stanford.edu/~dabo/papers/ssl-timing.pdf 7 comments
- Intel® Software Guard Extensions https://software.intel.com/en-us/sgx 5 comments
- Control-Flow Integrity: An Introduction https://nebelwelt.net/blog/20160913-ControlFlowIntegrity.html 1 comment
- ERC SECOMP - Efficient Formally Secure Compilation to a Tagged Architecture https://secure-compilation.github.io/ 1 comment
- GitHub - FStarLang/FStar: A Proof-oriented Programming Language https://github.com/FStarLang/FStar 1 comment
- Sancus: Lightweight and Open-Source Trusted Computing for the IoT https://distrinet.cs.kuleuven.be/software/sancus/ 0 comments
- Address space layout randomization - Wikipedia https://en.wikipedia.org/wiki/Address_space_layout_randomization 0 comments
- BlueHat IL 2019 - Matt Miller -Trends, Challenges, and Strategic Shifts - YouTube https://www.youtube.com/watch?v=PjbGojjnBZQ 0 comments
- http://acg.cis.upenn.edu/papers/asplos08_hardbound.pdf 0 comments
Related searches:
Search whole site: site:blog.sigplan.org
Search title: Secure Compilation | SIGPLAN Blog
See how to search.