diff --git a/papers/vstte2024/llncs.cls b/papers/vstte2024/llncs.cls
index ea17bb35f5bc..16e46544b541 100644
--- a/papers/vstte2024/llncs.cls
+++ b/papers/vstte2024/llncs.cls
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 % LLNCS DOCUMENT CLASS -- version 2.24 (29-Jan-2024)
 % Springer Verlag LaTeX2e support for Lecture Notes in Computer Science
 %
diff --git a/papers/vstte2024/paper.bib b/papers/vstte2024/paper.bib
index b89846a0ad63..cb835487fa70 100644
--- a/papers/vstte2024/paper.bib
+++ b/papers/vstte2024/paper.bib
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 \begin{paper}{8}
 @inproceedings{verus-sys,
   author    = {Lattuada, Andrea and Hance, Travis and Bosamiya, Jay and Brun, Matthias and Cho, Chanhee and LeBlanc, Hayley and Srinivasan, Pranav and Achermann, Reto and Chajed, Tej and Hawblitzel, Chris and Howell, Jon and Lorch, Jay and Padon, Oded and Parno, Bryan},
diff --git a/papers/vstte2024/paper.tex b/papers/vstte2024/paper.tex
index a350fa69b589..2337fe3eb2a5 100644
--- a/papers/vstte2024/paper.tex
+++ b/papers/vstte2024/paper.tex
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 \documentclass[runningheads]{llncs}
 %
 \usepackage[T1]{fontenc}
diff --git a/papers/vstte2024/splncs04.bst b/papers/vstte2024/splncs04.bst
index 7d63c492d92f..845e403b2b42 100644
--- a/papers/vstte2024/splncs04.bst
+++ b/papers/vstte2024/splncs04.bst
@@ -1,3 +1,6 @@
+# Copyright Kani Contributors
+# SPDX-License-Identifier: Apache-2.0 OR MIT
+
 %% BibTeX bibliography style `splncs04'
 %%
 %% BibTeX bibliography style for use with numbered references in