Towards Formal Verification of State Continuity for Enclave Programs
最新动态
- Security of Cross-chain Bridges: Attack Surfaces, Defenses, and Open Problems
- π-Jack: Physical-World Adversarial Attack on Monocular Depth Estimation with Perspective Hijacking
- HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64
- SAEG: Stateful Automatic Exploit Generation
- ReminISCence: Trusted Monitoring Against Privileged Preemption Side-channel Attacks