Tech firms are working to fix two major bugs in computer chips that might enable hackers to steal delicate information. The late John C. Reynolds is considered one of a gaggle of scientists awarded the 2016 Laptop-Aided Verification (CAV) Award for pioneering work on separation logic, an influential framework for reasoning about laptop programs and a really active area of analysis.
Other customers have to wait for his or her device manufacturers to release a appropriate safety replace. In keeping with a weblog submit revealed yesterday, the core group of Linux kernel development has prepared a crucial kernel replace without releasing much details about the vulnerability.
Each attacks abuse ‘speculative execution’ to entry privileged memory—together with these allotted for the kernel—from a low privileged user course of like a malicious app operating on a device, permitting attackers to steal passwords, login keys, and other helpful data.