31st IEEE Computer Security Foundations Symposium
Date: Jul 08, 2018 11:00 pm – Jul 12, 2018 11:00 am
Location: Oxford, UK
"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: Jul 08, 2018 11:00 pm – Jul 12, 2018 11:00 am
Location: Oxford, UK
"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