Symbolic Verification of Message Signatures in MPI.
Hengbiao YuBanghu YinXin YiPublished in: ICST (2022)
Keyphrases
- signature verification
- designated verifier
- model checking
- message passing
- formal verification
- general purpose
- parallel algorithm
- symbolic representation
- parallel implementation
- signature recognition
- symbolic description
- verification method
- high performance computing
- face verification
- high level
- neural learning
- message passing interface
- false acceptance rate
- connectionist systems
- parallelization strategy
- asynchronous circuits
- symbolic data
- distributed memory
- massively parallel
- functional verification