Formal verification in hardware design: a survey C Kern, MR Greenstreet ACM Transactions on Design Automation of Electronic Systems (TODAES) 4 (2 …, 1999 | 492 | 1999 |
Foundations of security: what every programmer needs to know C Kern, A Kesavan, N Daswani Apress, 2007 | 120 | 2007 |
Securing the Tangled Web C Kern Communications of the ACM 57 (9), 38-47, 2014 | 41 | 2014 |
If It’s Not Secure, It Should Not Compile: Preventing DOM-Based XSS in Large-Scale Web Development with API Hardening P Wang, J Bangert, C Kern 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021 | 10 | 2021 |
Discrete-time approximation of the machine interference problem with generally distributed failure, repair, and walking times M Mittler, C Kern European journal of control 3 (4), 254-267, 1997 | 7 | 1997 |
Verifying a self-timed divider T Ono-Tesfaye, C Kern, MR Greenstreet Proceedings Fourth International Symposium on Advanced Research in …, 1998 | 6 | 1998 |
A light-weight framework for hardware verification C Kern, T Ono-Tesfaye, MR Greenstreet Tools and Algorithms for the Construction and Analysis of Systems: 5th …, 1999 | 4 | 1999 |
A light-weight framework for hardware verification C Kern, T Ono-Tesfaye, MR Greenstreet International Journal on Software Tools for Technology Transfer 3, 286-313, 2001 | 2 | 2001 |