Software Integrity and Validation Using Cryptographic Composability and Computer Vision.
Donald BeaverPublished in: CSCML (2021)
Keyphrases
- computer vision
- high assurance
- software systems
- object recognition
- computer graphics
- object detection
- software development
- embedded systems
- image processing
- machine learning
- image understanding
- software tools
- software developers
- vision system
- optical flow
- image registration
- pose estimation
- motion estimation
- software package
- software architecture
- integrity constraints
- software design
- key management
- action recognition
- smart card
- medical imaging
- structure from motion
- operating system
- computer systems
- signal processing
- image features
- image sequences
- image segmentation