Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs.
Barbara GigerlVedad HadzicRobert PrimasStefan MangardRoderick BloemPublished in: IACR Cryptol. ePrint Arch. (2020)
Keyphrases
- software implementation
- model checking
- formal verification
- formal methods
- software development
- software systems
- software tools
- parallel processing
- efficient implementation
- hardware designs
- source code
- user interface
- data sets
- software components
- software design
- learning algorithm
- software platform
- graphics processors
- database