add declaration of PublicKey
add files
fix compilation bugs in session management module