Synthesis and Verification of Constraints in the PGM Protocol.

Marc Boyer Mihaela Sighireanu

Published in: FME (2003)

Keyphrases

cryptographic protocols
formal analysis
lightweight
constraint satisfaction
probabilistic graphical models
formal proof
constrained optimization
program synthesis
protocol specification
face recognition
model checking
face verification
communication protocol