We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 90c0d63 commit 5c3d597Copy full SHA for 5c3d597
CITATION.cff
@@ -44,12 +44,12 @@ preferred-citation:
44
orcid: "https://orcid.org/0000-0001-7001-2566"
45
title: "The Secrets Must Not Flow: Scaling Security Verification to Large Codebases"
46
conference:
47
- name: 47th IEEE Symposium on Security and Privacy, SP 2026
+ name: "47th {IEEE} Symposium on Security and Privacy, {SP} 2026"
48
city: San Francisco
49
region: CA
50
country: US
51
date-start: 2026-05-18
52
date-end: 2026-05-21
53
publisher:
54
- name: IEEE
+ name: "{IEEE}"
55
year: 2026
0 commit comments