Proceedings of 8th International Workshop on Security Proofs for Embedded Systems, PROOFS 2019, colocated with CHES 2018, Atlanta, GA, USA, August 24, 2019
Published in: PROOFS (2019)
Keyphrases
- embedded systems
- lecture notes in artificial intelligence
- low cost
- genetic algorithm ga
- knowledge discovery and data mining
- international conference
- computing power
- international workshop
- lecture notes
- genetic algorithm
- real time image processing
- resource limited
- embedded devices
- processing power
- real time systems
- embedded software
- software systems
- safety critical
- hw sw
- hardware software
- cooperative
- computer science
- international symposium
- security issues
- network security
- development process
- information security
- computational intelligence
- multi agent systems
- protocol stack