Secure Synthesis of Distributed Cryptographic Applications (Technical Report).
Cosku AcayJoshua GancherRolph RectoAndrew C. MyersPublished in: CoRR (2024)
Keyphrases
- technical report
- key management
- distributed systems
- encryption key
- group communication
- cryptographic protocols
- multi agent
- secure communication
- distributed environment
- security protocols
- security properties
- public key encryption
- lightweight
- rights management
- digital signature
- cooperative
- multi party
- security issues
- computer networks
- secret sharing
- standard model
- distributed data
- diffie hellman
- hash functions
- single point of failure
- homomorphic encryption
- mobile agents
- peer to peer