A body of knowledge containing laws, axioms and provable theories relating to some aspect of system security.
biblio
Submitted by FengjunLi on Thu, 07/09/2020 - 1:03am
group_project
Submitted by Claire Tomlin on Thu, 01/16/2020 - 11:37am
event
Submitted by Katie Dey on Thu, 01/16/2020 - 10:17am
2020 Summer Science of Security and Privacy Quarterly Lablet Meeting
The Summer 2020 Science of Security and Privacy Quarterly Meeting will be hosted by the CMU Lablet in Pittsburgh, PA. Please save the dates of July 15 and 16. Stay tuned for more details!
Registration
Register to Attend
Program:
Details about the agenda will be posted closer to the meeting.
event
Submitted by Anonymous on Thu, 01/09/2020 - 2:47pm
POSTPONEMENT NOTICE -
HCSS Speakers and Friends: In light of the current situation with the COVID-19 outbreak around the world, HCSS 2020 was postponed to September 15-19, 2020. More information will be communicated soon. Stay well and we hope to see you in Annapolis this Fall.
event
Submitted by Anonymous on Thu, 01/09/2020 - 2:40pm
COVID-19 Update
PerCom 2020 is still scheduled to happen March 23-27 but in an entirely virtual format. Given the options of canceling PerCom 2020 entirely or shifting to a remote format, we have chosen the latter. More information about logistics of the remote meeting will be forthcoming, but please feel free to reach out with more questions. To reiterate, PerCom 2020 will happen online, March 23-27.
event
Submitted by Anonymous on Thu, 01/09/2020 - 2:28pm
ASPLOS 2020 meeting in Lausanne is canceled because of COVID-19