Formal Methods in Security Patrignani, Nemati, K√ľnnemann

News

SysV: Second Q&A session

Written: 08.12.2021 14:25 Written By: Hamed Nemati

So far there is no question on Askbot, which means there will be no Q&A session today. However, I will be in the room for a few minutes to answer random questions.

Here is the link (3:00pm): https://stanford.zoom.us/j/98571696846?pwd=NzF3N3E0aDJnSkxuUUo1TS8vbitqQT09

The problem set for the second lecture will be posted tomorrow.



Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators