Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
Articles by Nathan Chong
EC2’s formally verified “isolation engine” provides mathematical assurance of virtual-machine isolation
Today we announced the general availability of the new M9g and M9gd instances of Amazon Web Services’ (AWS’s) Elastic Compute Cloud (EC2), the first instance types powered by Graviton5, the latest generation of our general-purpose CPU. Graviton5 doubles the number of cores from the previous generation, from 96 to 192. They’re also the first instance types to use the new Nitro Isolation Engine, a component of the Nitro Hypervisor whose sole job is isolating virtual machines (VMs) from each other.
Automated reasoning lightning talks
The 32nd International Conference on Computer-Aided Verification (CAV) is dedicated to the advancement of the theory and practice of computer-aided formal analysis methods for hardware and software systems. During the all-virtual event, Amazon scientists Neha Rungta, Jim Christy, Lee Pike, Nathan Chong, Byron Cook, and Daniel Kroening hosted a lightning talk session, focused on how verification methods are being applied across Amazon.
Amazon Device Security and Privacy call for proposals - fall 2021
About this CFP Amazon Devices & Services is committed to offering the highest levels of security and privacy to customers from edge to cloud. Our security and privacy services use state-of-the-art machine learning and automated reasoning techniques in order to improve the trustworthiness of our service offerings for both the edge devices and the cloud. Our north star is to provide a higher assurance in terms of security and privacy from edge devices to cloud services.
AWS Automated Reasoning call for proposals - fall 2021
About this CFP AWS is committed to helping you achieve the highest levels of security, availability, and robustness in the cloud. Using automated reasoning technology, the application of mathematical logic to help answer critical questions about your infrastructure, AWS is able to detect previously missed misconfigurations, or show their absence, and to prove that protocols and programs work as intended.
FESTIVAL HIGHLIGHTS: KAAZE - Triplet (Instrumental Mix)
FESTIVAL HIGHLIGHTS: KAAZE – Triplet (Instrumental Mix) Revealed Music Video May 26, 2020 | 22 KAAZE – Triplet (Instrumental Mix) is OUT NOW! Stream/ download 👉 https://rvld.dj/KAAZE-TRIPLET Preparing to set off the summer months in fine fashion, KAAZE drops his next Revealed track in the form of ‘Triplet’. Premiered by Hardwell at Ultra Music Festival in Miami as one of the highlights in his set, the track signals a summer anthem ready for the fast approaching festival season.
Show More
loading
Actions
Is this you?
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.Get in touch with Nathan
Contact Nathan, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack