Safe Loading - A Foundation for Secure Execution of Untrusted Programs.
Mathias PayerTobias HartmannThomas R. GrossPublished in: IEEE Symposium on Security and Privacy (2012)
Keyphrases
- sensitive data
- program execution
- control flow
- third party
- database transactions
- execution model
- security issues
- symbolic execution
- application programs
- identity management
- privacy preserving
- data flow
- lightweight
- security level
- security mechanisms
- computer programs
- workflow management systems
- security policies
- user authentication
- sensitive information
- authentication scheme
- smart card
- business processes
- operating system
- information systems
- covert channel