C3E 2024 Poster Template (wide) |
|
C3E 2024: Fall Travel Worksheet |
|
HoTSoS 2025 Presenter Guidance |
|
HoTSoS Awards |
|
Sociotechnical Aspects of Human-AI Systems |
|
Generative AI for Specifications |
|
HotSoS 2025 Call for Papers |
|
HotSoS 2025 CFP PDF |
|
Kansas Takes Steps to Centralize IT, Raising Cybersecurity Concerns |
|
NSA Updates Guidance on Russian SVR Cyber Operations |
|
SenSys 2025 - Call for Papers |
|
5th Annual Mountain West Cyber Challenge |
|
2025 HCSS Conference - Call For Presentations Submission Form |
|
HCSS 2025: Call for Papers |
|
CMU Student Leverages AI to Streamline Cybersecurity Testing |
|
FutureCon Cybersecurity Conference - Nashville, TN |
|
Supply Chain Security Lessons from a Pager System Breach |
|
2025 RSA ID IQ Research Report Now Available |
|
HCSS 2025 |
|
CISA Requests Comments on Product Security Bad Practices Guidance |
|
27th Brazilian Symposium on Formal Methods (SBMF 2024) |
|
9th School of Theoretical Computer Science and Formal Methods (ETMF 2024) |
|
Faculty Positions in the Department of Computer Science and Engineering at Oakland University |
|
Call for Papers: ARC 2025 |
|
C3E Development Telecon |
|