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 Larry Paulson
Isabelle/HOL: The proof assistant behind the Nitro Isolation Engine
At Amazon’s 2025 re:Invent conference, Amazon Web Services (AWS) announced the Nitro Isolation Engine (NIE), a software module tasked with providing resources to AWS clients while ensuring the security of customer data. AWS also announced the formal verification of the isolation engine’s correctness and security guarantees, using a proof assistant called Isabelle/HOL. As the first formally verified cloud hypervisor, NIE sets a new standard for cloud security.
Larry Paulson
Amazon Security is seeking an Applied Scientist to work on GenAI acceleration within the Secure Third Party Tools (S3T) organization. The S3T team has bold ambitions to re-imagine security products that serve Amazon's pace of innovation at our global scale. This role will focus on leveraging large language models and agentic AI to transform third-party security risk management, automate complex vendor assessments, streamline controllership processes, and dramatically reduce assessment cycle times.
Larry Paulson, Energy Vault director, buys $15,726 in NRGV stock
ByInvesting.com Published 03/02/2026, 11:25 AM Larry Paulson, Energy Vault director, buys $15,726 in NRGV stock Director Larry Paulson of (NASDAQ:NRGV) recently purchased 5,000 shares of the company’s common stock at a price of $3.1452 on February 27, 2026. The transaction amounted to $15,726. The purchase comes as the stock has delivered a 121% return over the past year and a 43% gain over the last six months, though shares have declined 35% year-to-date.
Automated Reasoning Call for Proposals — Fall 2023
About this CFP Amazon is committed to helping customers achieve the highest levels of security, availability, and robustness in the cloud. Automated reasoning is the application of mathematical logic to answer questions and prove properties about critical computer systems. Using automated reasoning, Amazon is able to detect previously missed misconfigurations, or show their absence, and to prove that protocols and programs work as intended.
Picture Plymouth
A golden opportunity for a winning photograph. “The photo is composed around the strong diagonal formed by the stepping stones. The stones invite the viewer to cross the creek and continue on toward the sunset. I like how the golden hour light and the slightly skewed stepping stones add warmth and charm to the scene.
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.
AWS Automated Reasoning call for proposals
About this CFP AWS is committed to helping you achieve the highest levels of security 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. We call this provable security that provides higher assurance in security—both of the cloud and in the cloud.
Dictators divide and conquer
Mr. Trump, you are nicer to the people you call the (MOB) and other names that are on your small mind, they are almost taxpayers unlike many in your family and party and you know them very well. They all belong to America and you owe them a lot. The trips you take on Air Force One to play golf or the people in some state how great you are two hours later and call them losers, you could have the wall of China on the Mexico border if you hadn’t – it’s off. Sometimes you’re not as smart as you feel.
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 Larry
Contact Larry, search articles and posts on X, monitor coverage, and track replies from one place.
Learn more about Muck Rack