This
TiddlyWiki
contains the following tiddlers:
/Users/hongbochen/Code/ya0guang.github.io/tiddly/tiddlers/$__StoryList_1.tid
/Users/hongbochen/Code/ya0guang.github.io/tiddly/tiddlers/$__StoryList_2.tid
/Users/hongbochen/Code/ya0guang.github.io/tiddly/tiddlers/$__StoryList.tid
`tvm.build`
`wasm_runtime_memory_init`
$:/config/AutoSave
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/import
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/more-page-actions
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/new-journal
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/palette
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/storyview
$:/config/PageControlButtons/Visibility/$:/core/ui/Buttons/tag-manager
$:/config/RelinkOnRename
$:/config/WikiParserRules/Inline/wikilink
$:/core
$:/DefaultTiddlers
$:/Import
$:/isEncrypted
$:/language
$:/languages/en-US
$:/languages/zh-CN
$:/palette
$:/plugins/tiddlywiki/highlight
$:/plugins/tiddlywiki/katex
$:/plugins/tiddlywiki/markdown
$:/SiteSubtitle
$:/SiteTitle
$:/status/RequireReloadDueToPluginChange
$:/StoryList
$:/theme
$:/themes/tiddlywiki/snowwhite
$:/themes/tiddlywiki/vanilla
$:/themes/tiddlywiki/vanilla/metrics/sidebarbreakpoint
$:/themes/tiddlywiki/vanilla/metrics/sidebarwidth
$:/themes/tiddlywiki/vanilla/metrics/storyleft
$:/themes/tiddlywiki/vanilla/metrics/storyright
$:/themes/tiddlywiki/vanilla/metrics/storywidth
$:/themes/tiddlywiki/vanilla/metrics/tiddlerwidth
$:/themes/tiddlywiki/vanilla/options/codewrapping
$:/themes/tiddlywiki/vanilla/options/sidebarlayout
$:/themes/tiddlywiki/vanilla/options/stickytitles
$:/themes/tiddlywiki/vanilla/settings/backgroundimageattachment
$:/view
A Design and Verification Methodology for Secure Isolated Regions
A Formal Foundation for Secure Remote Execution of Enclaves
A Study of Modern Linux API Usage and Compatibility: What to Support When You’re Supporting
A Survey on Mix Networks and Their Secure Applications
A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP
A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes
AccTEE: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting
Achieving Keyless CDNs with Conclaves
add existing ssh key
Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
Agamotto1.png
Agamotto2.png
AMD Secure Processor for Confidential Computing Security Review
An efficient and secure scheme of verifiable computation for Intel SGX
Apache Flink™: Stream and Batch Processing in a Single Engine
Asm Cheat Sheets
Basal Ganglia
BesFS_overview.png
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
bg4.png
BlackMirror: Preventing Wallhacks in 3D Online FPS Games
bloodSupply1.png
bloodSupply2.jpg
Brainstem & Cerebellum
BranchShadowing2.png
BranchShadowing3.png
Build Linux Kernel
Cerberus: A Formal Approach to Secure and Efficient Enclave Memory Sharing
CETIS: Retrofitting Intel CET for Generic and Efficient Intra-process Memory Isolation
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs
chancel2.png
chancel3.png
chancelt3.png
Clemmys: Towards Secure Remote Execution in FaaS
COIN Attacks: On Insecurity of Enclave Untrusted Interfaces in SGX
collapse
Constant-Time Foundations for the New Spectre Era
Controlled-Channel Attacks: Deterministic SideChannels for Untrusted Operating Systems
Covering, Blood Supply and Ventricular System
covering1.png
Cranial Nerves
crbl1.png
crbl2.jpg
Data-Oriented Programming: On the Expressiveness of Non-Control Data Attacks
delegatee_centrally.png
delegatee_p2p.png
DelegaTEE: Brokered Delegation Using Trusted Execution Environments
Dev1.jpg
Dev2.png
Dev3.jpg
Development
DIFFUZZ: Differential Fuzzing for Side-Channel Analysis
Docker Common Commands
Dynamic Binary Translation for SGX Enclaves (Ratel)
Emilia: Catching Iago in Legacy Code
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification
ENGRAFT: Enclave-guarded Raft on Byzantine Faulty Nodes
Exploring and enforcing security guarantees via program dependence graphs
FaaS Papers, mainly in TEE
FaCT_Arch.png
FaCT: A Flexible, Constant-Time Programming Language
Git Notes
graphene_arch.png
Graphene-SGX PF
Graphene-SGX PF Callbacks
Graphene-SGX PF Data Structure
Graphene-SGX PF Implementation
Graphene-SGX PF Internal
Graphene-SGX PF User Interfaces
GrapheneSGX
Gyri & Sulci
gyri&sulci1.png
gyri&sulci2.png
gyri&sulci3.png
gyri&sulci4.png
image.png
Inferring Fine-grained Control Flow Inside SGX Enclaves with Branch Shadowing
Interface Security
Intro
intro1.png
intro2.png
intro3.png
intro4.png
intro5.jpg
Leaky DNN: Stealing Deep-learning Model Secret with GPU Context-switching Side-channel
LeakyDNN_AttackFlow.png
LeakyDNN_Model.png
Limbic System
limbic1.png
limbic2.png
limbic3.jpg
limbic4.png
limbic5.jpg
llvm_output.png
LLVMModuleNode::Init
m1.jpg
m2.jpg
m3.jpg
Matel Music
mb1.png
mb2.png
memory_protect_summary_sgx.png
MetaTiddler
mixnet1.png
mixnet2.png
mixnet3.png
mixnet4.png
Narrator: Secure and Practical State Continuity for Trusted Execution in the Cloud
Next-Gen TEE
ObliDC: An SGX-based Oblivious Distributed Computing Framework with Formal Proof
Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
Opaque: An Oblivious and Encrypted Distributed Analytics Platform
p1.png
p2.png
PapersByFields
PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation
Potential Threats of Memory Integrity on SEV(SNP), (Scalable) SGX2, and TDX
PRIDWEN_Overview.png
PRIDWEN: Universally Hardening SGX Programs via Load-Time Synthesis
Privado: Practical and Secure DNN Inference with Enclaves
PrivGuard: Privacy Regulation Compliance Made Easier
PrivGuard.png
Proof Complexity vs. Code Complexity
Proof-carring Code
Provably-Safe Multilingual Software Sandboxing using WebAssembly
S-FaaS: Trustworthy and Accountable Function-as-a-Service using Intel SGX
Safe, Untrusted Agents Using Proof-Carrying Code
SafeStack & CPI
SAT & SMT
Scalable Memory Protection in the Penglai Enclave
Screen Shot 2022-01-24 at 11.26.06 PM.png
Screen Shot 2022-10-09 at 18.28.47.png
Screen Shot 2022-10-10 at 15.20.07.png
SDK_PF_Close
SDK_PF_DataNode
SDK_PF_Flush
SDK_PF_metadata
SDK_PF_New
SDK_PF_Write
SDK_PFImplementations
SDK_PFUserInterfaces
Sealed-Glass Proofs: Using Transparent Enclaves to Prove and Sell Knowledge
Secure Computing
Securing TEEs with Verifiable Execution Contracts
SecurityPapersByTopic
See through Walls: Detecting Malware in SGX Enclaves with SGX-Bouncer
SENG, the SGX-Enforcing Network Gateway: Authorizing Communication from Shielded Clients
SENG1.png
SENG2&3.png
sgp_1.png
sgp_2png
sgp_3.png
sgp_4png
SGX Application Papers
SGX Documents
SGX Middleware (Papers)
SGX Posts
SGX_PF_Class
sgx2_aliasing.png
SGXCacheAttack.png
SGXFuzz_Struct_Synthesis.png
SGXFUZZ: Efficiently Synthesizing Nested Structures for SGX Enclave Fuzzing
SGXFuzz.png
Shell Configs
Side-Channel Meta
Software Grand Exposure: SGX Cache Attacks Are Practical
Symbolic Execution for Software Testing: Three Decades Later
Syscall Fuzzers
SystemPapers
Teaclave
Teaclave Commands
TEEPapers
The Most Common Habits from more than 200 English Papers written by Graduate Chinese Engineering Students
To Read List
Toward general diagnosis of static errors
Towards Demystifying Serverless Machine Learning Training
Towards Formal Proof Metrics
Towards Formal Verification of State Continuity for Enclave Programs
Trust more, serverless
Trusted Computing Base TCB
TrustZonePapers
TVM Code Generation
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in Amazon S3
Varys: Protecting SGX Enclaves from Practical Side-Channel Attacks
ventricular.jpg
Virtualization in SGX
VRust: Automated Vulnerability Detection for Solana Smart Contracts
WAMR `init_runtime`
WAMR `load_from_sections`
WAMR `wasm_application_execute_main`
WAMR `wasm_interp_call_func_bytecode`
WAMR `wasm_runtime_instantiate_internal`
WAMR `wasm_runtime_load`
WAMR Analysis
WAMR Installation & run in SGX enclave
WAMR+Teaclave
wasm_runtime_env_init
wasmtime
Web Assembly+ SGX
WebAssembly
Yu-Gi-Oh Meta 游戲王
Доверя́й, но проверя́й: SFI safety for native-compiled Wasm