32nd IEEE Computer Security Foundations Symposium
Date: Jun 24, 2019 11:00 pm – Jun 28, 2019 11:00 am
Location: Hoboken, NJ
"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."
Submitted by Gregory Rigby
on
Date: Jun 24, 2019 11:00 pm – Jun 28, 2019 11:00 am
Location: Hoboken, NJ
"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."
Submitted by Gregory Rigby
on