Visible to the public 32nd IEEE Computer Security Foundations SymposiumConflict Detection Enabled

"The program includes papers and panels. Topics of interest include access control, information flow, covert channels, cryptographic protocols, database security, language-based security, authorization and trust, verification techniques, integrity and availability models, and broad discussions concerning the role of formal methods in computer security and the nature of foundational research in this area."

Event Details
Hoboken, NJ