MrCrypt: static analysis for secure cloud computations.
Sai Deep TetaliMohsen LesaniRupak MajumdarTodd D. MillsteinPublished in: OOPSLA (2013)
Keyphrases
- static analysis
- dynamic analysis
- source code
- cloud computing
- symbolic execution
- cloud storage
- malicious code
- private cloud
- security requirements
- regular expressions
- java card
- abstract interpretation
- virtual machine
- key management
- security analysis
- test generation
- artificial intelligence
- database
- data center
- open source
- real world