[WIP] [libOS] Single Process lifetime rollback protection for Protected Files#1856
Draft
g2flyer wants to merge 22 commits intogramineproject:masterfrom
Draft
[WIP] [libOS] Single Process lifetime rollback protection for Protected Files#1856g2flyer wants to merge 22 commits intogramineproject:masterfrom
g2flyer wants to merge 22 commits intogramineproject:masterfrom
Conversation
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
from
2233cf6 to
f42b179
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
from
11858ac to
79890bf
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
from
79890bf to
95c577f
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
4 times, most recently
from
ee4c0c4 to
17d0062
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
7 times, most recently
from
2e9c69e to
71ef5c8
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
2 times, most recently
from
d220ddb to
50794dd
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
3 times, most recently
from
d555d18 to
681307a
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
2 times, most recently
from
8eeed74 to
47cc591
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
2 times, most recently
from
2c7435e to
cd25ee0
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
2 times, most recently
from
4b0b0b6 to
cd03cef
Compare
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
from
6f71463 to
39e2dc4
Compare
Signed-off-by: g2flyer <michael.steiner@intel.com>
* also fixes one missing call to put_handle in error handling Signed-off-by: g2flyer <michael.steiner@intel.com>
Signed-off-by: g2flyer <michael.steiner@intel.com>
Signed-off-by: g2flyer <michael.steiner@intel.com>
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
from
39e2dc4 to
d978358
Compare
* use --skip-teardown to prevent removal of artifacts * for tamper tests, run all of them instead of abort on first failure Signed-off-by: g2flyer <michael.steiner@intel.com>
* Make sure decrypt is called on correct path (or it will fail always due to invalid path it didn't fail already due to plain text tampering) * Remove undetectable "tampering" test-cases but also add a few use-cases tampering with header ciphertext Signed-off-by: g2flyer <michael.steiner@intel.com>
Signed-off-by: g2flyer <michael.steiner@intel.com>
Signed-off-by: g2flyer <michael.steiner@intel.com>
…es (SPLRB) * adds libos_encrypted_volume as mount-data for protected fileystem which includes map <name, <last-root-hash, ...>> to keep track of root hashes across open/close cycles of a particular value, ensuring consistency across the whole enclave life-time Signed-off-by: g2flyer <michael.steiner@intel.com>
* Updated existing non-adverserial ones Signed-off-by: g2flyer <michael.steiner@intel.com>
* New adverserial ones Signed-off-by: g2flyer <michael.steiner@intel.com>
…ted files (SPLRB) Signed-off-by: g2flyer <michael.steiner@intel.com>
Signed-off-by: g2flyer <michael.steiner@intel.com>
Signed-off-by: g2flyer <michael.steiner@intel.com>
…ted files (SPLRB) Signed-off-by: g2flyer <michael.steiner@intel.com>
* make corruption status for encrypted files sticky * update filemap state for any corruption also encountered during operations other than open, close, unlink and rename Signed-off-by: g2flyer <michael.steiner@intel.com>
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
2 times, most recently
from
364defc to
00e1010
Compare
Signed-off-by: g2flyer <michael.steiner@intel.com>
Signed-off-by: g2flyer <michael.steiner@intel.com>
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
from
00e1010 to
f15133b
Compare
Signed-off-by: g2flyer <michael.steiner@intel.com>
Signed-off-by: g2flyer <michael.steiner@intel.com>
g2flyer
force-pushed
the
msteiner/enclave-lifetime-rollback-protection
branch
from
d412869 to
977e999
Compare
Signed-off-by: Michael Steiner <steiner@acm.org>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Description of the changes
This is a WIP PR addresses issue #1835, i.e., rollback protection of protected files beyond a single open-to-close window but across the whole runtime of gramine. Released as draft PR in anticipation of 23. April 2024 Community Call. It depends on closing PR #1874 and PR #1875 (and is currently rebased on the current version of these to work)
Steps:
How to test this PR?
This change is