A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
tearline
Submitted by FengjunLi on Thu, 01/07/2021 - 5:12pm
forum
Submitted by Anonymous on Wed, 10/21/2020 - 9:46am
This position will be part of the NSA-sponsored Science of Security lablet which North Carolina State has been a part of since 2011. The position will also be part of the Secure Computing Institute.
Reporting to:
forum
Submitted by Anonymous on Wed, 10/21/2020 - 9:43am
This position will be part of the NSA-sponsored Science of Security lablet which North Carolina State has been a part of since 2011. The position will also be part of the Secure Computing Institute.
Reporting to:
forum
Submitted by Anonymous on Wed, 10/21/2020 - 9:42am
This position will be part of the NSA-sponsored Science of Security lablet which North Carolina State has been a part of since 2011. The position will also be part of the Secure Computing Institute.
Reporting to:
tearline
Submitted by FengjunLi on Sun, 10/11/2020 - 10:58pm
event
Submitted by Anonymous on Thu, 07/30/2020 - 1:59pm
Privacy + Security Forum - Spring 2021
The Privacy + Security Forum breaks down the silos of privacy and security by bringing together seasoned thought leaders. Sessions and workshops are rigorous and deliver practical takeaways for all participants throughout the conference. Forum speakers engage the highly experienced audience in discussion, scenarios, and hands-on activities.
event
Submitted by Anonymous on Thu, 07/30/2020 - 1:53pm
Privacy+Security Forum - Fall 2020
The Privacy + Security Forum breaks down the silos of privacy and security by bringing together seasoned thought leaders. Sessions and workshops are rigorous and deliver practical takeaways for all participants throughout the conference. Forum speakers engage the highly experienced audience in discussion, scenarios, and hands-on activities.
forum
Submitted by Anonymous on Thu, 07/30/2020 - 12:58pm
event
Submitted by Anonymous on Thu, 07/30/2020 - 12:52pm
34th IEEE Computer Security Foundations Symposium (CSF 2021)
The Computer Security Foundations Symposium (CSF) is an annual conference for researchers in computer security, to examine current theories of security, the formal models that provide a context for those theories, and techniques for verifying security. It was created in 1988 as a workshop of the IEEE Computer Society's Technical Committee on Security and Privacy, in response to a 1986 essay by Don Good entitled "The Foundations of Computer Security--We Need Some." The meeting became a "symposium" in 2007, along with a policy for open, increased attendance. Over the past two decades, many seminal papers and techniques have been presented first at CSF. For more details on the history of the symposium, visit CSF's home.
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.
