Neha Rungta's talk on provably secure authorization at AWS re:Inforce 2024 is already available online. Of course, my favorite part was when she said, "we implemented the proofs in a language called Lean." 🥳 https://lnkd.in/g-ZXVAzg #leanlang #leanprover
Leonardo de Moura’s Post
More Relevant Posts
-
AWS Secrets Manager allows users to cycle encryption keys and segregate variables into separate accounts, maintaining the features that Octopus Deploy brings. Get some tips from our team setting it up for yours! https://lnkd.in/gTCXKpMh #AWSSecretsManager #OctopusDeploy
To view or add a comment, sign in
-
-
Knowing to what an AWS network interface belongs is not always straightforward. (Documentation on the left, API response on the right, and not an LLM hallucination!)
To view or add a comment, sign in
-
-
#QuickCloudTips: Do you use session based authentication but users are being logged out when you use AWS Load Balancer on multiple instances? Ticking this option inside your target groups can solve the issue by making sure that each client gets redirected to the same instance for a period of time #TheCloudFleet
To view or add a comment, sign in
-
-
AWS Tip: If you are using Global Accelerator flow logs, make sure your log destination bucket is not using default KMS key for encryption. KMS key policy should allow kms:GenerateDataKey* permission for log delivery service and since you can't modify the key policy of default KMS key, log delivery will fail. #awscloud Reference: https://lnkd.in/gN_qryUw
To view or add a comment, sign in
-
Secure User Authentication : Building with AWS Cognito and CloudFormation. Read this story by Ali Bin Farooq on Medium:
To view or add a comment, sign in
-
AWS Authorized Instructor | AWS Community Builder | AWS Technical Trainer | Cloud Solutions Architect | 3X AWS Certified
Hello LinkedIn Fam 😊, This week I decided to explore the AWS Gateway Load Balancer for deploying 3rd Party Virtual Appliances and Here is an Introductory Video on what I learnt. Looking forward to share more. #aws #awscloud #awscommunity #awsservices
INTRODUCTION TO AWS GATEWAY LOAD BALANCER (GWLB)
https://www.youtube.com/
To view or add a comment, sign in
-
Environment variables are essential components for configuring and securing applications, playing a pivotal role, especially in the context of the AWS Command Line Interface (CLI). This LinkedIn article delves into the realm of environment variables, offering insights into their purpose, highlighting their critical role within #AWS CLI, and providing comprehensive guidance on how to adeptly set and configure them!🚀💻 👉 https://lnkd.in/gehbUNbc Please share this LinkedIn article if you find it helpful. 👍 #awscloud #awstraining #amazonwebservices #cloudcomputing
To view or add a comment, sign in
-
-
AWS recently announced support for calling AWS Lambda Functions directly from Cloudwatch Alarms without needing Eventbridge or anything else. This makes it easier to build event-driven applications based on alarms. This article from Adithya M describes how this works and an example of how to use it. #serverless
Trigger AWS Lambda directly from Cloudwatch Alarm
To view or add a comment, sign in
Associate Professor at UTFPR, Software Developer (Elixir) and Podcaster at Emílias Podcast, Fronteiras da Engenharia de Software and Elixir em Foco.
1moNice. She studied at BYU, Lee Barney!