Title | Journal | Journal Categories | Citations | Publication Date |
---|---|---|---|---|
Securing a control systems network | 2013 | |||
Proceedings of the 15th USENIX Symposium on Operating Systems Design and Implementation (OSDI’21) | 2021 | |||
Proceedings of the International Workshop on Formal Aspects in Security and Trust | 2006 | |||
Proceedings of the 23rd Network and Distributed System Security Symposium (NDSS’16) | 2016 | |||
A Basic Course in Probability Theory | 2007 |