Security, Protocols, and Trust
No abstract available.
Related papers
- Compiling Information-Flow Security to Minimal Trusted Computing Bases ESOP 2011
- The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures TACAS 2012
- Supporting Trusted Virtual Machines with Hardware-Based Secure Remote Memory ISMM 2024
- End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract CAV 2020
- Compiler Optimizations to Reduce Security Overhead CGO 2006
- Agora: Trust Less and Open More in Verification for Confidential Computing OOPSLA 2025
- A verified protocol buffer compiler CPP 2019
- HasTEE: Programming Trusted Execution Environments with Haskell Haskell 2023