Caveat Caveat Live: FBI and KU Cybersecurity Conference.
Apr 10, 2025
In a lively discussion, Perry Alexander, a noted expert in trusted systems from the University of Kansas, and John Symons, a philosophy professor focusing on ethics in cybersecurity, dive into pressing topics. They explore the significance of public-private partnerships and the need for ethical considerations in artificial intelligence policy. They dissect the challenges of biases and hallucinations in AI and emphasize the importance of moral values in technology, questioning how these will shape our future cybersecurity landscape.
AI Snips
Chapters
Transcript
Episode notes
Perry Alexander's NSA Collaboration
- Perry Alexander shared his experience collaborating with the NSA on trusted systems and kernel integrity verification.
- He emphasized the importance of long-term relationships and interdisciplinary teamwork in technological innovation.
AI Enhances Formal Verification
- AI and machine learning both aid system verification and require verification themselves.
- Formal methods can use AI-generated proofs but rely on proof checkers to catch errors, creating a unique synergy.
AI Fabricates Scholarly Citations
- Perry Alexander experimented with ChatGPT for scholarly references and discovered it fabricated all citations.
- He had to revert to traditional resources to verify sources due to AI's unreliable outputs.