home.aspx

 
.

33RD IEEE COMPUTER SECURITY FOUNDATIONS SYMPOSIUM

June 22-26, 2020
Boston, USA (United States of America)
SHARESHARESHARE
The program includes papers, panels, and a poster session. 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.