| Security Models of Language Models |
|
| Cyberpsychology Aspects of Foreign Malign Influence |
|
| Rational Resilience: Incentivizing Rational Systems |
|
| Syntax-Guided Synthesis (SyGuS) with LLM and Predicate Sub-Typing |
|
| C3E Challenge Problems Presentation |
|
| C3E 2024 Challenge Problems Presentation |
|
| NSA Codebreaker Challenge 2024 |
|
| 31st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2025) |
|
| CfP: 31st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2025) |
|
| ACM BuildSys 2024 |
|
| HCSS 2024 Program Agenda |
|
| NSA Investigates Major Telecommunications Hack Allegedly Tied to Chinese State-Sponsored Groups |
|
| International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE) |
|
| NSF's Smart & Connected Communities Effort |
|
| Civic Innovation Challenge |
|
| International Workshop Agreement (IWA) |
|
| ACT Web Banners |
|