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 971a055 commit 90c0d63Copy full SHA for 90c0d63
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"
48
- - city: San Francisco
49
- - region: CA
50
- - country: USA
51
- - date-start: 2026-05-18
52
- - date-end: 2026-05-21
+ name: 47th IEEE Symposium on Security and Privacy, SP 2026
+ city: San Francisco
+ region: CA
+ country: US
+ date-start: 2026-05-18
+ date-end: 2026-05-21
53
publisher:
54
- - name: IEEE
+ name: IEEE
55
year: 2026
0 commit comments