Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Using Kani to Validate Security Boundaries in AWS Firecracker #42

Merged
merged 8 commits into from
Sep 1, 2023
Merged

Using Kani to Validate Security Boundaries in AWS Firecracker #42

merged 8 commits into from
Sep 1, 2023

Conversation

roypat
Copy link
Contributor

@roypat roypat commented Aug 25, 2023

Issue #, if available:

Description of changes:

By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.

@feliperodri feliperodri changed the title firecracker blog post Using Kani to Validate Security Boundaries in AWS Firecracker Aug 25, 2023
celinval
celinval reviewed Aug 25, 2023
View reviewed changes
Copy link

@celinval celinval left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is very nice! I really like the diagrams and the explanations. Thank you!

_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
@roypat roypat force-pushed the firecracker-post branch 3 times, most recently from e35e971 to f83c025 Compare August 29, 2023 08:55
feliperodri
feliperodri reviewed Aug 30, 2023
View reviewed changes
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
feliperodri
feliperodri reviewed Aug 31, 2023
View reviewed changes
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
@roypat roypat force-pushed the firecracker-post branch 3 times, most recently from 140f34c to cc6033e Compare August 31, 2023 10:23
@roypat @feliperodri
firecracker blog post
b9ea5cd 
Signed-off-by: Patrick Roy <[email protected]>
Co-authored-by: Felipe R. Monteiro <[email protected]>
zhassan-aws
zhassan-aws approved these changes Aug 31, 2023
View reviewed changes
Copy link
Contributor

@zhassan-aws zhassan-aws left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Mostly minor comments.

_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
_posts/2023-08-25-using-kani-to-validate-security-boundaries-in-aws-firecracker.md Outdated Show resolved Hide resolved
@feliperodri
Update introduction
36710a9 
Signed-off-by: Felipe R. Monteiro <[email protected]>
@feliperodri
Implement minor comments
72f816b 
Signed-off-by: Felipe R. Monteiro <[email protected]>
@feliperodri
Use math for any equation
48d1191 
Signed-off-by: Felipe R. Monteiro <[email protected]>
@feliperodri
Wording in intro
efa4845 
Signed-off-by: Felipe R. Monteiro <[email protected]>
@zhassan-aws
Copy link
Contributor

Also, please remember to rename the file to reflect the publishing date.

@feliperodri
fix wording
a74d826 
Signed-off-by: Felipe R. Monteiro <[email protected]>
@feliperodri feliperodri merged commit 83d98f3 into model-checking:main Sep 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@adpaco-aws adpaco-aws adpaco-aws left review comments

@celinval celinval celinval left review comments

@zhassan-aws zhassan-aws zhassan-aws approved these changes

@feliperodri feliperodri feliperodri approved these changes

Assignees

@feliperodri feliperodri

@roypat roypat

Labels
None yet
Projects
No open projects
Kani 2023-09-12
Status: In Progress
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
6 participants
@roypat @zhassan-aws @feliperodri @celinval @adpaco-aws @jaisnan