Foundational Integration Verification of a Cryptographic Server.
Proc. ACM Program. Lang., 2024
Introducing the AI Governance and Regulatory Archive (AGORA): An Analytic Infrastructure for Navigating the Emerging AI Governance Landscape.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Seventh AAAI/ACM Conference on AI, Ethics, and Society (AIES-24) - Full Archival Papers, October 21-23, 2024, San Jose, California, USA, 2024