From 4aad6b0972073900930a8e882e44c7a94388ff46 Mon Sep 17 00:00:00 2001 From: Francesco Bertolaccini Date: Mon, 29 Apr 2024 18:25:48 +0200 Subject: [PATCH] Add citation information to the README (#320) --- README.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/README.md b/README.md index b6698be9..57be18f7 100644 --- a/README.md +++ b/README.md @@ -324,3 +324,16 @@ CTEST_OUTPUT_ON_FAILURE=1 cmake --build . --verbose --target test ```sh scripts/test-angha-1k.sh --rellic-cmd ``` + +## Citing Rellic + +Please use the following BibTeX snippet to cite Rellic: + +```tex +@online{rellic, + title={Rellic}, + author={Surovič, Marek and Bertolaccini, Francesco}, + organization={Trail of Bits}, + url={https://github.com/lifting-bits/rellic} +} +```