<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Automated reasoning &#8211; Noise</title>
	<atom:link href="https://noise.getoto.net/tag/automated-reasoning/feed/" rel="self" type="application/rss+xml" />
	<link>https://noise.getoto.net</link>
	<description>The collective thoughts of the interwebz</description>
	<lastBuildDate>Mon, 27 Nov 2023 14:00:04 +0000</lastBuildDate>
	<language>en-US</language>
	<sy:updatePeriod>
	hourly	</sy:updatePeriod>
	<sy:updateFrequency>
	1	</sy:updateFrequency>
	<generator>https://wordpress.org/?v=6.8.2</generator>
	<item>
		<title>Introducing IAM Access Analyzer custom policy checks</title>
		<link>https://noise.getoto.net/2023/11/27/introducing-iam-access-analyzer-custom-policy-checks/</link>
		
		<dc:creator><![CDATA[Mitch Beaumont]]></dc:creator>
		<pubDate>Mon, 27 Nov 2023 14:00:04 +0000</pubDate>
				<category><![CDATA[Advanced (300)]]></category>
		<category><![CDATA[announcements]]></category>
		<category><![CDATA[Automated reasoning]]></category>
		<category><![CDATA[AWS IAM]]></category>
		<category><![CDATA[AWS Identity and Access Management]]></category>
		<category><![CDATA[AWS Identity and Access Management (IAM)]]></category>
		<category><![CDATA[devops]]></category>
		<category><![CDATA[DevSecOps]]></category>
		<category><![CDATA[IAM]]></category>
		<category><![CDATA[IAM Access Analyzer]]></category>
		<category><![CDATA[IAM policies]]></category>
		<category><![CDATA[Identity and Access Management]]></category>
		<category><![CDATA[Security Blog]]></category>
		<category><![CDATA[Security, Identity & Compliance]]></category>
		<category><![CDATA[Technical How-to]]></category>
		<guid isPermaLink="false">http://noise.getoto.net/?guid=54c32ffaf84455d5492a7febba6ffcf3</guid>

					<description><![CDATA[AWS Identity and Access Management (IAM) Access Analyzer was launched in late 2019. Access Analyzer guides customers toward least-privilege permissions across Amazon Web Services (AWS) by using analysis techniques, such as automated reasoning, to make it simpler for customers to set, verify, and refine IAM permissions. Today, we are excited to announce the general availability […]]]></description>
		
		
		<enclosure url="" length="0" type="" />

			</item>
		<item>
		<title>How we designed Cedar to be intuitive to use, fast, and safe</title>
		<link>https://noise.getoto.net/2023/08/21/how-we-designed-cedar-to-be-intuitive-to-use-fast-and-safe/</link>
		
		<dc:creator><![CDATA[Emina Torlak]]></dc:creator>
		<pubDate>Mon, 21 Aug 2023 20:33:10 +0000</pubDate>
				<category><![CDATA[Advanced (300)]]></category>
		<category><![CDATA[Amazon Verified Access]]></category>
		<category><![CDATA[Amazon Verified Permissions]]></category>
		<category><![CDATA[Automated reasoning]]></category>
		<category><![CDATA[open source]]></category>
		<category><![CDATA[Security Blog]]></category>
		<category><![CDATA[Security, Identity & Compliance]]></category>
		<category><![CDATA[Technical How-to]]></category>
		<guid isPermaLink="false">http://noise.getoto.net/?guid=3b5e24e994ab575e445dc0643d6bb8d9</guid>

					<description><![CDATA[This post is a deep dive into the design of Cedar, an open source language for writing and evaluating authorization policies. Using Cedar, you can control access to your application’s resources in a modular and reusable way. You write Cedar policies that express your application’s permissions, and the application uses Cedar’s authorization engine to decide which […]]]></description>
		
		
		<enclosure url="" length="0" type="" />

			</item>
		<item>
		<title>Resource leak detection in Amazon CodeGuru Reviewer</title>
		<link>https://noise.getoto.net/2021/01/14/resource-leak-detection-in-amazon-codeguru-reviewer/</link>
		
		<dc:creator><![CDATA[Pranav Garg]]></dc:creator>
		<pubDate>Wed, 13 Jan 2021 22:44:07 +0000</pubDate>
				<category><![CDATA[Amazon CodeGuru]]></category>
		<category><![CDATA[artificial intelligence]]></category>
		<category><![CDATA[Automated reasoning]]></category>
		<category><![CDATA[Developer Tools]]></category>
		<category><![CDATA[Intermediate (200)]]></category>
		<category><![CDATA[java]]></category>
		<category><![CDATA[machine learning]]></category>
		<category><![CDATA[Static Code Analysis]]></category>
		<category><![CDATA[Technical How-to]]></category>
		<guid isPermaLink="false">http://noise.getoto.net/?guid=b68227723600c1f7e363563955f1f6cd</guid>

					<description><![CDATA[The resource leak detector in CodeGuru Reviewer combines static code analysis algorithms with machine learning to surface only the high confidence leaks. It has a high developer acceptance rate and has alerted developers within Amazon to thousands of leaks before those leaks hit production.]]></description>
		
		
		<enclosure url="" length="0" type="" />

			</item>
		<item>
		<title>New! Streamline existing IAM Access Analyzer findings using archive rules</title>
		<link>https://noise.getoto.net/2020/10/28/new-streamline-existing-iam-access-analyzer-findings-using-archive-rules/</link>
		
		<dc:creator><![CDATA[Andrea Nedic]]></dc:creator>
		<pubDate>Wed, 28 Oct 2020 18:13:32 +0000</pubDate>
				<category><![CDATA[Access management]]></category>
		<category><![CDATA[Automated reasoning]]></category>
		<category><![CDATA[AWS IAM]]></category>
		<category><![CDATA[AWS IAM Access Analyzer]]></category>
		<category><![CDATA[AWS Identity and Access Management (IAM)]]></category>
		<category><![CDATA[IAM Access Analyzer]]></category>
		<category><![CDATA[Intermediate (200)]]></category>
		<category><![CDATA[least privilege]]></category>
		<category><![CDATA[Security Blog]]></category>
		<category><![CDATA[Security, Identity & Compliance]]></category>
		<guid isPermaLink="false">http://noise.getoto.net/?guid=6c57cc8004d5ce04fc93d03d69005019</guid>

					<description><![CDATA[AWS Identity and Access Management (IAM) Access Analyzer generates comprehensive findings to help you identify resources that grant public and cross-account access. Now, you can also apply archive rules to existing findings, so you can better manage findings and focus on the findings that need your attention most. You can think of archive rules as [&#8230;]]]></description>
		
		
		<enclosure url="" length="0" type="" />

			</item>
		<item>
		<title>How to automatically archive expected IAM Access Analyzer findings</title>
		<link>https://noise.getoto.net/2020/10/12/how-to-automatically-archive-expected-iam-access-analyzer-findings/</link>
		
		<dc:creator><![CDATA[Josh Joy]]></dc:creator>
		<pubDate>Mon, 12 Oct 2020 17:04:22 +0000</pubDate>
				<category><![CDATA[Automated reasoning]]></category>
		<category><![CDATA[AWS IAM Access Analyzer]]></category>
		<category><![CDATA[AWS Identity and Access Management]]></category>
		<category><![CDATA[AWS Identity and Access Management (IAM)]]></category>
		<category><![CDATA[IAM Access Analyzer]]></category>
		<category><![CDATA[Intermediate (200)]]></category>
		<category><![CDATA[Security Blog]]></category>
		<category><![CDATA[Security, Identity & Compliance]]></category>
		<category><![CDATA[Zelkova]]></category>
		<guid isPermaLink="false">http://noise.getoto.net/?guid=f10efb4fe41e2e741a8c3db44d98eede</guid>

					<description><![CDATA[AWS Identity and Access Management (IAM) Access Analyzer continuously monitors your Amazon Web Services (AWS) resource-based policies for changes in order to identify resources that grant public or cross-account access from outside your AWS account or organization. Access Analyzer findings include detailed information that you can use to make an informed decision about whether access [&#8230;]]]></description>
		
		
		<enclosure url="" length="0" type="" />

			</item>
	</channel>
</rss>

<!--
Performance optimized by W3 Total Cache. Learn more: https://www.boldgrid.com/w3-total-cache/

Object Caching 36/165 objects using Memcached
Page Caching using Disk: Enhanced 
Lazy Loading (feed)
Database Caching using Memcached

Served from: noise.getoto.net @ 2025-12-09 16:35:07 by W3 Total Cache
-->