CoCon: A Confidentiality-Verified Conference Management System.
Andrei PopescuPeter LammichThomas BauereissPublished in: Arch. Formal Proofs (2021)
Keyphrases
- management system
- advances in artificial intelligence
- international conference
- panel discussion
- graphics and image processing
- asia pacific
- trust management
- selected papers
- decision support system
- database management systems
- cutting edge
- workshop proceedings
- keynote address
- data sets
- access control
- case study
- databases
- information security
- knowledge discovery and data mining
- invited talk
- e government
- computational intelligence
- annual conference
- invited paper
- special session
- decision making
- artificial intelligence
- data mining